CHAPTER 15

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, ...

Get Commonsense Reasoning now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.