Discrete Event Calculus Reasoner 1.0

Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning.
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.

Main features:

  • 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

last updated on:
January 26th, 2006, 20:55 GMT
price:
FREE!
developed by:
Erik T. Mueller
homepage:
decreasoner.sourceforge.net
license type:
Common Public License 
category:
ROOT \ Science and Engineering \ Artificial Intelligence

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!

Add your review!

SUBMIT