{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T03:58:10Z","timestamp":1760241490223,"version":"build-2065373602"},"reference-count":28,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T00:00:00Z","timestamp":1522108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Entropy"],"abstract":"<jats:p>There 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\u2019s 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.<\/jats:p>","DOI":"10.3390\/e20040229","type":"journal-article","created":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T12:17:24Z","timestamp":1522153044000},"page":"229","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On the Coherence of Probabilistic Relational Formalisms"],"prefix":"10.3390","volume":"20","author":[{"given":"Glauber","family":"De Bona","sequence":"first","affiliation":[{"name":"Escola Polit\u00e9cnica, Universidade de S\u00e3o Paulo, S\u00e3o Paulo 05508-010, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Cozman","sequence":"additional","affiliation":[{"name":"Escola Polit\u00e9cnica, Universidade de S\u00e3o Paulo, S\u00e3o Paulo 05508-010, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2018,3,27]]},"reference":[{"key":"ref_1","unstructured":"De Finetti, B. (1974). Theory of Probability, Wiley."},{"key":"ref_2","unstructured":"Coletti, G., and Scozzafava, R. (2002). Probabilistic Logic in a Coherent Setting, Kluwer. Trends in Logic, 15."},{"key":"ref_3","unstructured":"Lad, F. (1996). Operational Subjective Statistical Methods: A Mathematical, Philosophical, and Historical, and Introduction, John Wiley."},{"key":"ref_4","unstructured":"Bernardo, J.M., DeGroot, M.H., Lindley, D.V., and Smith, A.F.M. (1985). In Defense of the Likelihood Principle: Axiomatics and Coherency. Bayesian Statistics 2, Elsevier Science."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1214\/aos\/1176350379","article-title":"De Finetti\u2019s Coherence and Statistical Inference","volume":"15","author":"Regazzini","year":"1987","journal-title":"Ann. Stat."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268039","article-title":"Coherence and the Axioms of Confirmation","volume":"20","author":"Shimony","year":"1955","journal-title":"J. Symb. Logic"},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00996310","article-title":"Strict Coherence, Sigma Coherence, and the Metaphysics of Quantity","volume":"77","author":"Skyrms","year":"1995","journal-title":"Philos. Stud."},{"key":"ref_8","unstructured":"Savage, L.J. (1972). The Foundations of Statistics, Dover Publications, Inc."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Darwiche, A. (2009). Modeling and Reasoning with Bayesian Networks, Cambridge University Press.","DOI":"10.1017\/CBO9780511811357"},{"key":"ref_10","unstructured":"Koller, D., and Friedman, N. (2009). Probabilistic Graphical Models: Principles and Techniques, MIT Press."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Pearl, J. (1988). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Getoor, L., and Taskar, B. (2007). Introduction to Statistical Relational Learning, MIT Press.","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"De Raedt, L. (2008). Logical and Relational Learning, Springer.","DOI":"10.1007\/978-3-540-68856-3"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Raedt, L.D., Kersting, K., Natarajan, S., and Poole, D. (2016). Statistical Relational Artificial Intelligence: Logic, Probability, and Computation, Morgan & Claypool.","DOI":"10.2200\/S00692ED1V01Y201601AIM032"},{"key":"ref_15","unstructured":"Cozman, F.G. (2018). Languages for Probabilistic Modeling over Structured Domains. Tech. Rep., submitted."},{"key":"ref_16","unstructured":"Poole, D. (2003, January 9\u201315). First-order probabilistic inference. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2348941","article-title":"A language and program for complex Bayesian modeling","volume":"43","author":"Gilks","year":"1993","journal-title":"Statistician"},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"3049","DOI":"10.1002\/sim.3680","article-title":"The BUGS project: Evolution, critique and future directions","volume":"28","author":"Lunn","year":"2009","journal-title":"Stat. Med."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Getoor, L., and Taskar, B. (2007). Probabilistic relational models. Introduction to Statistical Relational Learning, MIT Press.","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Koller, D. (1999, January 24\u201327). Probabilistic relational models. Proceedings of the International Conference on Inductive Logic Programming, Bled, Solvenia.","DOI":"10.1007\/3-540-48751-4_1"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Getoor, L., and Taskar, B. (2007). Probabilistic Entity-Relationship Models, PRMs, and Plate Models. Introduction to Statistical Relational Learning, MIT Press.","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"ref_22","unstructured":"Jaeger, M. (1997, January 1\u20133). Relational Bayesian networks. Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, Providence, RI, USA."},{"key":"ref_23","first-page":"60","article-title":"Relational Bayesian networks: A survey","volume":"6","author":"Jaeger","year":"2002","journal-title":"Electron. Trans. Art. Intell."},{"key":"ref_24","unstructured":"De Bona, G., and Cozman, F.G. (2018, March 23). Encoding the Consistency of Relational Bayesian Networks. Available online: http:\/\/sites.poli.usp.br\/p\/fabio.cozman\/Publications\/Article\/bona-cozman-eniac2017F.pdf."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1093\/jigpal\/8.3.325","article-title":"Reachability logic: An efficient fragment of transitive closure logic","volume":"8","author":"Alechina","year":"2000","journal-title":"Logic J. IGPL"},{"key":"ref_26","unstructured":"Ganzinger, H., Meyer, C., and Veanes, M. (1999, January 2\u20135). The two-variable guarded fragment with transitive relations. Proceedings of the 14th IEEE Symposium on Logic in Computer Science, Trento, Italy."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","article-title":"A Logic for Reasoning about Probabilities","volume":"87","author":"Fagin","year":"1990","journal-title":"Inf. Comput."},{"key":"ref_28","unstructured":"Hansen, P., and Jaumard, B. (1996). Probabilistic Satisfiability, \u00c9cole Polytechique de Montr\u00e9al. Technical Report G-96-31; Les Cahiers du GERAD."}],"container-title":["Entropy"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1099-4300\/20\/4\/229\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T14:58:43Z","timestamp":1760194723000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1099-4300\/20\/4\/229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,27]]},"references-count":28,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2018,4]]}},"alternative-id":["e20040229"],"URL":"https:\/\/doi.org\/10.3390\/e20040229","relation":{},"ISSN":["1099-4300"],"issn-type":[{"type":"electronic","value":"1099-4300"}],"subject":[],"published":{"date-parts":[[2018,3,27]]}}}