×

zbMATH — the first resource for mathematics

CP-logic: A language of causal probabilistic events and its relation to logic programming. (English) Zbl 1179.68025
Summary: This paper develops a logical language for representing probabilistic causal laws. Our interest in such a language is two-fold. First, it can be motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level by Shafer in his framework of probability trees. In such a dynamic context, where the evolution of a domain over time is considered, the idea of a causal law as something which guides this evolution is quite natural. In our formalization, a set of probabilistic causal laws can be used to represent a class of probability trees in a concise, flexible and modular way. In this way, our work extends Shafer’s by offering a convenient logical representation for his semantical objects. Second, this language also has relevance for the area of probabilistic logic programming. In particular, we prove that the formal semantics of a theory in our language can be equivalently defined as a probability distribution over the well-founded models of certain logic programs, rendering it formally quite similar to existing languages such as ICL or PRISM.
Because we can motivate and explain our language in a completely self-contained way as a representation of probabilistic causal laws, this provides a new way of explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such a program expresses, in terms that are equally understandable by a non-logician. Moreover, we also obtain an additional piece of knowledge representation methodology for probabilistic logic programs, by showing how they can express probabilistic causal laws.

MSC:
68N17 Logic programming
68T27 Logic in artificial intelligence
Software:
CP-logic; ProbLog
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Gelfond, Linköping Electronic Articles in Computer and Information Science 3 pp 16– (1998)
[2] Getoor, Relational Data Mining pp 7– (2001)
[3] Santos Costa, Proceedings of the Nineteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2003) pp 517– (2003)
[4] DOI: 10.1016/0743-1066(93)90035-F · Zbl 0783.68024 · doi:10.1016/0743-1066(93)90035-F
[5] DOI: 10.1007/BF03037169 · doi:10.1007/BF03037169
[6] DOI: 10.1007/BF00881915 · Zbl 0819.68036 · doi:10.1007/BF00881915
[7] Finzi, Proceedings of the 19h Conference on Uncertainty in Artificial Intelligence, UAI’03 (2003)
[8] Riguzzi, The 14th RCRA Workshop Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (2007)
[9] Fierens, Proceedings of the 15th International Conference on Inductive Logic Programming, ILP’05 pp 121– (2005)
[10] Riguzzi, 14th Internation Conference on Inductive Logic Programming (ILP2004) pp 270– (2004) · doi:10.1007/978-3-540-30109-7_21
[11] DOI: 10.1007/BF03037171 · doi:10.1007/BF03037171
[12] DOI: 10.1007/978-3-540-72200-7_9 · Zbl 1149.68420 · doi:10.1007/978-3-540-72200-7_9
[13] DOI: 10.1016/S0004-3702(97)00027-1 · Zbl 0902.03017 · doi:10.1016/S0004-3702(97)00027-1
[14] DOI: 10.1145/1342991.1342998 · Zbl 1367.68278 · doi:10.1145/1342991.1342998
[15] DOI: 10.1016/0004-3702(93)90061-F · Zbl 0792.68176 · doi:10.1016/0004-3702(93)90061-F
[16] DOI: 10.1007/3-540-49545-2_1 · doi:10.1007/3-540-49545-2_1
[17] Pinto, Proceedings of the International Conference on Logic Programming pp 203– (1993)
[18] DOI: 10.1016/S0743-1066(99)00059-X · Zbl 0955.68020 · doi:10.1016/S0743-1066(99)00059-X
[19] Pearl, Causality: Models, Reasoning, and Inference (2000) · Zbl 0959.68116
[20] De Finetti, Annales de l’Institut Henri Poincaré 7 pp 1– (1937)
[21] Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (1988) · Zbl 0746.68089
[22] DOI: 10.1016/S0304-3975(96)00128-4 · Zbl 0874.68280 · doi:10.1016/S0304-3975(96)00128-4
[23] Giunchiglia, Proceedings of AAAI 98 (1998)
[24] DOI: 10.1016/S0743-1066(96)00123-9 · Zbl 0883.68023 · doi:10.1016/S0743-1066(96)00123-9
[25] DOI: 10.1007/BFb0053999 · doi:10.1007/BFb0053999
[26] Shafer, The Art of Causal Conjecture (1996) · Zbl 0874.60003
[27] Bacchus, Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence, UAI’93 pp 219– (1993) · doi:10.1016/B978-1-4832-1451-1.50031-7
[28] Kersting, An Introduction to Statistical Relational Learning pp 291– (2007)
[29] DOI: 10.1093/logcom/2.6.719 · Zbl 0778.68081 · doi:10.1093/logcom/2.6.719
[30] Vennekens, Logic Programming, 20th International Conference, ICLP’04, Proceedings pp 431– (2004)
[31] DOI: 10.1016/0890-5401(92)90061-J · Zbl 0781.68038 · doi:10.1016/0890-5401(92)90061-J
[32] Muggleton, Electronic Transactions in Artificial Intelligence 5 pp 141– (2000)
[33] Cussens, Proceedings of the Sixteenth Annual Conference on Uncertainty in Artificial Intelligence pp 115– (2000)
[34] Comley, Proceedings of the Second Hawaii International Conference on Statistics and Related fields (2003)
[35] DOI: 10.1111/j.1467-8640.1992.tb00382.x · doi:10.1111/j.1467-8640.1992.tb00382.x
[36] McCain, Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (13th AAAI/8th IAAI) pp 460– (1996)
[37] DOI: 10.1007/978-3-540-73847-3_16 · Zbl 1201.68116 · doi:10.1007/978-3-540-73847-3_16
[38] Baral, AAAI (2002)
[39] Baral, Proceedings of IJCAI (2007)
[40] Lukasiewicz, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’01) pp 336– (2001)
[41] Baral, Theory and Practice of Logic Programming 9
[42] Lifschitz, LPNMR (1999)
[43] Baral, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) pp 21– (2004)
[44] Lakshmanan, Proceedings of the International Symposium on Logic Programming, ILPS’94 pp 254– (1994)
[45] Jaeger, Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI-97) (1997)
[46] Vennekens, Logics in Artificial Intelligence, 10th European Conference, JELIA’06, Proceedings pp 452– (2006) · Zbl 1152.68621 · doi:10.1007/11853886_37
[47] Halpern, Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, UAI’01 (2001)
[48] Venn, The Logic of Chance: An Essay on the Foundations and Province of the Theory of Probability (1866) · JFM 08.0111.03
[49] Halpern, Proceedings of the 17th Conference on Uncertainty in Artificial Intelligence, UAI’01 (2001)
[50] DOI: 10.1145/116825.116838 · Zbl 0799.68045 · doi:10.1145/116825.116838
[51] Tran, AAAI (2004)
[52] Sato, Proceedings of the International Joint Conferences on Artificial Intelligence, IJCAI’97 pp 1330– (1997)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.