A Simple Formalization of Actions Using Circumscription

We present a simple circumscriptive method for formalizing actions with indirect effects (ramifications), and show that, in several examples, all second-order quantifiers can be eliminated from these formalizations using existing techniques for computing circumscriptions. One of the two symbolic computation methods employed here is a generalization of predicate completion and the other is based on the SCAN algorithm. The simplicity of our new approach to representing actions is due to the use of the formalism of nested abnormality theories.

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

[2]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

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

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

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

[6]  Enrico GiunchigliaG,et al.  Actions with Indirect Effects (extended Abstract) Publication Notes: in Proc. Aaai Spring Symposium'95 on Extending Theories of Actions. Actions with Indirect Eeects (extended Abstract) , 1995 .

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

[8]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[9]  Dov M. Gabbay,et al.  Quantifier Elimination in Second-Order Predicate Logic , 1992, KR.

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

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

[12]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

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

[14]  Enrico Giunchiglia,et al.  Actions with Indirect Effects (Extended Abstract) , 1995 .

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