Publisher review: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. The 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. It solves problems efficiently by converting them into satisfiability (SAT) problems.
Features:
- Comes with 99 examples
- Comes with 13-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
Discrete Event Calculus Reasoner 1.0 is a C/C++ script for Earth Sciences scripts design by Erik T. Mueller.
It runs on following operating system: Windows / Linux / Mac OS / BSD / Solaris.
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.
Operating system:Windows / Linux / Mac OS / BSD / Solaris
Discrete Event Calculus Reasoner 1.0 script details 
