Logics for Commonsense Reasoning
Why the event calculus? How does the event calculus stack up against other logical formalisms for commonsense reasoning? There are many such formalisms. In this chapter, we review four important families—the situation calculus, the features and fluents framework, action languages, and the fluent calculus—discussing their relationship to the event calculus.
15.1 The Situation Calculus
The main difference between the situation calculus and the event calculus is that the situation calculus uses branching time, whereas the event calculus uses linear time. In the event calculus, there is a single time line on which events occur, and all events are considered to be actual events. In the situation calculus, ...