Abstract
A version of the Situation Calculus is presented which is able to deal with information about the actual occurrence of actions in time. Baker's solution to the frame problem using circumscription is adapted to enable default reasoning about action occurrences, as well as about the effects of actions. Two translations of Situation Calculus style theories into Event Calculus style logic programs are defined, and results are given on the soundness and completeness of the translations.
Preview
Unable to display preview. Download preview PDF.
References
A. B. Baker, Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence, vol 49, page 5, 1991.
Chitta Baral and Michael Gelfond, Representing Concurrent Actions in Extended Logic Programming, Proceedings IJCAI 1993, Morgan Kaufmann, page 866, 1993.
Marc Denecker and Danny De Schreye, Representing Incomplete Knowledge in Abductive Logic Programming, Proceedings of the International Symposium on Logic Programming, 1993.
Phan Minh Dung, Representing Actions in Logic Programming and its Applications in Database Updates, Proceedings of the Tenth International Conference on Logic Programming, ed David S. Warren, MIT Press, pages 222–238, 1993.
Michael Gelfond and Vladimir Lifschitz, Representing Actions in Extended Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, ed. Krzysztof Apt, MIT Press, page 560, 1992.
G. Neelakantan Kartha, Soundness and Completeness Theorems for Three Formalizations of Action, Proceedings IJCAI 1993, page 724, 1993.
R. A. Kowalski and F. Sadri, The Situation Calculus and Event Calculus Compared, Proceedings of the International Logic Programming Symposium, 1994
R. A. Kowalski and M. J. Sergot, A Logic-Based Calculus of Events, New Generation Computing, vol 4, page 267, 1986.
V. Lifschitz, Circumscription, in Handbook of Logic in A.I., ed.s D. Gabbay et al., OUP, pages 297–352, 1995
Fangzhen Lin and Yoav Shoham, Provably Correct Theories of Action, Proceedings AAAI 1991, MIT Press, page 349, 1991.
J. McCarthy and P. J. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, in Machine Intelligence 4, ed.s D. Michie and B. Meltzer, Edinburgh University Press, 1969.
R. S. Miller, Narratives in the Context of Temporal Reasoning, Imperial College Research Report DoC 94/3, available from Department of Computing, Imperial College, 180 Queen's Gate, London SW7 2BZ, 1994.
R. S. Miller and M. P. Shanahan, Narratives in the Situation Calculus, in Journal of Logic and Computation, Special Issue on Actions and Processes, vol 4 no 5, Oxford University Press, 1994.
J. Pinto and R. Reiter, Temporal Reasoning in Logic Programming: A Case for the Situation Calculus, Proceedings ICLP 93, page 203, 1993.
M. P. Shanahan, A Circumscriptive Calculus of Events, to appear in Artificial Intelligence, 1994.
Leon Sterling and Ehud Shapiro, The Art of Prolog, MIT Press, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miller, R. (1995). Situation calculus specifications for event calculus logic programs. In: Marek, V.W., Nerode, A., Truszczyński, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 1995. Lecture Notes in Computer Science, vol 928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59487-6_16
Download citation
DOI: https://doi.org/10.1007/3-540-59487-6_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59487-1
Online ISBN: 978-3-540-49282-5
eBook Packages: Springer Book Archive