Combination and Soft-Normalization of Belief Functions on MV-Algebras

Extending the notion of belief functions to fuzzy sets leads to the generalization of several key concepts of the classical Dempster-Shafer theory. In this paper we concentrate on characterizing normalized belief functions and their fusion by means of a generalized Dempster rule of combination. Further, we introduce soft-normalization that arises by either rising up the usual level of contradiction above 0, or by decreasing the classical level of normalization below 1.

[1]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[2]  Giovanni Panti.  Invariant Measures in Free MV-Algebras , 2005, math/0508445.

[3]  Desmond Fearnley-Sander,et al.  Universal Algebra , 1982 .

[4]  Arthur P. Dempster,et al.  Upper and Lower Probabilities Induced by a Multivalued Mapping , 1967, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[5]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[6]  Lluis Godo,et al.  Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence , 2011, ECSQARU.

[7]  Tomás Kroupa,et al.  From Probabilities to Belief Functions on MV-Algebras , 2010, SMPS.

[8]  George Gratzer,et al.  Universal Algebra , 1979 .

[9]  Christian Borgelt,et al.  Combining Soft Computing and Statistical Methods in Data Analysis, SMPS 2010, Oviedo, Spain, September 29 - October 1, 2010 , 2010, SMPS.

[10]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[11]  DANIELE MUNDICI,et al.  Averaging the truth-value in Łukasiewicz logic , 1995, Stud Logica.

[12]  K. Goodearl.  Partially ordered abelian groups with interpolation , 1986 .

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

[14]  Tomás Kroupa,et al.  Extension of belief functions to infinite-valued events , 2012, Soft Computing.

[15]  Tomás Kroupa,et al.  Every state on semisimple MV-algebra is integral , 2006, Fuzzy Sets Syst..