On the Coherence of Probabilistic Relational Formalisms
AbstractThere are several formalisms that enhance Bayesian networks by including relations amongst individuals as modeling primitives. For instance, Probabilistic Relational Models (PRMs) use diagrams and relational databases to represent repetitive Bayesian networks, while Relational Bayesian Networks (RBNs) employ first-order probability formulas with the same purpose. We examine the coherence checking problem for those formalisms; that is, the problem of guaranteeing that any grounding of a well-formed set of sentences does produce a valid Bayesian network. This is a novel version of de Finetti’s problem of coherence checking for probabilistic assessments. We show how to reduce the coherence checking problem in relational Bayesian networks to a validity problem in first-order logic augmented with a transitive closure operator and how to combine this logic-based approach with faster, but incomplete algorithms. View Full-Text
Share & Cite This Article
De Bona, G.; Cozman, F.G. On the Coherence of Probabilistic Relational Formalisms. Entropy 2018, 20, 229.
De Bona G, Cozman FG. On the Coherence of Probabilistic Relational Formalisms. Entropy. 2018; 20(4):229.Chicago/Turabian Style
De Bona, Glauber; Cozman, Fabio G. 2018. "On the Coherence of Probabilistic Relational Formalisms." Entropy 20, no. 4: 229.
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.