Commonsense Reasoning with the Discrete Event Calculus Reasoner

[Project Page] [Download] [Documentation] [Book]

Commonsense reasoning is the human ability to make inferences about properties and events in the everyday world. The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems. The program complements the book Commonsense Reasoning.


How To Use

Download the latest release, which includes the program, examples, and user's manual. Then follow the instructions in the README file included with the release.

Take a look at how people are using the Discrete Event Calculus Reasoner.


System Requirements

The Discrete Event Calculus Reasoner requires Linux or Windows+Cygwin, Python, PLY, and one or more SAT solvers: Relsat (recommended), Walksat, and MiniSat.


Copyright © 2005 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Common Public License v1.0 which accompanies this distribution, and is available at

IBM - Initial implementation Logo