The Finite Model Theory of Bayesian Networks: Descriptive Complexity

The Finite Model Theory of Bayesian Networks: Descriptive Complexity

Fabio Gagliardi Cozman, Denis Deratani Mauá

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Best Sister Conferences. Pages 5229-5233. https://doi.org/10.24963/ijcai.2018/727

We adapt the theory of descriptive complexity to Bayesian networks, to quantify the expressivity of specifications based on predicates and quantifiers. We show that Bayesian network specifications that employ first-order quantification capture the complexity class PP; by allowing quantification over predicates, the resulting Bayesian network specifications capture each class in the hierarchy PP^(NP^...^NP), a result that does not seem to have equivalent in the literature.
Keywords:
Knowledge Representation and Reasoning: Computational Complexity of Reasoning
Uncertainty in AI: Bayesian Networks
Uncertainty in AI: Relational Inference