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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bergadano, F., Gunetti, D.: Inductive Logic Programming: From Machine Learning to Software Engineering. MIT Press, Cambridge (1995). https://doi.org/10.7551/mitpress/3731.001.0001
Bochman, A.: A Logical Theory of Causality. The MIT Press, Cambridge (2021). https://doi.org/10.7551/mitpress/12387.001.0001
De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: a probabilistic Prolog and its application in link discovery. In: 20th International Joint Conference on Artificial Intelligence, vol. 7, pp. 2462–2467. AAAI Press, Hyderabad, India (2007). https://doi.org/10.5555/1625275.1625673
Hoeck, N.V.: Cognitive neuroscience of human counterfactual reasoning. Front. Hum. Neurosci. 9 (2015). https://doi.org/10.3389/fnhum.2015.00420
Kiesel, R., Rückschloß, K., Weitkämper, F.: “What if?” In probabilistic logic programming. Theory Pract. Logic Program. 1–16 (2023). https://doi.org/10.1017/S1471068423000133
Pearl, J.: Causality, 2 edn. Cambridge University Press, Cambridge (2000). https://doi.org/10.1017/CBO9780511803161
Rückschloß, K., Weitkämper, F.: Exploiting the full power of Pearl’s causality in probabilistic logic programming. In: Proceedings of the International Conference on Logic Programming 2022 Workshops. CEUR Workshop Proceedings, vol. 3193. CEUR-WS.org, Haifa, Israel (2022). http://ceur-ws.org/Vol-3193/paper1PLP.pdf
Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Logic Programming: The 12th International Conference, pp. 715–729. The MIT Press, Tokyo, Japan (1995). https://doi.org/10.7551/mitpress/4298.003.0069
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Rückschloß, K., Weitkämper, F. (2023). What Do Counterfactuals Say About the World? Reconstructing Probabilistic Logic Programs from Answers to “What If?” Queries. In: Bellodi, E., Lisi, F.A., Zese, R. (eds) Inductive Logic Programming. ILP 2023. Lecture Notes in Computer Science(), vol 14363. Springer, Cham. https://doi.org/10.1007/978-3-031-49299-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-49299-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-49298-3
Online ISBN: 978-3-031-49299-0
eBook Packages: Computer ScienceComputer Science (R0)