Discrete Event Calculus Reasoner / News: Recent posts

Common sense for programs: DEC Reasoner 1.0 released

New Project Announcement - Computers can be very dense sometimes. But what if there were a way to give them a little common sense, a little understanding about how the world works? There is. With the Discrete Event Calculus Reasoner, you can add commonsense reasoning capabilities to your programs.

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
* Based on the event calculus, a comprehensive and highly usable logic-based formalism
* Useful for such application areas as 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... read more

Posted by Erik T. Mueller 2006-01-26