Semantics for a useful fragment of the situation calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 490-496

  Lakemeyer, Gerhard ^a   Levesque, Hector J ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC ACTIONS; FIRST ORDER LOGIC; MODAL OPERATORS; SECOND ORDERS; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE; SEMANTICS;

CALCULATIONS;

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

References (24)

1. P. Blackburn, J. Kamps, and M. Marx, Situation calculus as hybrid logic: First steps. In P. Brazdil and A. Jorge (Eds.) Progress in Artificial Intelligence, Lecture Notes in Artificial Intelligence 2258, Springer Verlag, 253-260, 2001.
2. M. A. Castilho, O. Gasquet, and A. Herzig, Formalizing Action and Change in Modal Logic I: the frame problem. Journal of Logic and Computation, 9(5), 701-735, 1999. (Pubitemid 30553026)
3. J. Claßen, Knowledge-Based Programming in the Logic ES, MSc. Thesis, RWTH Aachen, in progress.
4. R. Demolombe, Belief change: from Situation Calculus to Modal Logic. IJCAI Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), Acapulco, Mexico, 2003.
5. H. Enderton, A Mathematical Introduction to Logic, Academic Press, New York, 1972.
6. Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301-321, 1993.
7. D. Harel, Dynamic Logic, in D. Gabbay and F. Guenther (Eds.), Handbook of Philosophical Logic, Vol. 2, D. Reidel Publishing Company, 497-604, 1984.
8. A. Herzig, J. Lang, D. Longin, and T. Polacsek, A logic for planning under partial observability. In Proc. AAAI-2000, AAAI Press.
9. S. Hölldobler and J. Schneeberger. A new deductive approach to planning. New Generation Computing, 8:225-244, 1990.
10. R. Kowalski and M. Sergot. A logic based calculus of events. New Generation Computing, 4:67-95, 1986.
11. G. Hughes, and M. Cresswell, An Introduction to Modal Logic, Methuen and Co., London, 1968.
12. G. Lakemeyer and H. J. Levesque, Situations, si! Situation Terms, no!. In Ninth Conf. on Principles of Knowledge Representation and Reasoning, AAAI Press, 2004.
13. H. J. Levesque, F. Pirri, and R. Reiter, Foundations for the situation calculus, Electronic Transactions of AI (ETAI), 2(3-4):159-178, 1998.
14. H. J. Levesque and G. Lakemeyer, The Logic of Knowledge Bases, MIT Press, 2001.
15. 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, 59-84, 1997.
16. J. McCarthy and P. J. Hayes, Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer, D. Mitchie and M. Swann (Eds.) Machine Intelligence 4, Edinburgh University Press, 463-502, 1969.
17. V. R. Pratt, Semantical considerations on Floyd-Hoare logic. In Proc. 17th Ann. IEEE Symp. on Foundations of Computer Science, IEEE Press, 109-121, 1976.
18. A. Prior, Past, Present and Future. Oxford University Press, 1967.
19. Ray Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, 359-380. Academic Press, 1991.
20. R. Reiter, Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, 2001.
21. Ray Reiter, On knowledge-based programming with sensing in the situation calculus. ACM Transactions on Computational Logic, 2(4):433-457, 2001.
22. Erik Sandewall. Features and Fluents. The Representation of Knowledge about Dynamical Systems. Oxford University Press, 1994.
23. R. B. Scherl and H. J. Levesque, Knowledge, action, and the frame problem. Artificial Intelligence 144(1-2), 1-39, 2003.
24. Michael 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, 1999.