Found ations of assumption-based truth maintenance systems: preliminary report

Abstract

In this paper we (1) define the concept of a Clause Management System (CMS) -- a generalization of de Kleer's ATMS, (2) motivate such systems in terms of efficiency of search and abductive reasoning, and (3) characterize the computation affected by a CMS in terms of the concept of prime implicants.