Consistency of Action Descriptions

As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation of action descriptions: uniform consistency, consistency of formulas and regional consistency. The first two provide an intuitive resolution of problems of explanation conflicts and fluent dependency. The concept of regional consistency provides for a measure of ramification. A highly expressive form of action descriptions, the normal form, is introduced to facilitate this analysis. The relative satisfiability of the situation calculus is generalized to accommodate non-deterministic effects and ramifications.

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

[2]  Michael E. Fisher.  Higher Order Differences in the Analogue Solution of Partial Differential Equations , 1956, JACM.

[3]  Fangzhen Lin,et al.  Provably correct theories of action , 1991, JACM.

[4]  G. Neelakantan Kartha,et al.  Soundness and Completeness Theorems for Three Formalizations of Action , 1993, IJCAI.

[5]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[6]  Vladimir Lifschitz,et al.  Frames in the Space of Situations , 1990, Artif. Intell..

[7]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

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

[9]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[10]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[11]  Vladimir Lifschitz,et al.  Situation Calculus and Causal Logic , 1998, KR.

[12]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[13]  Norman Y. Foo,et al.  EPDL: A Logic for Causal Reasoning , 2001, IJCAI.

[14]  Norman Y. Foo,et al.  Dealing with the Ramification Problem in Extended Propositional Dynamic Logic , 2000, Advances in Modal Logic.

[15]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[16]  Maurizio Lenzerini,et al.  PDL-based framework for reasoning about actions , 1995, AI*IA.

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

[18]  Helmut Prendinger,et al.  Reasoning about action and change , 1996, J. Log. Lang. Inf..

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

[20]  Daniele Theseider Dupré,et al.  An Inductive Definition Approach to Ramifications , 1998, Electron. Trans. Artif. Intell..

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

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

[23]  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.