A Simple Formalization of Actions Using Circumscription

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1995, Pages 1970-1975

  Kartha, G Neelakantan ^a   Lifschitz, Vladimir ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION METHODS; FORMALISATION; GENERALISATION; INDIRECT EFFECTS; NESTED ABNORMALITY THEORIES; NEW APPROACHES; SECOND ORDERS; SIMPLE++; SYMBOLIC COMPUTATION;

COMPUTATION THEORY;

EID: 84880648216     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. [Baker, 1991] And rew Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49:5-23, 1991.
2. [Clark, 1978] Keith Clark. Negation as failure. In Herve Gallaire and Jack Minker, editors, Logic and Data Bases, pages 293-322. Plenum Press, New York, 1978.
3. [Gabbay and Ohlbach, 1992] Dov Gabbay and Hans J. Ohlbach. Quantifier elimination in second-order predicate logic. In Bernhard Nebel, Charles Rich, and William Swartout, editors, Proc. of the Third Int'l Conf. on Principles of Knowledge Representation and Reasoning, 1992.
4. [Gelfond and Lifschitz, 1993] Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301-322, 1993.
5. [Giunchiglia et al., 1995] Enrico Giunchiglia, G. Neelakantan Kartha, and Vladimir Lifschitz. Actions with indirect effects (extended abstract). In Working Notes of the Symposium on Extending Theories of Actions, 1995.
6. [Hanks and McDermott, 1987] Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379-412, 1987.
7. [Lifschitz, 1993] Vladimir Lifschitz. Circumscription. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, The Handbook of Logic in AI and Logic Programming, volume 3, pages 297-352. Oxford University Press, 1993.
8. [Lifschitz, 1995] Vladimir Lifschitz. Nested abnormality theories. Artificial Intelligence, 1995. To appear.
9. [Lin and Reiter, 1994] Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, Special Issue on Actions and Processes, 4(5):655-678, 1994.
10. [Lin and Shoham, 1991] Fangzhen L in and Yoav Shoham. Provably correct theories of action. In Proc. of the Ninth National Conference of Artificial Intelligence, pages 349-354, 1991.
11. [McCarthy and Hayes, 1969] John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463-502. Edinburgh University Press, Edinburgh, 1969.
12. [McCarthy, 1980] John McCarthy. Circumscription-a form of non-monotonic reasoning. Artificial Intelligence, 13(l-2):27-39, 1980.
13. [McCarthy, 1986] John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 28(1):89-116, 1986.
14. [Pinto, 1994] Javier A. Pinto. Temporal reasoning in the situation calculus. Ph. D. thesis, University of Toronto (available as Technical Report KRR-TR-94-1), 1994.
15. [Winslett, 1988] M arianne Winslett. Reasoning about action using a possible models approach. In Proc. of AAAI-88, pages 89-93, 1988.