A classification of first-order progressable action theories in situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2013, Pages 1132-1138

  Vassos, Stavros ^a   Patrizi, Fabio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION THEORY; ANSWERING QUERIES; FIRST-ORDER; INITIAL STATE; LOGICAL REPRESENTATIONS; SECOND-ORDER LOGIC; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY;

CALCULATIONS;

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

References (19)

1. Jens Claßen and Gerhard Lakemeyer. Foundations for knowledge-based programs using ES. In Patrick Doherty, John Mylopoulos, and Christopher A. Welty, editors, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 318-328, 2006.
2. Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, and Sebastian Sardina. Multi-Agent Programming: Languages, Tools and Applications, chapter IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents, pages 31-72. Springer, 2009.
3. Giuseppe De Giacomo, Yves Lespérance, and Fabio Patrizi. Bounded situation calculus action theories and decidable verification. In Gerhard Brewka, Thomas Eiter, and Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference (KR), 2012.
4. Tomasz Imielinski and Witold Lipski. Incomplete information in relational databases. J. ACM, 31(4):761-791, September 1984.
5. 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.
6. Hector Levesque. What is planning in the presence of sensing? In The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96, pages 1139-1146, Portland, Oregon, August 1996. American Association for Artificial Intelligence.
7. Fangzhen Lin and Raymond Reiter. Forget it! In Russell Greiner and Devika Subramanian, editors, Working Notes, AAAI Fall Symposium on Relevance, pages 154-159, Menlo Park, California, 1994. American Association for Artificial Intelligence.
8. F. Lin and R. Reiter. How to progress a database. Artificial Intelligence, 92(1-2):131-167, 1997.
9. Fangzhen Lin. Embracing causality in specifying the indeterminate effects of actions. In AAAI/IAAI, Vol. 1, pages 670-676, 1996.
10. Yongmei Liu and Gerhard Lakemeyer. On first-order definability and computability of progression for local-effect actions and beyond. In Proc. IJCAI-09, pages 860-866, 2009.
11. 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.
12. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463-502, 1969.
13. R. Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64(2):337-351, 1993.
14. R. Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
15. R. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1-2):1-39, 2003.
16. Afsaneh Shirazi and Eyal Amir. First-order logical filtering. In Proc. of IJCAI-05, pages 589-595, 2005.
17. 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.
18. S. Vassos and H. J. Levesque. On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 1004-1009, 2008.
19. S. Vassos, Gerhard Lakemeyer, and H. J. Levesque. First-order strong progression for localeffect basic action theories. In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08), pages 662-272, 2008.