Commonsense Reasoning with the Discrete Event Calculus Reasoner
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
Comes with 99 examples
Comes with 13-page user's manual
Supports deduction/temporal projection, abduction/planning, postdiction,
and model finding
Allows default reasoning about action, change, space, and mental states
Useful for intelligent user interfaces, business systems, natural
language understanding, and computer vision
Helps applications understand the world, make inferences, adapt to
unexpected situations, and be more flexible
Released under the Common Public License v1.0
How To Use
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.
The Discrete Event Calculus Reasoner requires Linux or
and one or more SAT solvers:
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