The RHET System: A Sequence of Self-Guided Tutorials

The RHET system is a knowledge representation tool that is intended to support the development of advanced prototype natural language understanding and planning systems. It is what is currently called a "hybrid" representation, which consists of a set of separately defined specialized reasoning systems that are presented to the user within a single uniform framework. It can be used as a horn-clause based theorem proving system, or it can be used as a rich frame-based representation, or used in any way falling between these styles of use. The primary specialized reasoning components include a type hierarchy system, an equality reasoning system, a temporal reasoning system, and a hierarchical context mechanism that support reasoning about different agent's beliefs as well as hypothetical reasoning. This report provides a sequence of tutorials each demonstrating a major feature of the system

The Rhet Programmer's Guide (for Rhet Version 17.9)

Rhetorical (Rhet) is a programming / knowledge representation system that offers a set of tools for building an automated reasoning system. Its emphasis is on flexibility of representation. This document extends TR 326 with more information about the internals of the Rhet system. In addition it provides the information needed for users to write their own builtin functions, or better lispfns (that use internally provided library functions)