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 13

The Discrete Event Calculus Reasoner

Abstract

We describe the Discrete Event Calculus Reasoner, which uses satisfiability (SAT) to solve event calculus problems. The program can be used to perform automated deduction, abduction, postdiction, and model finding. We discuss the architecture of the program and the encoding of SAT problems. We present some simple examples of how the program is used and then present a more complicated example. We discuss the language used to describe commonsense reasoning problems to the program.

Keywords

Commonsense reasoning

Event calculus

Reasoning about action and change

Discrete event calculus

Discrete Event Calculus Reasoner

Satisfiability

Deduction

Abduction

Postdiction

Model finding

This chapter ...

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