Extension of belief functions to infinite-valued events

We generalise belief functions to many-valued events which are represented by elements of Lindenbaum algebra of infinite-valued Łukasiewicz propositional logic. Our approach is based on mass assignments used in the Dempster–Shafer theory of evidence. A generalised belief function is totally monotone and it has Choquet integral representation with respect to a unique belief measure on Boolean events.

[1]  Petr Hájek,et al.  A Fuzzy Modal Logic for Belief Functions , 2001, Fundam. Informaticae.

[2]  Lluis Godo,et al.  On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events , 2011, J. Log. Comput..

[3]  I. Molchanov.  Theory of Random Sets , 2005 .

[4]  Daniele Mundici,et al.  Bookmaking over infinite-valued events , 2006, Int. J. Approx. Reason..

[5]  Beloslav Riečan,et al.  Probability on MV algebras , 1997 .

[6]  Tommaso Flaminio,et al.  Characterization of Generalized Necessity Functions in Łukasiewicz Logic , 2011, NL-MUA.

[7]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

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

[9]  Robert McNaughton,et al.  A Theorem About Infinite-Valued Sentential Logic , 1951, J. Symb. Log..

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

[11]  Glenn Shafer,et al.  Allocations of Probability , 1979, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[12]  Didier Dubois,et al.  Evidence measures based on fuzzy information , 1985, Autom..

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

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

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

[16]  K. Keimel,et al.  Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic , 2013 .

[17]  Gert de Cooman,et al.  n-MONOTONE EXACT FUNCTIONALS , 2008 .

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

[19]  D. Denneberg.  Non-additive measure and integral , 1994 .

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

[21]  G. Rota.  On the Foundations of Combinatorial Theory , 2009 .

[22]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[23]  G. Rota.  On the foundations of combinatorial theory I. Theory of Möbius Functions , 1964 .

[24]  Tomáš Kroupa.  Belief Functions on Formulas in Lukasiewicz Logic , 2009 .

[25]  Tomás Kroupa,et al.  Core of Coalition Games on MV-algebras , 2011, J. Log. Comput..