The Rhetorical Knowledge Representation System: A User's Manual (for Rhet Version 15.25). Revision
Abstract
Rhetorical (RHET) is a programming/knowledge representation system that offers a set of tools for building an automated reasoning system It's emphasis is on flexibility of representation, allowing the user to decide if the system will basically operate as a theorem prover, a frame-like system, or an associative network. Rhet may be used as the back-end to a user's programming system and handle the knowledge representation chores, or it may be used as a full-blown programming language. Rhet offers two major modes of inference: a horn clause theorem prover (backwards chaining mechanism), and a forward chaining mechanism. Both modes use a common representation of facts, namely horn clauses with universally quantified, potentially type restricted, variables, and use the unification algorithm. Additionally, they both share the following additional specialized reasoning capabilities: 1)variables may be typed with a fairly general type theory that allows a limited calculus of types including intersection and subtraction: 2) full reasoning about equality between ground terms: 3) reasoning within a context space, with access to axioms and terms in parent contexts: 4) the user is allowed to specify specialized reasoners for determining if two objects of a special type will unify; and 5) escapes into Lisp for use as necessary.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1989
- Accession Number
- ADA214433
Entities
People
- Bradford W. Miller
- James F. Allen
Organizations
- University of Rochester