Discrete Event Calculus Reasoner 1.0

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.



Product's homepage

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.