Progression of situation calculus action theories with incomplete information

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 2029-2034

  Vassos, Stavros ^a   Levesque, Hector ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION THEORY; BASIC ACTIONS; DATABASE TECHNIQUE; FLUENTS; INCOMPLETE INFORMATION; INCOMPLETE KNOWLEDGE; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE;

CALCULATIONS;

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

References (25)

1. E. Amir and S. Russell. Logical filtering. In Proc. IJCAI-03, pages 75-82, 2003.
2. H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, 1998.
3. 106 worlds and beyond: Efficient representation and processing of incomplete information. In Proc. ICDE-07, Istanbul, Turkey, April 2007. (To appear).
4. G. De Giacomo and H. J. Levesque. An incremental interpreter for high-level programs with sensing. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, pages 86-102, 1999.
5. G. De Giacomo, H. J. Levesque, and S. Sardina. Incremental execution of guarded theories. Computational Logic, 2(4):495-525, 2001.
6. T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming, 37(1-3):95-138, October 1998. (Pubitemid 128415802)
7. J. Funge. Cognitive modeling for computer games. In AAAI Fall Symposium on Cognitive Robotics, pages 44-51, Orlando, FL., October 1998.
8. G. Gottlob, N. Leone, and F. Scarcello. Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Journal of Computer and System Sciences, 66(4):775-808, June 2003.
9. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, 1986.
10. G. Lakemeyer and H. J. Levesque. Chapter: Cognitive robotics. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007. (Forthcoming).
11. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
12. H. J. Levesque. Planning with loops. In Proc. IJCAI-05, Edinburgh, Scotland, August 2005.
13. F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92(1-2):131-167, 1997. (Pubitemid 127414142)
14. F. Lin. Chapter: Situation calculus. In V. Lifschitz, F. van Harmelen, and F. Porter, editors, Handbook of Knowledge Representation. Elsevier, 2007. (Forthcoming).
15. Y. Liu and H. J. Levesque. A tractability result for reasoning with incomplete first-order knowledge bases. In Proc. IJCAI-03, pages 83-88, Acapulco, Mexico, August 2003.
16. Y. Liu and H. J. Levesque. Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In Proc. IJCAI-05, Edinburgh, Scotland, August 2005.
17. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463-502, 1969.
18. R. Petrick and H. J. Levesque. Knowledge equivalence in combined action theories. In Proc. KR- 02, Toulouse, France, April 2002.
19. R. Petrick. A knowledge-based representation for effective acting, sensing, and planning . PhD thesis, University of Toronto, 2006.
20. R. Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
21. S. Sardina and S. Vassos. The Wumpus World in IndiGolog: A Preliminary Report. In Proc. NRAC-05, pages 90-95, Edinburgh, Scottland, 2005.
22. R. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1-2):1-39, 2003.
23. T. C. Son and C. Baral. Formalizing sensing actions a transition function based approach. Artificial Intelligence, 125(1-2):19-91, 2001. (Pubitemid 32130119)
24. M. Thielscher. From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence, 111(1-2):277-299, July 1999.
25. M. Thielscher. FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programing, 5(4-5):533-565, 2004.