REASON IN GAB OUT ACTION USING A POSSIBLE MODELS APPROACH

Proceedings of the 7th National Conference on Artificial Intelligence, AAAI 1988

Volumn , Issue , 1988, Pages 89-93

  Winslett, Marianne ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL ADVANTAGES; DOMAIN INDEPENDENTS; FRAME PROBLEMS; MODELING APPROACH; NEW APPROACHES; POSSIBLE WORLDS; RAMIFICATION PROBLEMS; REASONING ABOUT ACTIONS; SIMPLE++; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE;

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

References (16)

1. R. Fagin, J. D. Ullman, and M. Y. Vardi, "On the Semantics of Updates in Databases," Proc. ACM PODS, April 1983.
2. R. Fagin, G. M. Kuper, J. D. Ullman, and M. Y. Vardi, "Updating Logical Databases," Advances in Computing Research 3, 1986.
3. J. J. Finger, Exploiting Constraints in Design Synthesis, PhD thesis, Dept. of Computer Science, Stanford University, 1987.
4. M. Georgeff, "Many Agents Are Better Than One", Proc. 1987 Wkshp on the Frame Problem in AI, Lawrence, 1987.
5. M. Ginsberg, "Counterfactuals", AIJ, 30:1, 1986.
6. M. Ginsberg and D. E. Smith, "Possible Worlds and the Qualification Problem", AIJ, to appear.
7. M. Ginsberg and D. E. Smith, "Reasoning About Action I: A Possible Worlds Approach", in Readings in Nonmonotonic Reasoning, M. Ginsberg, ed., Morgan Kaufmann, Los Altos, 1987.
8. P. Gardenfors, "Conditionals and Changes of Belief", from The Logic and Philosophy of Scientific Change, in Acta Philosophica Fennica, 30:2-4, 1978.
9. V. Lifschitz, "Pointwise Circumscription", in Readings in Nonmonotonic Reasoning, M. L. Ginsberg, ed., Morgan Kaufmann, Los Altos, 1987.
10. V. Lifschitz, "On the Declarative Semantics of Logic Programs with Negation", in Readings in Nonmonotonic Reasoning, M. L. Ginsberg, ed., Morgan Kaufmann, Los Altos, 1987.
11. G. Oddie, "Verisimilitude", from The Logic and Philosophy of Scientific Change, in Acta Philosophica Fennica, 30:2-4, 1978.
12. J. Pollack, Subjunctive Reasoning, Reidel, Dordrecht, 1976.
13. R. Reiter, "A Theory of Diagnosis from First Principles," AIJ, April 1987.
14. M. Winslett, "A Framework for Comparison of Update Semantics", Proc. ACM PODS, Austin, March 1988.
15. M. Winslett, "Setwise Circumscription", in preparation.
16. M. Winslett, "Reasoning About Action Using a Possible Models Approach", TR UIUC-DCS-R-88-1428, Department of Computer Science, University of Illinois at Urbana, May 1988.