论文信息 - Belief Functions on Formulas in Lukasiewicz Logic

Belief Functions on Formulas in Lukasiewicz Logic

Belief functions are generalized to formulas in Lukasiewicz logic. It is shown that they generalize probabilities on formulas (so-called states) and that they are completely monotone mappings with respect to the lattice operations.

Tomáš Kroupa

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

[2] G. Choquet. Theory of capacities , 1954 .

[3] C. Rourke,et al. Introduction to Piecewise-Linear Topology , 1972 .

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

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

[6] G. Ziegler. Lectures on Polytopes , 1994 .

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

[8] M. Ziegler. Volume 152 of Graduate Texts in Mathematics , 1995 .

[9] P. Spreij. Probability and Measure , 1996 .

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

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

[12] Tomás Kroupa,et al. Representation and extension of states on MV-algebras , 2006, Arch. Math. Log..

[13] Jean Goubault-Larrecq,et al. Continuous Capacities on Continuous State Spaces , 2007, ICALP.

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

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