Show simple item record Shen, Qiang Zhao, Ruiqing 2010-11-29T09:52:30Z 2010-11-29T09:52:30Z 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 . DOI: 10.1109/TSMCA.2010.2064298 en
dc.identifier.other PURE: 154174
dc.identifier.other PURE UUID: f3f71714-2afa-4b1c-9998-d3edf0c50dea
dc.identifier.other dspace: 2160/5956
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.rights en
dc.title A credibilistic approach to assumption-based truth maintenance en
dc.type /dk/atira/pure/researchoutput/researchoutputtypes/contributiontojournal/article en
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

Aside from theses and in the absence of a specific licence document on an item page, all works in Cadair are accessible under the CC BY-NC-ND Licence. AU theses and dissertations held on Cadair are made available for the purposes of private study and non-commercial research and brief extracts may be reproduced under fair dealing for the purpose of criticism or review. If you have any queries in relation to the re-use of material on Cadair, contact

This item appears in the following Collection(s)

Show simple item record

Search Cadair

Advanced Search