Two Counterexamples Related to Baker's Approach to the Frame Problem

Abstract Andrew Baker's approach to reasoning about actions is the most robust circumscriptive approach currently known. Investigation of its applicability to nondeterministic actions reveals that this approach does not allow us to draw some intuitively plausible conclusions. Also, it does not always generate the proper existence of situations axiom. The limitations are traced to an unexpected interference of the axioms encoding observations with the minimization. A modification that avoids the shortcomings is suggested.

[1]  Vladimir Lifschitz,et al.  Nested Abnormality Theories , 1995, Artif. Intell..

[2]  Yoav Shoham,et al.  Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning , 1988, Artif. Intell..

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

[4]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

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

[6]  Vladimir Lifschitz,et al.  Restricted Monotonicity , 1993, AAAI.

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

[8]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[9]  Erik Sandewall,et al.  Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds , 1989, IJCAI.

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

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

[12]  John McCarthy,et al.  Addendum: Circumscription and other Non-Monotonic Formalisms , 1980, Artif. Intell..

[13]  Andrew B. Baker,et al.  Temporal Projection and Explanation , 1989, IJCAI.

[14]  McDermottDrew.  Nonmonotonic Logic II , 1982 .

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

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

[17]  James M. Crawford,et al.  Formalising Reasoning about Change: A Qualitative Reasoning Approach , 1992, AAAI.