Combining Situation Calculus and Event Calculus
Kristof Van Belleghem, Marc Denecker, Danny De Schreye · The MIT Press eBooks · 1995
In this paper we study the differences between two logic theories for temporal reasoning, the Situation Calculus and the Event Calculus, and the implications of these differences. We construct a new formalism that combines the advantages of both Situation and Event Calculus and avoids the problems of either. The new formalism is useful for general temporal reasoning in worlds with discrete and continuous change, and enables representation of a wide range of hypothetical temporal reasoning problems. We show that both Situation and Event Calculus are instances of this new formalism. 1 Introduction The Situation Calculus ( [ 15 ] ) and the Event Calculus ( [ 14 ] ) are two well-known formalisms for temporal reasoning. Although the original versions of both formalisms were created with clearly different goals in mind and did not look alike at all, later simplified versions of both started to show more and more similarities. In [ 18 ] an Event Calculus-like time line has been incorporated ...