Principles of Knowledge Representation and Reasoning in the FRAPPE System

Unknown author (1989-05)

Working Paper

The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, hybrid architecture, and many sorted logic.