A credibilistic approach to assumption-based truth maintenance

Qiang Shen, Ruiqing Zhao

Allbwn ymchwil: Cyfraniad at gyfnodolynErthygladolygiad gan gymheiriaid


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.
Iaith wreiddiolSaesneg
Tudalennau (o-i)85-96
Nifer y tudalennau12
CyfnodolynIEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans
Rhif cyhoeddi1
Dynodwyr Gwrthrych Digidol (DOIs)
StatwsCyhoeddwyd - 30 Awst 2010

Ôl bys

Gweld gwybodaeth am bynciau ymchwil 'A credibilistic approach to assumption-based truth maintenance'. Gyda’i gilydd, maen nhw’n ffurfio ôl bys unigryw.

Dyfynnu hyn