How to progress a database III

Artificial Intelligence

Volumn 195, Issue , 2013, Pages 203-221

  Vassos, Stavros ^a,b   Levesque, Hector J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Knowledge representation; Reasoning about action; Situation calculus

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; KNOWLEDGE REPRESENTATION;

BASIC ACTIONS; DEFINABILITY; FIRST ORDER; FIRST ORDER LOGIC; MODEL-THEORETIC; REASONING ABOUT ACTIONS; SECOND ORDERS; SITUATION CALCULUS;

FORMAL LOGIC;

EID: 84884902323     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2012.10.005     Document Type: Article

References (24)

1. S. Vassos, H. Levesque, On the progression of situation calculus basic action theories: Resolving a 10-year-old conjecture, in: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI'08, AAAI Press, Chicago, IL, USA, 2008, pp. 1004-1009.
2. F. Lin, R. Reiter, How to progress a database II: The STRIPS connection, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence, vol. 2, IJCAI'95, Morgan Kaufmann Publishers, San Francisco, CA, USA, 1995, pp. 2001-2007.
3. F. Lin, R. Reiter, How to progress a database, Artificial Intelligence 92 (1997) 131-167. (Pubitemid 127414142)
4. J. McCarthy, P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence 4 (1969) 463-502.
5. R. Reiter, Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, 2001.
6. R. Reiter, Proving properties of states in the situation calculus, Artificial Intelligence 64 (1993) 337-351.
7. F. Lin, Situation calculus, in: V. Lifschitz, F. van Harmelen, F. Porter (Eds.), Handbook of Knowledge Representation, Elsevier, 2007.
8. H.B. Enderton, A Mathematical Introduction to Logic, Academic Press, Orlando, FL, 1972.
9. E. Mendelson, Introduction to Mathematical Logic, fourth ed., Chapman & Hall/CRC, 1997.
10. R.E. Fikes, N.J. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 189-208.
11. E.P.D. Pednault, Toward a mathematical theory of plan synthesis, PhD thesis, Stanford University, Stanford, CA, USA, 1987.
12. P. Peppas, N. Foo, M. Williams, On the expressibility of propositions, Logique et Analyse 139-149 (1995) 251-272.
13. A. Gabaldon, Non-Markovian control in the situation calculus, in: Proceedings of the Eighteenth National Conference on Artificial Intelligence, AAAI'02, AAAI Press, Menlo Park, CA, USA, 2002, pp. 519-524.
14. F. Pirri, R. Reiter, Some contributions to the metatheory of the situation calculus, Journal of the ACM 46 (1999) 261-325.
15. S. Vassos, G. Lakemeyer, H. Levesque, First-order strong progression for local-effect basic action theories, in: Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, KR'08, AAAI Press, 2008, pp. 662-672.
16. Y. Liu, H.J. Levesque, Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions, in: Proceedings of the 19th International Joint Conference on Artificial Intelligence, IJCAI'05, Morgan Kaufmann Publishers, Edinburgh, Scotland, 2005, pp. 522-527.
17. S. Vassos, S. Sardina, H. Levesque, Progressing basic action theories with non-local effect actions, in: Proceedings of the 9th International Symposium on Formalizations of Commonsense Reasoning, pp. 135-140.
18. Y. Liu, G. Lakemeyer, On first-order definability and computability of progression for local-effect actions and beyond, in: Proceedings of the 21st International Joint Conference on Artificial Intelligence, IJCAI'09, Morgan Kaufmann Publishers, 2009, pp. 860-866.
19. S. Vassos, S. Sardina, A database-type approach for progressing action theories with bounded effects, College Publications.
20. V. Belle, G. Lakemeyer, On progression and query evaluation in first-order knowledge bases with function symbols, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI'11, IJCAI/AAAI, 2011, pp. 744-749.
21. Y. Liu, X. Wen, On the progression of knowledge in the situation calculus, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI'11, pp. 976-982.
22. J. Claßen, G. Lakemeyer, A semantics for ADL as progression in the situation calculus, in: J. Dix, A. Hunter (Eds.), Proceedings of the 11th Workshop on Nonmonotonic Reasoning, NMR'06, Institut für Informatik, TU Clausthal, 2006, pp. 334-341.
23. M. Thielscher, From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem, Artificial Intelligence 111 (1999) 277-299.
24. A. Shirazi, E. Amir, First-order logical filtering, Artificial Intelligence 175 (2011) 193-219.