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.