The Rhetorical Knowledge Representation System: A User's Manual (for Rhet Version 15.25). Revision
ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
Rhetorical RHET is a programmingknowledge representation system that offers a set of tools for building an automated reasoning system Its 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 users 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 1variables 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.
- Computer Programming and Software