Abstract
A new theory of evaluating counterfactual statements is presented based on the established predicate calculus formalism of the Fluent Calculus for reasoning about actions. The assertion of a counter-factual antecedent is axiomatized as the performance of a special action. An existing solution to the Ramification Problem in the Fluent Calculus, where indirect effects of actions are accounted for via causal propagation, allows to deduce the immediate consequences of a counterfactual condition. We show that our theory generalizes Pearl etal.’s characterization, based on causal models, of propositional counterfactuals.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Balke and J. Pearl. Counterfactuals and policy analysis. In P. Besnard and S. Hanks, ed.’s, Proc. of UAI, pp. 11-18. Morgan Kaufmann, 1995.
W. Bibel. A deductive solution for plan generation. New Gener. Comput., 4:115–132, 1986.
W. Bibel. Let’s plan it deductively! Artif. Intell., 103(1-2):183–208, 1998.
D. Galles and J. Pearl. An axiomatic characterization od causal counterfactuals. In Foundations of Science. Kluwer Academic, 1998.
M. L. Ginsberg. Counterfactuals. Artif. Intell., 30:35–79, 1986.
M. L. Ginsberg and D. E. Smith. Reasoning about action I: A possible worlds approach. Artif. Intell., 35:165–195, 1988.
S. Hölldobler and J. Schneeberger. A new deductive approach to planning. New Gener. Comput., 8:225–244, 1990.
D. Lewis. Counterfactuals. Harvard University Press, 1973.
V. Lifschitz. Frames in the space of situations. Artif. Intell., 46:365–376, 1990.
F. Lin and R. Reiter. State constraints revisited. J. of Logic and Comput., 4(5):655–678, 1994.
J. McCarthy and T. Costello. Useful counterfactuals and approximate theories. In C. Ortiz, ed., Prospectes for a Commonsense Theory of Causation, AAAI Spring Symposia, pp. 44–51, Stanford, 1998. AAAI Press.
M. Thielscher. Ramification and causality. Artif. Intell., 89(1-2):317–364, 1997.
M. Thielscher. Introduction to the Fluent Calculus. Electr. Transact. on Artif. Intell., 1998. (Submitted). URL: http://www.ep.liu.se./ea/cis/1998/014/.
M. Thielscher. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artif. Intell., 1999. (To appear).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thielscher, M. (1999). A Theory of First-Order Counterfactual Reasoning. In: Burgard, W., Cremers, A.B., Cristaller, T. (eds) KI-99: Advances in Artificial Intelligence. KI 1999. Lecture Notes in Computer Science(), vol 1701. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48238-5_11
Download citation
DOI: https://doi.org/10.1007/3-540-48238-5_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66495-6
Online ISBN: 978-3-540-48238-3
eBook Packages: Springer Book Archive