An extended basic ATMS

  • Oskar Dressler
Truth Maintenance Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 346)


Classical truth maintenance systems keep one consistent database at a time and allow non-monotonic justifications. De Kleer's ATMS [de Kleer 86a] processes multiple contexts simultaneously, but allows monotonic justifications only. The attempt to introduce non-monotonic justifications and defaults at higher levels of the system [de Kleer 86b] failed.

We propose to integrate a new kind of node into the ATMS that allows the encoding of non-monotonic justifications, negation, (justified) disjunction and one-of disjunction, as well as normal and non-normal defaults. The treatment of defaults will show that it is necessary to distinguish different uses of assumptions.


Problem Solver Consistent Extension Truth Maintenance Exclusive Choice Truth Maintenance System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Brown 87]
    Brown, A., D. Gaucas, D. Benanav An Algebraic Foundation for Truth Maintenance Proceedings of 10th IJCAI, 1987 Milan, 973–980Google Scholar
  2. [Charniak 80]
    Charniak, E.; McDermott, D.; Riesbeck, C Artificial Intelligence Programming Chapter 16 Lawrence Earlbaum Ass., New Jersey, 1980Google Scholar
  3. [de Kleer 77]
    de Kleer,J.; Doyle,J.; Sussman,G. AMORD: Explicit Control of Reasoning SIGART Newsletter, No. 64 August 1977, 116–125Google Scholar
  4. [de Kleer 86a]
    de Kleer, J. An Assumption-based TMS Artificial Intelligence 28(1986) 127–162Google Scholar
  5. [de Kleer 86b]
    de Kleer, J. Extending the TMS Artificial Intelligence 28 (1986) 163–196Google Scholar
  6. [de Kleer 87]
    de Kleer, J.; B. Williams Diagnosing Multiple Faults Artificial Intelligence 32 (1987) 97–130Google Scholar
  7. [de Kleer 88]
    de Kleer, J. A General Labelling Algorithm for Assumption-based Truth Maintenance Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, Minnesota, 1988 188–192Google Scholar
  8. [Doyle 79]
    Doyle, J. A Truth Maintenance System Artificial Intelligence 12 (1979) 231–272Google Scholar
  9. [Dressler 86]
    Dressler, O. Assumption-based Truth Maintenance in: Stoyan,H. Proceedings TMS-Workshop Berlin Oct. 1986 Springer Verlag Berlin Informatik Fachberichte 162Google Scholar
  10. [Dressler 87]
    Dressler, O. An Extended Basic ATMS Siemens Report INF-2 ARM-3-87, 1987Google Scholar
  11. [Goodwin 82]
    Goodwin,J. An Improved Algorithm for Non-Monotonic Dependency Net Update LITH-MAT-R-82-23, Linköping University Aug. 1982Google Scholar
  12. [Goodwin 85]
    Goodwin,J. A Process Theory of Non-monotonic Inference Proceedings of 9th IJCAI, 1985, Los Angeles, 185–187Google Scholar
  13. [Poole 88]
    Poole, D. A Logical Framework for Default Reasoning Artificial Intelligence 36 (1988) 27–48Google Scholar
  14. [Reinfrank 88]
    Reinfrank, M., Freitag, H. Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-monotonic Inference Proceedings Fifth Generation Conference 1988, TokyoGoogle Scholar
  15. [Reiter 80]
    Reiter, R. A Logic for Default Reasoning Artificial Intelligence 13 (1980) 81–132Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Oskar Dressler
    • 1
  1. 1.SIEMENS ZT ZTI INF 2 ARMMünchen 83

Personalised recommendations