CMU Artificial Intelligence Repository
RHETORICAL: RHET Knowledge Representation System
areas/kr/systems/rhet/rhet/
This directory contains the knowledge tools distribution as maintained
by the University of Rochester Computer Science Dept. RHETORICAL is
a planning and knowledge tool.
This is a Knowledge Representation system based on concepts proved
with HORNE, and follow James Allen's grand design for KR following his
publications (in particular, see his book with Pelavin and Kautz). It
includes 2 major modes for representing knowledge (as Horn Clauses or
as frames), which are interchangable; a type subsystem for typed and
type restricted objects (including variables); E-unification;
negation; forward and backward chaining; complete proofs (prove,
disprove, find the KB inconsistent, or claim a goal is neither
provable nor disprovable); contextual reasoning; truth maintenance;
intelligent backtracking; full LISP compatibility (can call or be
called by lisp); upward compatible with HORNE; Allen & Koomen's TEMPOS
time interval reasoning subsystem; frames have KL-1 type features,
plus arbitrary predicate restrictions on slots within a frame as well
as default values for slots; separate subsystem providing
user-interface facilities and ZMACS interface on the lispms.
RHET is currently being rewritten into a new system called Shocker.
Origin:
ftp.cs.rochester.edu:/pub/packages/knowledge-tools/
Version: 21.30 (31-MAY-94)
Requires: Common Lisp, CL-LIB
Ports: Runs on Symbolics Genera 8.1.1, Allegro CL 4.1
Copying: GNU GPL v1.
If you're using RHET, please send mail to
peg@cs.rochester.edu indicating who will be responsible
for Rhet at your site.
Updated: Thu Dec 1 16:06:49 1994
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Bug Reports: rhet-bugs@cs.rochester.edu
bug-shocker@cs.rochester.edu
Mailing List: rhet@cs.rochester.edu
To subscribe, send mail to rhet-request@cs.rochester.edu.
shocker@cs.rochester.edu
To subscribe, send mail to shocker-request@cs.rochester.edu.
Author(s): Brad Miller
Contact: Peg Meeker
Computer Science Department
University of Rochester
Rochester, NY 14627
Keywords:
Authors!Miller.Brad, Benchmarks, E-Unification, Frames,
Horn Clauses, Knowledge Representation, Lisp!Code, Planning,
RHET, Univ. of Rochester
References: ?
Last Web update on Mon Feb 13 10:24:07 1995
AI.Repository@cs.cmu.edu