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.
Bibliographical noteCopyright 2012 Elsevier B.V., All rights reserved.
ASJC Scopus subject areas
- Theoretical Computer Science
- Applied Mathematics
- Artificial Intelligence