CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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