An assumption-based truth maintenance system

Raymond Reiter' Department of Computer Science University of Toronto Toronto, Ontario, Canada M5S-1A4 Johan de Kleer Intelligent Systems Laboratory XEROX Palo Alto Research Center 3333 Coyote Hill Road Palo Alto, California 94304 ABSTRACT In this paper we (1) define the concept of a Clause Managetnent System (CMS) A Problem-Solving Architecture Figure 1 illustrates an architecture for a problem solving system consisting of a domain dependent Reasoner coupled to a domain independent Clause Management System (CMS). For our present purposes, the Reasoner is a black box which, m the process of doing whatever it does, occasionally transmits a propositional clause 2 to the CMS.