Discrete Event Calculus Reasoner 1.0 review
Download
|
|
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.
Discrete Event Calculus Reasoner 1.0 keywords