A Credibilistic Approach to Assumption-Based Truth Maintenance

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.

[1]  Yian-Kui Liu.  Fuzzy Programming with Recourse , 2005, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[2]  Baoding Liu.  A Survey of Entropy of Fuzzy Variables , 2007 .

[3]  Didier Dubois,et al.  Handling uncertain knowledge in an ATMS using possibilistic logic , 1991 .

[4]  Didier Dubois,et al.  Using Possibilistic Logic for Modeling Qualitative Decision: ATMS-based Algorithms , 1999, Fundam. Informaticae.

[5]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[6]  Francesco Fulvio Monai,et al.  Possibilistic Assumption based Truth Maintenance System, Validation in a Data Fusion Application , 1992, UAI.

[7]  Qiang Shen,et al.  EVIDENCE DIRECTED GENERATION OF PLAUSIBLE CRIME SCENARIOS WITH IDENTITY RESOLUTION , 2010, Appl. Artif. Intell..

[8]  H X Li,et al.  FUZZY CONTROLLERS BASED ON SOME FUZZY IMPLICATION OPERATORS AND THEIR RESPONSE FUNCTIONS , 2004 .

[9]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[10]  Charles Elkan,et al.  Elkan's Reply: The Paradoxical Controversy over Fuzzy Logic , 1994, IEEE Expert.

[11]  Gian Luigi Ferrari,et al.  Parameterized Structured Operational Semantics , 1998, Fundam. Informaticae.

[12]  Pei Wang,et al.  Fuzzy contactibility and fuzzy variables , 1982 .

[13]  Tossapon Boongoen,et al.  Disclosing false identity through hybrid link analysis , 2010, Artificial Intelligence and Law.

[14]  Yian-Kui Liu,et al.  Expected value of fuzzy variable and fuzzy expected value models , 2002, IEEE Trans. Fuzzy Syst..

[15]  Gregory M. Provan.  An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions , 1989, IJCAI.

[16]  Charles Elkan,et al.  The paradoxical success of fuzzy logic , 1993, IEEE Expert.

[17]  Jeroen Keppens,et al.  A scenario-driven decision support system for serious crime investigation , 2007 .

[18]  Jeroen Keppens,et al.  Centre for Intelligent Systems and Their Applications on Compositional Modelling on Compositional Modelling on Compositional Modelling* , 2022 .

[19]  Tossapon Boongoen,et al.  Nearest-Neighbor Guided Evaluation of Data Reliability and Its Applications , 2010, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[20]  Bruce D'Ambrosio,et al.  A hybrid approach to reasoning under uncertainty , 1987, Int. J. Approx. Reason..

[21]  Xiang Li,et al.  Foundation of credibilistic logic , 2009, Fuzzy Optim. Decis. Mak..

[22]  Alfredo Milani,et al.  A Reason Maintenance System Dealing with Vague Data , 1991, UAI.

[23]  Alan Bundy,et al.  Constructing probabilistic ATMSs using extended incidence calculus , 1996, Int. J. Approx. Reason..

[24]  Krishna R. Pattipati,et al.  Anomaly Detection via Feature-Aided Tracking and Hidden Markov Models , 2007, 2007 IEEE Aerospace Conference.

[25]  Kathryn B. Laskey,et al.  Belief Maintenance: An Integrated Approach to Uncertainty Management , 1988, AAAI.

[26]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[27]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[28]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[29]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[30]  Qiang Shen,et al.  Fuzzy Compositional Modeling , 2010, IEEE Transactions on Fuzzy Systems.

[31]  H. Carter.  Fuzzy Sets and Systems — Theory and Applications , 1982 .

[32]  Baoding Liu,et al.  A survey of credibility theory , 2006, Fuzzy Optim. Decis. Mak..

[33]  LIHongxing,et al.  Fuzzy controllers based on some fuzzy implication operators and their response functions , 2004 .

[34]  A. Bonaert.  Introduction to the theory of Fuzzy subsets , 1977, Proceedings of the IEEE.

[35]  Bruce D'Ambrosio,et al.  Incremental construction and evaluation of defeasible probabilistic models , 1990, Int. J. Approx. Reason..

[36]  Kamal Premaratne,et al.  Evidence Combination in an Environment With Heterogeneous Sources , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.