Exploring Extensions of Possibilistic Logic over Gödel Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Extending possibilistic logic over Gödel logic
International Journal of Approximate Reasoning
Plausible reasoning and graded information: A unified approach
Fuzzy Sets and Systems
Logics for belief functions on MV-algebras
International Journal of Approximate Reasoning
Hi-index | 0.00 |
Possibility and necessity measures are commonly defined over Boolean algebras. This work considers a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about these representable classes of possibilistic states, we introduce many-valued modal logics based on the Rational Łukasiewicz Logic, that are shown to be complete with respect to corresponding classes of Kripke models equipped with those states.