Commonsense Reasoning with the Discrete Event Calculus Reasoner
Project
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.
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
https://www.eclipse.org/legal/cpl-v10.html
Contributors:
IBM - Initial implementation
