Solving the Qualification Problem

We present a uniform nonmonotonic solution for the problem of reasoning about action on the basis of argumentation-theoretic approach in a series of paper. This paper is the first one in which we solve the frame and the qualification problems in a simplifying setting without domain constraints or ramifications. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic.

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

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

[3]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[4]  Michael Thielscher,et al.  The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..

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

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

[7]  Marcus Bjäreland,et al.  Reasoning about Action in Polynomial Time , 1997, IJCAI.

[8]  David E. Smith,et al.  Reasoning About Action II: The Qualification Problem , 1988, Artif. Intell..

[9]  Andrew B. Baker,et al.  A Simple Solution to the Yale Shooting Problem , 1989, KR.

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

[11]  Patrick Doherty,et al.  Tackling the Qualification Problem using Fluent Dependency Constraints , 2000, Comput. Intell..

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

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

[14]  Nicholas Kushmerick,et al.  Cognitivism and Situated Action: Two Views on Intelligent Agency , 1996, Comput. Artif. Intell..

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

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

[17]  Mile K. Stojcev,et al.  An Interprocessor Communication Interface for Message Passing via Shared Memory Modules - Design and Performance , 1996, Comput. Artif. Intell..

[18]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..