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 2

The Event Calculus

In this chapter, we present the foundations of the event calculus, a formalism for commonsense reasoning. We review first-order logic and describe some notational conventions. We discuss the basics of the event calculus and we present axiomatizations of the event calculus (EC) and the discrete event calculus (DEC). We discuss how to choose which axiomatization to use. We present reification, which is needed to represent statements about events and fluents in first-order logic. We discuss unique names axioms, conditions, circumscription, and domain descriptions, and we describe the types of reasoning that can be performed using the event calculus.

2.1 First-Order Logic

The event calculus is based on first-order logic, ...

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