Causality and counterfactuals in the situation calculus

Journal of Logic and Computation

Volumn 17, Issue 5, 2007, Pages 939-953

  Hopkins, Mark ^a   Pearl, Judea ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b Engineering IV   (United States)

Author keywords

Causality; Commonsense reasoning; Counterfactuals; Situation calculus

Indexed keywords

CASE BASED REASONING; COMPUTATIONAL EFFICIENCY; DIFFERENTIATION (CALCULUS); DYNAMICAL SYSTEMS; EMBEDDED SYSTEMS;

COMMONSENSE REASONING; COUNTERFACTUALS; SITUATION CALCULUS; STRUCTURAL MODELS;

DATA STRUCTURES;

EID: 35348860921     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exm048     Document Type: Conference Paper

References (11)

1. T. Costello and J. McCarthy. Useful counterfactuals. Linkoping Electronic Articles in Computer and Information Science, 3, 51-76, 1999.
2. A. Finzi and T. Lukasiewicz. Structure-based causes and explanations in the independent choice logic. In Proceedings of the Nineteenth Conference on Uncertainty in Artifical Intelligence, pp. 225-232, Acapulco, Mexico, Morgan Kaufmann, 2003.
3. J. Gustafsson and P. Doherty. Embracing occlusion in specifying the indirect effects of actions. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, pp. 87-98, Cambridge, MA, USA, Morgan Kaufmann, 1996.
4. N. Hall. Two concepts of causation. In Causation and Counterfactuals, pp. 225-276, MIT Press, Cambridge, MA, 2004.
5. J. Halpern and J. Pearl. Causes and explanations: A structural-model approach - part i: Causes. In Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence, pp. 411-420, Stockholm, Sweden, Morgan Kaufmann, 2001.
6. M. Hopkins and J. Pearl. Clarifying the usage of structural models for commonsense causal reasoning. In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, pp. 83-89, AAAI Press, Menlo Park, CA, 2003.
7. F. Lin. Embracing causality in specifying the indirect effect of actions. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1985-1991, Montreal, Quebec, Canada, Morgan Kaufmann, 1995.
8. J. McCarthy. Situations, actions, and causal laws. Technical Report, Stanford University, 1963.
9. J. Pearl. Causality: Models, Reasoning, and Inference. Cambridge University Press, Cambridge, UK, 2000.
10. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, USA, 2000.
11. M. Thielscher. From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence, 111, 277-299, 1999.