Characterization of Generalized Necessity Functions in Lukasiewicz Logic

0364950 - ÚTIA 2012 RIV DE eng C - Conference Paper (international conference)
Flaminio, T. - Kroupa, Tomáš
Characterization of Generalized Necessity Functions in Lukasiewicz Logic.
Nonlinear Mathematics for Uncertainty and its Applications. Chennai: Springer, 2011 - (Li, S.; Wang, X.; Okazaki, Y.; Kawabe, J.; Murofushi, T.; Guann, L.), s. 619-626. Advances in Intelligent and Soft Computing,. ISBN 978-3-642-22832-2.
[Nonlinear Mathematics for Uncertainty and its Applications. Beijing (CN), 07.09.2011-09.09.2011]
R&D Projects: GA MŠMT 1M0572; GA ČR GA201/09/1891
Institutional research plan: CEZ:AV0Z10750506
Keywords : necessity function * belief function * MV-algebra
Subject RIV: BA - General Mathematics
http://library.utia.cas.cz/separaty/2011/MTR/kroupa-characterization of generalized necessity functions in lukasiewicz logic.pdf

We study a generalization of necessity functions to MV-algebras. In particular, we are going to study belief functions whose associated mass assignments have nested focal elements. Since this class of belief functions coincides with necessity functions on Boolean algebras, we will call them generalized necessity functions. Using geometrical and combinatorial techniques we provide several characterizations of these functions in terms of Choquet integral, Lebesgue integral, and min-plus polynomials.
Permanent Link: http://hdl.handle.net/11104/0200307