Artificial Intelligence Today pp 409-430 | Cite as

# The Event Calculus Explained

Chapter

First Online:

## Abstract

This article presents the event calculus, a logic-based formalism for representing actions and their effects. A circumscriptive solution to the frame problem is deployed which reduces to monotonic predicate completion. Using a number of benchmark examples from the literature, the formalism is shown to apply to a variety of domains, including those featuring actions with indirect effects, actions with non-deterministic effects, concurrent actions, and continuous change.

## Keywords

State Constraint Continuous Change Frame Problem Concurrent Action Effect Constraint
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## References

- [Baker, 1991]A.B. Baker, Nonmonotonic Reasoning in the Framework of the Situation Calculus,
*Artificial Intelligence*, vol. 49 (1991), pp. 5–23.MathSciNetCrossRefzbMATHGoogle Scholar - [Crawford & Etherington, 1992]J.M. Crawford and D.W. Etherington, Formalizing Reasoning about Change: A Qualitative Reasoning Approach,
*Proceedings AAAI 92*, pp. 577–583.Google Scholar - [Doherty, 1994]P. Doherty, Reasoning about Action and Change Using Occlusion,
*Proceedings ECAI 94*, pp. 401–405.Google Scholar - [Gelfond, el al., 1991]M. Gelfond, V. Lifschitz and A. Rabinov, What Are the Limitations of the Situation Calculus? in
*Essays in Honor of Woody Bledsoe*, ed R. Boyer, Kluwer Academic (1991), pp. 167–179.Google Scholar - [Haas, 1987]A.R. Haas, The Case for Domain-Specific Frame Axioms,
*Proceedings of the 1987 Workshop on the Frame Problem*, pp. 343–348.Google Scholar - [Hanks & McDermott, 1987]S. Hanks and D. McDermott, Nonmonotonic Logic and Temporal Projection,
*Artificial Intelligence*, vol. 33 (1987), pp. 379–412.MathSciNetCrossRefzbMATHGoogle Scholar - [Kartha & Lifschitz, 1994]G.N. Kartha and V. Lifschitz, Actions with Indirect Effects (Preliminary Report),
*Proceedings 1994 Knowledge Representation Conference (KR 94)*, pp. 341–350.Google Scholar - [Kartha & Lifschitz, 1995]G.N. Kartha and V. Lifschitz, A Simple Formalization of Actions Using Circumscription,
*Proceedings IJCAI 95*, pp. 1970–1975.Google Scholar - [Kowalski, 1992]R.A. Kowalski, Database Updates in the Event Calculus,
*Journal of Logic Programming*, vol. 12 (1992), pp. 121–146.MathSciNetCrossRefGoogle Scholar - [Kowalski & Sergot, 1986]R.A. Kowalski and M.J. Sergot, A Logic-Based Calculus of Events,
*New Generation Computing*, vol. 4 (1986), pp. 67–95.CrossRefGoogle Scholar - [Lifschitz, 1994]V. Lifschitz, Circumscription, in
*The Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning*, ed. D.M. Gabbay, C.J. Hogger and J.A. Robinson, Oxford University Press (1994), pp. 297–352.Google Scholar - [Lin & Shoham, 1992]F. Lin and Y. Shoham, Concurrent Actions in the Situation Calculus,
*Proceedings AAAI 92*, pp. 590–595.Google Scholar - [McCarthy, 1980]J. McCarthy, Circumscription — A Form of Non-Monotonic Reasoning,
*Artificial Intelligence*, vol. 13 (1980), pp. 27–39.MathSciNetCrossRefzbMATHGoogle Scholar - [McCarthy, 1988]J. McCarthy, Mathematical Logic in Artificial Intelligence,
*Daedalus*, Winter 1988, pp. 297–311.Google Scholar - [McCarthy & Hayes, 1969]J. McCarthy and P.J. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, in
*Machine Intelligence 4*, ed. D. Michie and B. Meltzer, Edinburgh University Press (1969), pp. 463–502.Google Scholar - [Miller & Shanahan, 1996]R.S. Miller and M.P. Shanahan, Reasoning about Discontinuities in the Event Calculus,
*Proceedings 1996 Knowledge Representation Conference (KR 96)*, pp. 63–74.Google Scholar - [Reiter, 1980]R. Reiter, A Logic for Default Reasoning,
*Artificial Intelligence*, vol. 13 (1980), pp. 81–132.MathSciNetCrossRefzbMATHGoogle Scholar - [Reiter, 1991]R. Reiter, The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression, in
*Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy*, ed. V. Lifschitz, Academic Press (1991), pp. 359–380.Google Scholar - [Sandewall, 1991]E. Sandewall,
*Features and Fluents*, Technical Report LiTH-IDAR-91-29 (first review version), Department of Computer and Information Science, Linköping University, Sweden, 1991.zbMATHGoogle Scholar - [Sandewall, 1994]E. Sandewall,
*Features and Fluents: The Representation of Knowledge about Dynamical Systems*,*Volume 1*, Oxford University Press (1994).Google Scholar - [Schubert, 1990]L.K. Schubert, Monotonic Solution of the Frame Problem in the Situation Calculus, in
*Knowledge Representation and Defeasible Reasoning*, ed. H. Kyburg, R. Loui and G. Carlson, Kluwer (1990), pp. 23–67.Google Scholar - [Shanahan, 1990]M.P. Shanahan, Representing Continuous Change in the Event Calculus,
*Proceedings ECAI 90*, pp. 598–603.Google Scholar - [Shanahan, 1996]M.P. Shanahan, Robotics and the Common Sense Informatic Situation,
*Proceedings ECAI 96*, pp. 684–688.Google Scholar - [Shanahan, 1997a]M.P. Shanahan,
*Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia*, MIT Press, 1997.Google Scholar - [Shanahan, 1997b]M.P. Shanahan, Event Calculus Planning Revisited,
*Proceedings 4th European Conference on Planning (ECP 97)*, Springer Lecture Notes in Artificial Intelligence no. 1348 (1997), pp. 390–402.Google Scholar - [Shanahan, 1998]M.P. Shanahan, Reinventing Shakey,
*Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics*, pp. 125–135.Google Scholar - [Shanahan, 1999]M.P. Shanahan, The Ramification Problem in the Event Calculus,
*Proceedings IJCAI 99*, to appear.Google Scholar - [Thielscher, 1997]M. Thielscher, Ramification and Causality,
*Artificial Intelligence*, vol. 89 (1997), pp. 317–364.MathSciNetCrossRefzbMATHGoogle Scholar

## Copyright information

© Springer-Verlag Berlin Heidelberg 1999