Nonmonotonic causal theories

The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowledge representation, and discuss its implementation, called the Causal Calculator.

[1]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[2]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[3]  Vladimir Lifschitz,et al.  Answer set programming and plan generation , 2002, Artif. Intell..

[4]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[5]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[6]  Hudson Turner,et al.  Splitting a Default Theory , 1996, AAAI/IAAI, Vol. 1.

[7]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[8]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[9]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[10]  Varol Akman,et al.  Representing the Zoo World and the Traffic World in the language of the Causal Calculator , 2004, Artif. Intell..

[11]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.

[12]  David L. Davidson,et al.  The Logical Form of Action Sentences , 2001 .

[13]  Vladimir Lifschitz,et al.  Formalizing Common Sense: Papers by John McCarthy , 1998 .

[14]  Patrick Doherty,et al.  TALplanner: A temporal logic based forward chaining planner , 2001, Annals of Mathematics and Artificial Intelligence.

[15]  Chiaki Sakama,et al.  Relating Disjunctive Logic Programs to Default Theories , 1993, LPNMR.

[16]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[17]  Patrick Doherty,et al.  TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..

[18]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[19]  R. Hursthouse.  THE LOGIC OF DECISION AND ACTION , 1969 .

[20]  Nicholas Rescher,et al.  The Logic of Decision and Action , 1967 .

[21]  John McCarthy,et al.  Programs with common sense , 1960 .

[22]  Bernhard Nebel,et al.  Encoding Planning Problems in Nonmonotonic Logic Programs , 1997, ECP.

[23]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[24]  Hudson Turner,et al.  A Logic of Universal Causation , 1999, Artif. Intell..

[25]  Edwin P. D. Pednault,et al.  ADL and the State-Transition Model of Action , 1994, J. Log. Comput..

[26]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[27]  Victor W. Marek,et al.  The Logic Programming Paradigm: A 25-Year Perspective , 2011 .

[28]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[29]  Georg Gottlob,et al.  Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics , 1993, ILPS.

[30]  Hector Geffner,et al.  Causal Theories for Nonmonotonic Reasoning , 1990, AAAI.

[31]  Armando Tacchella,et al.  Getting to the airport: the oldest planning problem in AI , 2000 .

[32]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[33]  Michael Georgeff,et al.  Reasoning about actions and plans , 1986 .

[34]  J. McCarthy.  ELABORATION TOLERANCE , 1997 .

[35]  N. McCain.  Causality in commonsense reasoning about actions , 1997 .

[36]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[37]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[38]  Vladimir Lifschitz,et al.  Missionaries and Cannibals in the Causal Calculator , 2000, KR.

[39]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[40]  Anil Nerode,et al.  Logic programming and non-monotonic reasoning : proceedings of the second international workshop , 1991 .

[41]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[42]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[43]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[44]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[45]  V. Lifschitz,et al.  Reinforcing a Claim in Commonsense Reasoning , 2003 .

[46]  Jack Minker,et al.  Logic-Based Artificial Intelligence , 2000 .

[47]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .

[48]  Chitta Baral,et al.  Reasoning About Effects of Concurrent Actions , 1997, J. Log. Program..