TY - JOUR
T1 - A credibilistic approach to assumption-based truth maintenance
AU - Shen, Qiang
AU - Zhao, Ruiqing
N1 - Q. Shen and R. Zhao. A credibilistic approach to assumption-based truth maintenance. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 41(1):85-96, 2011.
Sponsorship: EPSRC
PY - 2010/8/30
Y1 - 2010/8/30
N2 - 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.
AB - 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.
U2 - 10.1109/TSMCA.2010.2064298
DO - 10.1109/TSMCA.2010.2064298
M3 - Article
VL - 41
SP - 85
EP - 96
JO - IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans
JF - IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans
IS - 1
ER -