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 13

The Discrete Event Calculus Reasoner

This chapter describes 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. The Discrete Event Calculus Reasoner can be downloaded from decreasoner.sourceforge.net.

13.1 Discrete Event Calculus Reasoner Architecture

The architecture of the Discrete Event Calculus Reasoner is shown in ...

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