A credibilistic approach to assumption-based truth maintenance

Qiang Shen, Ruiqing Zhao

Research output: Contribution to journalArticlepeer-review

12 Citations (SciVal)


This paper presents an extension of the assumption-based truth maintenance system (ATMS), called “credibilistic ATMS,” which has the capability to cope with uncertain justifications and assumptions. Such justifications and assumptions are represented and dealt with in the framework of credibility theory. Important concepts in ATMS such as environments, labels, logical consequences, and consistency are redefined by the use of credibility measure. Based on these concepts, the label-updating procedure of the classical ATMS is extended, allowing effective computation of the membership function of any node within the network and that of its supporting environment. In addition, the contradictory environments can be captured with respect to their inconsistency degrees. This paper is compared to the most relevant existing research (i.e., ATMS using necessity as the truth value and ATMS using possibility as the truth value), demonstrating the significant improvements made. This paper also presents an illustrative application of credibilistic ATMS in supporting automated construction of domain models.
Original languageEnglish
Pages (from-to)85-96
Number of pages12
JournalIEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans
Issue number1
Publication statusPublished - 30 Aug 2010


Dive into the research topics of 'A credibilistic approach to assumption-based truth maintenance'. Together they form a unique fingerprint.

Cite this