Knowledge, action, and the frame problem

This paper proposes a method for handling the frame problem for knowledge-producing actions. An example of a knowledge-producing action is a sensing operation performed by a robot to determine whether or not there is an object of a particular shape within its grasp. The work is an extension of Reiter's approach to the frame problem for ordinary actions and Moore's work on knowledge and action. The properties of our specification are that knowledge-producing actions do not affect fluents other than the knowledge fluent, and actions that are not knowledge-producing only affect the knowledge fluent as appropriate. In addition, memory emerges as a side-effect: if something is known in a certain situation, it remains known at successor situations, unless something relevant has changed. Also, it will be shown that a form of regression examined by Reiter for reducing reasoning about future situations to reasoning about the initial situation now also applies to knowledge-producing actions.

[1]  L. J. Savage,et al.  The Foundations of Statistics , 1955 .

[2]  Gerhard Lakemeyer,et al.  On sensing and off-line interpreting in GOLOG , 1999 .

[3]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

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

[5]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[6]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

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

[8]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[9]  Gerhard Lakemeyer,et al.  AOL: A logic of Acting, Sensing, Knowing, and Only Knowing , 1998, KR.

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

[11]  Hector J. Levesque,et al.  Knowledge Equivalence in Combined Action Theories , 2002, KR.

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

[13]  John Funge,et al.  Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents , 1999, Reliab. Comput..

[14]  Tran Cao Son,et al.  Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..

[15]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

[16]  Hector J. Levesque,et al.  Ability and Knowing How in the Situation Calculus , 2000, Stud Logica.

[17]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[18]  Richard B. Scherl,et al.  Sensing Actions, Time, and Concurrency in the Situation Calculus , 2000, ATAL.

[19]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[20]  R. A. Bull,et al.  Basic Modal Logic , 1984 .

[21]  Henry E. Kyburg,et al.  Knowledge Representation and Defeasible Reasoning , 1990 .

[22]  R. Reiter.  The projection problem in the situation calculus: a soundness and completeness result, with an application to database updates , 1992 .

[23]  Robert C. Moore,et al.  Formal Theories of the Commonsense World , 1985 .

[24]  Hector J. Levesque,et al.  Projection Using Regression and Sensors , 1999, IJCAI.

[25]  Raymond Reiter,et al.  Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .

[26]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[27]  Jorge Lobo,et al.  Knowledge and the Action Description Language A , 2001, Theory Pract. Log. Program..

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

[29]  Hector J. Levesque,et al.  The Situation Calculus with Sensing and Indexical Knowledge , 1995 .

[30]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[31]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[32]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[33]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[34]  Hector J. Levesque,et al.  Indexical Knowledge in Robot Plans , 1990, AAAI.

[35]  R. Scherl.  A constraint logic approach to automated modal deduction , 1992 .

[36]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[37]  Sheila A. McIIraith.  Integrating actions and state constraints: a closed-form solution to the ramification problem (sometimes) , 2000 .

[38]  Ray Reiter,et al.  On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..

[39]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

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

[41]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[42]  Richard B. Scherl,et al.  A General Framework for Modal Deduction , 1991, KR.

[43]  Oren Etzioni,et al.  An Approach to Planning with Incomplete Information , 1992, KR.

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

[45]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[46]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[47]  Y. Lespérance.  A formal theory of indexical knowledge and action , 1992 .

[48]  Sheila A. McIlraith,et al.  What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems , 2000, AAAI/IAAI.