Value minimization in circumscription

Artificial Intelligence

Volumn 102, Issue 2, 1998, Pages 163-186

  Baral, Chitta ^a   Gabaldon, Alfredo ^a   Provetti, Alessandro ^b  

^a University of Texas at El Paso   (United States)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

Actions; Circumscription; Nested abnormality theories; Value minimization

Indexed keywords

ARTIFICIAL INTELLIGENCE; FUNCTIONS; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS;

CIRCUMSCRIPTION; LIFSCHITZ'S NESTED ABNORMALITY THEORY; SYNTACTIC TRANSFORMATIONS; VALUE MINIMIZATION;

FORMAL LOGIC;

EID: 0032120843     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(98)00051-4     Document Type: Article

References (13)

1. C. Baral, A. Gabaldon, A. Provetti, Formalizing narratives using nested circumscription, in: Proceedings 14th AAAI National Conference on Artificial Intelligence (AAAI-96), Portland, OR, 1996, pp, 652-657.
2. C. Baral, M. Gelfond, A. Provetti, Representing actions: laws, observations and hypothesis, J. Logic Programming 31 (1-3) (1997) 201-244.
3. A. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49 (1991) 5-23.
4. T. Costello, Non-monotonicity and change, Ph.D. Thesis, Stanford University, 1997.
5. B. Grosof, Generalizing priorization, in: Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, Morgan Kauffmann, San Mateo, CA, 1991, pp. 289-300.
6. N. Kartha, V. Lifschitz, Actions with indirect effects (preliminary report), in: Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Morgan Kauffmann, San Mateo, CA, 1994, pp. 341-350.
7. V. Lifschitz, Circumscription, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, 1993, pp. 297-352.
8. V. Lifschitz, Nested abnormality theories, Artificial Intelligence 74 (1995) 351-365.
9. J. McCarthy, Epistemological problems of artificial intelligence, in: Proceedings IJCAI-77, Cambridge, MA, 1977, pp. 1038-1044.
10. J. McCarthy, Applications of circumscription to formalizing common sense knowledge, Artificial Intelligence 28 (3) (1986) 89-116.
11. R. Reiter, Equality and domain closure in first-order data bases, J. ACM 27 (2) (1980) 235-249.
12. E. Sandewall, Filter preferential entailment for the logic of action in almost continuous worlds, in: Proceedings IJCAI-89, Detroit, MI, 1989, pp. 894-899.
13. Y. Shoham, Nonmonotonic logics: meaning and utility, Proceedings IJCAI-87, Milan, Italy, 1987, pp. 388-393.