-
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...
2006-01-26 02:07:00 UTC in Discrete Event Calculus Reasoner
-
The Unix name for this project is decreasoner.
The Discrete Event Calculus Reasoner is a program for
performing automated commonsense reasoning using the
discrete event calculus, a version of the classical
logic event calculus. The program supports such types
of reasoning as deduction, temporal projection,
abduction, planning, postdiction, and model finding.
Commonsense reasoning is the...
2005-09-28 21:39:59 UTC in SourceForge.net
-
etmueller registered the Discrete Event Calculus Reasoner project.
2005-09-27 22:39:17 UTC in Discrete Event Calculus Reasoner
-
I've posted an OpenCyc dump of the contents of the ThoughtTreasure
0.00022 commonsense knowledge base (593,448 assertions) at:
http://www.signiform.com/tt/ttkb/tt0.00022.cycl.gz
To load, type (load "tt0.00022.cycl") into the OpenCyc API.
Highlights: scripts, 2-d location grids, English & French theta
roles and inflections, domain lower ontologies (clothing, food, music).
2002-04-09 11:37:18 UTC in OpenCyc