论文信息 - Actions with Indirect Effects (Extended Abstract)

Actions with Indirect Effects (Extended Abstract)

Our goal is to extend and improve the action language ATZ0 proposed in [Kartha and Lifschitz, 1994] and to simplify the method for representing actions with indirect effects in circumscriptive theories described in that paper. The new action language ¢47Z differs from ~47Z0 in two ways. First, .ATZ allows us to represent fluents whose values are non-Boolean, such as Location(x) or Color(x). In the situation calculus, such fluents can be always eliminated in favor of propositional fluents, just as function symbols in first-order logic can be eliminated in favor of predicate symbols. For instance, instead of

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

[2] Fangzhen Lin,et al. Provably Correct Theories of Action (Preliminary Report) , 1991, AAAI.

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

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

[5] Vladimir Lifschitz,et al. A Simple Formalization of Actions Using Circumscription , 1995, IJCAI.

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

[7] G. Neelakantan Kartha,et al. Two Counterexamples Related to Baker's Approach to the Frame Problem , 1994, Artif. Intell..

[8] Vladimir Lifschitz,et al. Actions with Indirect Effects (Preliminary Report) , 1994, KR.

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