Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem

This paper makes a contribution to the meta-theory of reasoning about action. We present two interpolation properties of action logic. We show that the frame axioms which are required for answering a query involve only the objects which are relevant to the query and action description. Moreover, if the action description is expressed by normal form, the required frame axioms depend on only the query itself. Therefore the frame problem may be mitigated by localizing descriptions and postponing the listing of frame axioms till a query occurs. This offers a pragmatic solution to the frame problem. This solution does not rest on any meta-hypotheses most existing solutions to the frame problem rely on.

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

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

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

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

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

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

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

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

[9]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

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

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

[12]  G. Neelakantan Kartha,et al.  On the Range of Applicability of Baker's Approach to the Frame Problem , 1996, AAAI/IAAI, Vol. 1.

[13]  Norman Y. Foo,et al.  Encoding Solutions of the Frame Problem in Dynamic Logic , 2001, LPNMR.

[14]  Larisa Maksimova,et al.  Amalgamation and interpolation in normal modal logics , 1991, Stud Logica.

[15]  Norman Y. Foo,et al.  Consistency of Action Descriptions , 2002, PRICAI.

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

[17]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[18]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

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

[20]  Larry J. Crockett.  The Turing test and the frame problem - AI's mistaken understanding of intelligence , 1994, Ablex series in artificial intelligence.

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

[22]  Maarten Marx,et al.  Interpolation in Modal Logic , 1999, AMAST.

[23]  Andrew B. Baker,et al.  Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..

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

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