What Do Counterfactuals Say About the World?

Rückschloß, Kilian and Weitkämper, Felix (2023): What Do Counterfactuals Say About the World? Reconstructing Probabilistic Logic Programs from Answers to “What If?” Queries. 32nd International Conference on Inductive Logic Programming (ILP), Bari, Italy, November 13–15, 2023. In: Inductive Logic Programming: 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings, Cham: Springer. pp. 93-108

Abstract

A ProbLog program is a logic program with facts that only hold with a specified probability. Each ProbLog program gives rise to probability estimations for counterfactual statements of the form “A would be true, if we had forced B”. This contribution studies program equivalence with respect to this counterfactual reasoning in the sense of Judea Pearl. Our main result reveals that each well-written ProbLog program with non-trivial probabilities is uniquely determined by its associated counterfactual estimations. More precisely, we give a procedure to reconstruct such a probabilistic logic program from its counterfactual output. As counterfactuals are part of our everyday language, our result indicates that they may also be a good language to express domain knowledge or readable program specifications.

• Item Type: Conference or Workshop Item (Paper)
• Faculties: Mathematics, Computer Science and Statistics > Computer Science
• Subjects: 000 Computer science, information and general works > 004 Data processing computer science
• ISBN: 978-3-031-49299-0 ; 978-3-031-49298-3 ; 978-3-031-49300-3
• Place of Publication: Cham
• Annotation: Teil von "Lecture Notes in Artificial Intelligence" (Bd. 14363)
• Language: English