Abstract
A formal theory of causal reasoning is presented that encompasses both Pearl’s approach to causality and several key formalisms of nonmonotonic reasoning in Artificial Intelligence. This theory will be derived from a single rationality principle of causal acceptance for propositions. However, this principle will also set the theory of causal reasoning apart from common representational approaches to reasoning formalisms.
Similar content being viewed by others
Notes
This will also mean that our theory should not be viewed as an ‘explication’ of our commonsense understanding of causation (if there is such a thing today).
Some of these philosophical studies, however, also curiously reinforced these connections by viewing, for instance, inference or explanation as a proper replacement (or disambiguation) for the philosophically problematic notion of causation.
Thus, causal relata are propositions in our theory, in contrast to some other approaches that take such relata to be events, properties, or even variables.
We assume that the labels of associated propositions are self-explanatory.
Cf. (Prawitz, 2019) for a similar point.
In order to simplify the notation, causal rules \(a{{\,\mathrm{\Rightarrow }\,}}A\) are used in what follows both as formal objects of our theory and as statements in the meta-language (saying that a causes A).
For instance, A can directly cause B, though there are no intermediate causes between A and B. In this case, B will belong to \({{\,\mathrm{\mathcal {C}}\,}}(A)\), though not to \({{\,\mathrm{\mathcal {C}}\,}}({{\,\mathrm{\mathcal {C}}\,}}(A))\).
See, e.g., (Denecker et al., 2015) for an abstract theory of justifications in nonmonotonic reasoning.
In clear contrast both with modern proof-theoretic and inferentialist approaches in which the reducibility of the logical language to its atomic (pre-logical) basis is commonly viewed as an important desideratum.
Pearl has also called it a causal model, but this would conflict with our terminology.
This description presupposes a token interpretation of structural equations as expressing relations among their instantiations, as opposed to a type-level interpretation according to which a structural equation expresses a direct causal relation among variables themselves.
Note also that this refutation does not always change the acceptance status of the effect E, since E can also have other causes.
Just as it happened once in geometry.
It is essentially this idea that lies at the basis of one of the first formalisms of nonmonotonic reasoning in AI, namely circumscription of McCarthy (1980).
See (Denecker et al., 2015).
References
Anscombe, G. E. M. (1981). Causality and determination. The collected philosophical papers of G. E. M. Anscombe (pp. 133–147). Basil Blackwell.
Armstrong, D. M. (1997). A world of states of affairs. Cambridge University Press.
Baral, C. (2003). Knowledge representation, reasoning and declarative problem solving. Cambridge University Press.
Bochman, A. (2004). A causal approach to nonmonotonic reasoning. Artificial Intelligence, 160, 105–143.
Bochman, A. (2005). Explanatory nonmonotonic reasoning. World Scientific.
Bochman, A. (2007). A causal theory of abduction. Journal of Logic and Computation, 17, 851–869.
Bochman, A. (2018). On laws and counterfactuals in causal reasoning. In Principles of knowledge representation and reasoning: Proceedings of the sixteenth international conference, KR 2018 (pp. 494–503). AAAI Press.
Bochman, A. (2021). A logical theory of causality. MIT Press.
Bochman, A. (2023). Default logic as a species of causal reasoning. In Principles of knowledge representation and reasoning: Proceedings of the 20th international conference, KR 2023.
Bochman, A., & Lifschitz, V. (2015). Pearl’s causality in a logical setting. In Proceedings of the 29th AAAI conference on artificial intelligence (pp. 1446–1452). AAAI Press.
Bondarenko, A., Dung, P. M., Kowalski, R. A., & Toni, F. (1997). An abstract, argumentation-theoretic framework for default reasoning. Artificial Intelligence, 93, 63–101.
Brandom, R. (2000). Articulating reasons: An introduction to inferentialism. Harvard University Press.
Denecker, M., Brewka, G., & Strass, H. (2015). A formal theory of justifications. In 13th International conference on logic programming and non-monotonic reasoning (LPNMR) (pp. 250–264).
Dowe, P. (2000). Physical causation. Cambridge University Press.
Fine, K. (2018). The world of truth-making. In I. F. Rivera, & J. Leech (Eds.), Being necessary: Themes of ontology and modality from the work of Bob Hale. Oxford University Press.
Hart, H. L. A., & Honoré, T. (1985). Causation in the law (2nd ed.). Oxford University Press.
Hempel, C. G. (1965). Aspects of scientific explanation. Free Press.
Hume, D. (1978). In P. H. Nidditch (Ed.), A treatise of human nature (2nd edn, rev). Clarendon Press.
Lewis, D. (1973). Causation. Journal of Philosophy, 70, 556–567.
Lifschitz, V. (1997). On the logic of causal explanation. Artificial Intelligence, 96, 451–465.
Lifschitz, V. (2019). Answer set programming. Springer.
Makinson, D., & van der Torre, L. (2000). Input/output logics. Journal of Philosophical Logic, 29, 383–408.
McCain, N., & Turner, H. (1997). Causal theories of action and change. In Proceedings of the fourteenth national conference on artificial intelligence (AAAI-97) (pp. 460–465).
McCarthy, J. (1980). Circumscription—a form of non-monotonic reasoning. Artificial Intelligence, 13, 27–39.
Mill, J. S. (1872). A system of logic, ratiocinative and inductive (Eighth ed.). Harper & Bros.
Pearl, J. (1987). Embracing causality in formal reasoning. In Proceedings of the sixth national conference on artificial intelligence (AAAI-87) (pp. 369–373).
Pearl, J. (2009). Causality: Models, reasoning and inference (2nd ed.) (1st ed. 2000). Cambridge University Press.
Peregrin, J. (2014). Inferentialism: Why rules matter. Palgrave-Macmillan.
Prawitz, D. (2019). The seeming interdependence between the concepts of valid inference and proof. Topoi, 38(3), 493–503.
Reiter, R. (1978). On closed world data bases. In H. Gallaire, & J. Minker (Eds.), Logic and data bases (pp. 119–140). Plenum Press.
Reiter, R. (1980). A logic for default reasoning. Artificial Intelligence, 13, 81–132.
Restall, G. (2009). Truth values and proof theory. Studia Logica, 92(2), 241–264.
Rumfitt, I. (2015). The boundary stones of thought. Oxford University Press.
Schroeder-Heister, P. (2012). The categorical and the hypothetical: A critique of some fundamental assumptions of standard semantics. Synthese, 187(3), 925–942.
Turner, H. (1999). A logic of universal causation. Artificial Intelligence, 113, 87–123.
Acknowledgements
I would like to thank the anonymous reviewers for their instructive comments, requests, and suggestions. They contributed a lot to the final form of this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares no conflicts of interest, financial or otherwise, to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.