Reasoning about actions: Non-deterministic effects, Constraints, and Qualification

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1995, Pages 2017-2023

  Baral, Chitta ^a  

^a UNIVERSITY OF TEXAS AT EL PASO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ACTION DESCRIPTION LANGUAGES; CONDITION; DETERMINISTICS; DYNAMIC CONSTRAINTS; FIRST-ORDER REPRESENTATION; REASONING ABOUT ACTIONS; STATE SPECIFICATIONS; STATIC CONSTRAINTS;

SPECIFICATIONS;

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

References (25)

1. [Allen et ai, 1990] J. Allen, J. Hendler, and A. Tate, editors. Readings tn planning. Morgan Kaufmann, CA, USA, 1990.
2. [Baral and Gelfond, 1993] C. Baral and M. Gelfond. Representing concurrent actions in extended logic programming. In Proc. of 13th International Joint Conference on Artificial Intelligence, Chambery, France, pages 866-871, 1993. A substantially extended and revised version is to appear in Bertram Fronhofer, editor, Theoretical Approaches to Dynamic Worlds.
3. [Baral et al., 1994] C. Baral, M. Gelfond, and A. Provetti. Representing Actions 1: Laws, Observations and Hypothesis. Technical report, Dept of Computer Science, University of Texas at El Paso, 1994 (also in 1995 AAA1 Spring Symposium).
4. [Baral, August 1994] C. Baral. Rule based updates on simple knowledge bases. In Proc. of AAAI94. Seattle, pages 136-141, August 1994.
5. [Brewka and Hertzberg, 1993] G. Brewka and J. Hertzberg. How to do things with worlds: on formalizing actions and plans. Journal of Logic and Computation, 3(5):517-532, 1993.
6. [Brown, 1987] F. Brown, editor. Proceedings of the 1987 workshop on The Frame Problem tn AI. Morgan Kaufmann, CA, USA, 1987.
7. [Crawford, 1994] J. Crawford. Three issues in action. In Presented in the workshop on Non-monotonic reasoning, 1994.
8. [Gelfond and Lifschitz, 1991] M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365-387, 1991.
9. [Gelfond and Lifschitz, 1992] M. Gelfond and V. Lifschitz. Representing actions in extended logic programs. In Joint International Conference and Symposium on Logic Programming., pages 559-573, 1992.
10. [Gelfond, 1994] M. Gelfond. Logic programming and reasoning with incomplete information. Annals of Mathematics and Artificial Intelligence, 12:19-116, 1994.
11. [Hanks and McDermott, 1987] S. Hanks and D. McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379 412, 1987.
12. [Kartha and Lifschitz, 1994] G. Kartha and V. Lifschitz. Actions with indirect effects (preliminary report). In KR 94, pages 341-350, 1994.
13. [Katsuno and Mendelzon, 1992] H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Proc. of KR 92, pages 387-394,1992.
14. [Kosheleva and Kreinovich, 1992] K. Kosheleva and K. Kreinovich. Any theory expressible in first order logic extended by transitive closure can be represented by a logic program, 1992. manuscript.
15. [Lifschitz and Turner, 1994] V. Lifschitz and H. Turner. From disjunctive programs to abduction. In preparation, 1994.
16. [Lin and Reiter, 1994] F. Lin and R. Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, October 1994.
17. [Lin and Shoham, 1992] F. Lin and Y. Shoham. Concurrent actions in the situation calculus. In Proc. of AAAI 92, pages 590-595, 1992.
18. [Marek and Truszczynski, 1994a] W. Marek and M. Truszczynski. Revision programming, manuscript, 1994.
19. [Marek and Truszczyriski, 1994b] W. Marek and M. Truszczyriski. Revision programming, database updates and integrity constraints. In To appear in 5th International conference in Database theory, Prague, 1994.
20. [Marek and Truszczyriski, 1994c] W. Marek and M. Truszczyriski. Revision specifications by means of programs, manuscript, 1994.
21. [McCain and Turner, 1995] M. McCai n and M. Turner. A causal theory of ramifications and qualifications. IJCAI 95.
22. [McCarthy and Hayes, 1969] J. McCarthy and P. 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.
23. [Pinto, February 1994] J. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, University of Toronto, Department of Computer Science, February 1994. KRR TR-94-1.
24. [Sandewall, 1992] E. Sandewall. Features and fluents: A systematic approach to the representation of knowledge about dynamical systems. Technical report, Institutionen for datavetenskap, Universitetet och Tekniska hogskolan i Linkoping, Sweeden, 1992.
25. [Winslett, 1989] M. Winslett. Reasoning about action using a possible models approach. In Proc. of 7th national conference on AI, pages 89-93, 1989.