Logics for belief functions on MV-algebras

Authors:
Tommaso Flaminio;LluíS Godo;Enrico Marchioni
Affiliations:
Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus de la Universitat Autònoma de Barcelona, 08193 Bellaterra, Barcelona, Spain;Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus de la Universitat Autònoma de Barcelona, 08193 Bellaterra, Barcelona, Spain;Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus de la Universitat Autònoma de Barcelona, 08193 Bellaterra, Barcelona, Spain
Venue:
International Journal of Approximate Reasoning
Year:
2013

Citing 13
Cited 1

Uncertainty, belief, and probability

Computational Intelligence
Computing generalized belief functions for continuous fuzzy sets

International Journal of Approximate Reasoning
Modeling vague beliefs using fuzzy-valued belief structures

Fuzzy Sets and Systems - Special issue on fuzzy numbers and uncertainty
Reasoning about Uncertainty

Reasoning about Uncertainty
Fuzzy subsethood and belief functions of fuzzy events

Fuzzy Sets and Systems
A logic for reasoning about the probability of fuzzy events

Fuzzy Sets and Systems
Generalization of belief and plausibility functions to fuzzy sets based on the sugeno integral: Research Articles

International Journal of Intelligent Systems
Reasoning with imprecise belief structures

International Journal of Approximate Reasoning
On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events

Journal of Logic and Computation
Belief functions on MV-algebras of fuzzy events based on fuzzy evidence

ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice

Journal of Logic and Computation
Paper: Evidence measures based on fuzzy information

Automatica (Journal of IFAC)
A Fuzzy Modal Logic for Belief Functions

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)

Simulation for lattice-valued doubly labeled transition systems

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a generalization of belief functions over fuzzy events. In particular we focus on belief functions defined in the algebraic framework of finite MV-algebras of fuzzy sets. We introduce a fuzzy modal logic to formalize reasoning with belief functions on many-valued events. We prove, among other results, that several different notions of belief functions can be characterized in a quite uniform way, just by slightly modifying the complete axiomatization of one of the modal logics involved in the definition of our formalism.