The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the discrete event calculus, a comprehensive and highly usable formalism for reasoning about action, change, space, and mental states.
Be the first to post a text review of Discrete Event Calculus Reasoner. Rate and review a project by clicking thumbs up or thumbs down in the right column.
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/
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?