Discrete Event Calculus Reasoner 1.0

Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
Common Public License 
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Erik T. Mueller
HOMEPAGE:
decreasoner.sourceforge.net
CATEGORY:
ROOT \ Science and Engineering \ Artificial Intelligence
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.

Discrete Event Calculus Reasoner solves problems efficiently by converting them into satisfiability (SAT) problems.

Here are some key features of "Discrete Event Calculus Reasoner":

· Comes with 99 examples
· Comes with 12-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

Requirements:

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

Last updated on January 26th, 2006

feature list requirements

#commonsense reasoning #event calculus #logic-based formalism #discrete #event #calculus #reasoning

Add your review!

SUBMIT