First-Order Bayesian Network Specifications Capture the Complexity Class PP

09/12/2016
by   Fabio Gagliardi Cozman, et al.
0

The point of this note is to prove that a language is in the complexity class PP if and only if the strings of the language encode valid inferences in a Bayesian network defined using function-free first-order logic with equality.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset