Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report

Raymond Reiter, Johan de Kleer

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.