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

Discrete Event Calculus Reasoner Ranking & Summary

Discrete Event Calculus Reasoner Tags

event calculus Commonsense Reasoning Discrete event calculus logic-based formalism

Discrete Event Calculus Reasoner Description

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.0Requirements:· The Discrete Event Calculus Reasoner requires Linux or Windows+Cygwin, Python, PLY, and one or more SAT solvers: Relsat (recommended), Walksat, and MiniSat. 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 Related Software