- Knowledge Explorer
KR is a knowledge representation language combining English-like statements, commands and questions with UNIX-like conditionals, loops and methods. Knowledge Explorer implements the KR language in an interactive tool to record, check and search knowledge. Knowledge is recorded in entity-characteristic-proposition hierarchies with space-time-dependent events.
http://www.volcano.net/~rhm
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It - SATEN
A Sagacious Agent for Theory Extraction and RevisioN. SATEN is an intelligent object-oriented web-based information management system. It provides an information extraction engine and methods for iterated belief revision. It can also perform nonmonotonic reasoning, possibilistic reasoning, and hypothetical reasoning.
http://cafe.newcastle.edu.au/systems/saten.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0)
Rate It
Review It |
