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

Home: http://decreasoner.sourceforge.net/

Project page: http://sourceforge.net/projects/decreasoner/

Download: http://sourceforge.net/project/showfiles.php?group_id=149385

Documentation: http://sourceforge.net/docman/display_doc.php?docid=30154&group_id=149385

Book: http://www.signiform.com/csr/