A credibilistic approach to assumption-based truth maintenance

H...............H

Show simple item record

dc.contributor.author Shen, Qiang
dc.contributor.author Zhao, Ruiqing
dc.date.accessioned 2010-11-29T09:52:30Z
dc.date.available 2010-11-29T09:52:30Z
dc.date.issued 2010-08-30
dc.identifier.citation Shen , Q & Zhao , R 2010 , ' A credibilistic approach to assumption-based truth maintenance ' IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans , vol 41 , no. 1 , pp. 85-96 . en
dc.identifier.other PURE: 154174
dc.identifier.other dspace: 2160/5956
dc.identifier.uri http://hdl.handle.net/2160/5956
dc.identifier.uri http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5559520 en
dc.description 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 en
dc.description.abstract 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. en
dc.format.extent 12 en
dc.language.iso eng
dc.relation.ispartof IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans en
dc.title A credibilistic approach to assumption-based truth maintenance en
dc.type Text en
dc.type.publicationtype Article (Journal) en
dc.identifier.doi http://dx.doi.org/10.1109/TSMCA.2010.2064298
dc.contributor.institution Department of Computer Science en
dc.contributor.institution Advanced Reasoning Group en
dc.description.status Peer reviewed en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search Cadair


Advanced Search

Browse

My Account