Abstract
We present a general formalism of causal reasoning that encompasses both Pearl’s approach to causality and a number of key systems of nonmonotonic reasoning in artificial intelligence.
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
Similar content being viewed by others
Notes
- 1.
We assume that the labels of associated propositions are self-explanatory.
- 2.
See [20] for a similar point.
- 3.
In what follows, causal rules \(a\Rightarrow A\) are used both as formal objects of our theory and as statements in the meta-language (saying that a causes A).
- 4.
For instance, A can directly cause B, though there are no intermediate causes between A and B.
- 5.
Here \(C_{\varDelta }\) is a causal operator corresponding to the least supraclassical causal inference relation containing \(\varDelta \).
References
Anscombe, G.E.M.: Causality and determination. In: The Collected Philosophical Papers of G.E.M. Anscombe, pp. 133–147. Basil Blackwell (1981)
Bochman, A.: A causal approach to nonmonotonic reasoning. Artif. Intell. 160, 105–143 (2004)
Bochman, A.: A causal logic of logic programming. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, 2–5 June 2004, pp. 427–437. AAAI Press (2004)
Bochman, A.: Explanatory Nonmonotonic Reasoning. World Scientific, Singapore (2005)
Bochman, A.: A causal theory of abduction. J. Log. Comput. 17, 851–869 (2007)
Bochman, A.: 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 (2018)
Bochman, A.: A Logical Theory of Causality. MIT Press, Cambridge (2021)
Bochman, A.: Default logic as a species of causal reasoning. In: Proceedings of KR-2023 (2023). (to appear)
Bochman, A., Lifschitz, V.: Pearl’s causality in a logical setting. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence, pp. 1446–1452. AAAI Press (2015)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic framework for default reasoning. Artif. Intell. 93, 63–101 (1997)
Brandom, R.: Articulating Reasons: An Introduction to Inferentialism. Harvard University Press, Cambridge (2000)
Denecker, M., Brewka, G., Strass, H.: A formal theory of justifications. In: 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), pp. 250–264 (2015)
Lewis, D.: Causation. J. Philos. 70, 556–567 (1973)
Lifschitz, V.: On the logic of causal explanation. Artif. Intell. 96, 451–465 (1997)
Makinson, D., van der Torre, L.: Input/output logics. J. Philos. Log. 29, 383–408 (2000)
McCain, N., Turner, H.: Causal theories of action and change. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pp. 460–465 (1997)
Pearl, J.: Embracing causality in formal reasoning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pp. 369–373 (1987)
Pearl, J.: Causality: Models, Reasoning and Inference, 2nd edn. Cambridge University Press, Cambridge (2009). (1st ed. 2000)
Peregrin, J.: Inferentialism: Why Rules Matter. Palgrave-Macmillan, London (2014)
Prawitz, D.: The seeming interdependence between the concepts of valid inference and proof. Topoi 38(3), 493–503 (2019)
Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)
Schroeder-Heister, P.: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synthese 187(3), 925–942 (2012)
Turner, H.: A logic of universal causation. Artif. Intell. 113, 87–123 (1999)
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
Bochman, A. (2023). An Inferential Theory of Causal Reasoning. In: Alechina, N., Herzig, A., Liang, F. (eds) Logic, Rationality, and Interaction. LORI 2023. Lecture Notes in Computer Science, vol 14329. Springer, Cham. https://doi.org/10.1007/978-3-031-45558-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-45558-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-45557-5
Online ISBN: 978-3-031-45558-2
eBook Packages: Computer ScienceComputer Science (R0)