PAPER DIGEST
Most Influential AAAI 1987 Paper · 2026-03 edition
Foundations 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.