Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report

  title={Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report},
  author={Raymond Reiter and Johan de Kleer},
In this paperwe (1) define theconceptof a Clause ManagetnentSystem(CMS) — a generaizatiouof de Kleer’s ATMS, (2) motivatesuchsystemsin termsof efficiencyof searchand abductivereasoning,and (3) characterizethe computationaffectedby a CMS in termsof theconceptof prime implicants.’ 1. A Problem-Solving Architecture Figure 1 illustrates an architecturefor a problem solving system consistingof a domain dependentReasonercoupled to adomainindependentClauseManagement System (CMS). For our… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Figures, tables, and topics from this paper.
210 Citations
3 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 210 extracted citations


Publications referenced by this paper.
Showing 1-3 of 3 references

An outlook on truth maintenance.AIM-55 1, Artificial IntelligenceLaboratory

  • D. McAllester
  • 1980
1 Excerpt

iter. A noteon linear resolutionstrategiesin consequence

  • Minicozzi andReiter, 1972 E. Minicozzi andR. Re
  • 1972

Completenesstheoremsfor semanticresolution in consequence - finding

  • J. R. Slagle, CL. Chang, R. C. T. Lee
  • Default reasoningand diagnosis as theoryformation…

Similar Papers

Loading similar papers…