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.
CITATION STYLE
Shanahan, M. (1999). The Event Calculus Explained (pp. 409–430). https://doi.org/10.1007/3-540-48317-9_17
Mendeley helps you to discover research relevant for your work.