O'Reilly logo

Commonsense Reasoning, 2nd Edition 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 16

Logics for Commonsense Reasoning

Abstract

How does the event calculus stack up against other logical formalisms for commonsense reasoning? There are many such formalisms. We review four important families: the situation calculus, the features and fluent framework, action languages, and the fluent calculus. We discuss their relationship to the event calculus.

Keywords

Commonsense reasoning

Event calculus

Reasoning about action and change

Situation calculus

Features and fluents framework

Action languages

Fluent calculus

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

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