Assumption-Based Truth Maintenance Systems

  • Weiru Liu
Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 77)


The aim of this chapter is to provide a basis for the discussion in Chapter 9. We will not review all the work on the assumption-based truth maintenance system (ATMS) carried out so far. Rather, we will only focus on two aspects of the ATMS:
  • its basic reasoning mechanism, and

  • the possibility of associating it with numerical uncertainty mechanisms.


Inference Rule Full Extension Disjunctive Normal Form Abductive Reasoning Implication Relation 
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.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Weiru Liu
    • 1
  1. 1.School of Information and Software EngineeringUniversity of Ulster at JordanstownNewtownabbey Co. AntrimNorthern Ireland UK

Personalised recommendations