O'Reilly logo

Commonsense Reasoning by Erik T. Mueller

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required