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.
Features
-
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
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.
Updates
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.
License
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
http://www.eclipse.org/legal/cpl-v10.html
Contributors:
IBM - Initial implementation