MIT Artificial Intelligence Laboratory Working Papers, WP-326
Abstract
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.
