Abstract
McCain and Turner [6] have an interesting theory of causal reasoning. We give a modal treatment of McCain and Turner’s theory of causal reasoning: we thereby formulate theories equivalent to their original model-theoretic treatment, while preserving its good properties (in particular, its independence of vocabulary).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anthony G. Cohn, Lenhard Schubert, and Stuart C. Shapiro, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR98). Morgan Kaufmann, 1998. Trento, Italy, June 1998.
Tom Costello and Anna Patterson. Quantifiers and operations on modalities and contexts. In Cohn et al. [1], pages 270–281. Trento, Italy, June 1998.
J. Lambek and P.J. Scott. Introduction to Higher order Categorical Logic. Number 7 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986.
Vladimir Lifschitz. On the logic of causa1 explanation. Artificial Intelligence, 96:451–465, 1997.
Vladimir Lifschitz. Situation calculus and causa1 logic. In Cohn et al. [l], pages 536–546. Trento, Italy, June 1998.
Norman McCain and Hudson Turner. Causa1 theories of action and change. In Proceedings of AAAI97, pages 460–465, Providence, RI, 1997. AAAI.
Peter Schroeder-Heister. Cut-elimination in logics with definitional reflection. In D. Pearce and H. Wansing, editors, Nonclassical Logics and Information Processing, volume 619 of Lecture Notes in Artificial Intelligence, pages 146–171, Berlin, etc., 1992. Springer-Verlag. International Workshop, Berlin 1990.
A.S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Number 43 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1996.
Hudson Turner. A theory of universal causation. Artificial Intelligence, 113:87–123, 1999.
Johan van Benthem. Correspondence theory. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic II, volume 165 of Synthese Library, pages 167–247. Reidel, Dordrecht, 1984.
G. Graham White. Intentionality and circumscription. In Salem Benferhat and Enrico Giunchiglia, editors, Proceedings of the 9th International Conference on Non-Monotonic Reasoning (NMR2002), pages 372–379, 2002. Toulouse, April 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
White, G. (2002). A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_18
Download citation
DOI: https://doi.org/10.1007/3-540-45757-7_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44190-8
Online ISBN: 978-3-540-45757-2
eBook Packages: Springer Book Archive