Assumption-Based Truth Maintenance Systems
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.
KeywordsInference 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.
© Springer-Verlag Berlin Heidelberg 2001