Abstract
The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing the situation calculus also highlight the connection between the fields of artificial intelligence and philosophical logic (especially modal logics of belief, knowledge, and tense). Modal logic changed enormously since the 60s. This paper sets out to revive the connection between situation calculus and modal logic. In particular, we will show that quantified hybrid logic, QHL, is able to express situation calculus formulas often more natural and concise than the original formulations. The main contribution of this paper is a new quantified hybrid logic with temporal operators and action modalities, tailor-made for expressing the fluents of situation calculus.
This research was supported by the Netherlands Organization for Scientific Research (NWO, grants # 400-20-036 and # 612-62-001). This work was carried out as part of the INRIA funded partnership between CALG (Computational and Applied Logic Group, University of Amsterdam) and LED (Langue et Dialogue, LORIA, Nancy).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Allen. Maintaining knowledge about temporal intervals. Artificial Intelligence, 26:832–843, 1983.
C. Areces, P. Blackburn, and M. Marx. Hybrid logics. Characterization, interpolation and complexity. Journal of Symbolic Logic, 2001. In print.
P. Blackburn. Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8(3):339–365, 2000.
P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge UK, 2001.
A. Borgida. Description logics in data management. IEEE Transactions on Knowlede and Data Engineering, 7:671–682, 1995.
R. Brachman and J. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171–216, 1985.
G. Brewka, J. Dix, and K. Konolige. Nonmonotonic Reasoning: an overview. Number 73 in CSLI Lecture Notes. CSLI Publications, Stanford CA, 1997.
D. Calvanese, G. De Giacomo, D. Nardi, and M. Lenzerini. Reasoning in expressive description logics. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers, 1999.
M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Number 169 in Synthese Library. Reidel, Dordrecht, 1983.
D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, 2000.
R.A. Kowalski and M. J. Sergot.A logic based calculus of events. NewGeneration Computing, 4:67–95, 1986.
H. J. Levesque, F. Pirri, and R. Reiter. Foundations for a calculus of situations. Electronic Transactions on Artificial Intelligence, 2:159–178, 1998.
J. McCarthy. Situations, actions, and causal laws. Stanford Artificial Intelligence Project Memo 2, Stanford University, 1963.
J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, 1969.
S. Passy and T. Tinchev. An essay in combinatory dynamic logic. Information and Computation, 93:263–332, 1991.
V. Pratt. Models of program logics. In Proceedings of the 20th IEEE symposium on Foundations of Computer Science, pages 115–122, 1979.
A. N. Prior. Past, Present and Future. Oxford University Press, 1967.
R. Reiter. Knowledge in action: Logical foundations for describing and implementing dynamical systems. Draft version of a book on situation calculus, 1996-2000.
M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Intertia. The MIT Press, Cambridge MA, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blackburn, P., Kamps, J., Marx, M. (2001). Situation Calculus as Hybrid Logic: First Steps. In: Brazdil, P., Jorge, A. (eds) Progress in Artificial Intelligence. EPIA 2001. Lecture Notes in Computer Science(), vol 2258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45329-6_26
Download citation
DOI: https://doi.org/10.1007/3-540-45329-6_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43030-8
Online ISBN: 978-3-540-45329-1
eBook Packages: Springer Book Archive