Possibility and necessity integrals

Abstract

In this paper, we introduce seminormed and semiconormed fuzzy integrals associated with confidence measures. These confidence measures have a field of sets as their domain, and a complete lattice as their codomain. In introducing these integrals, the analogy with the classical introduction of Legesgue integrals is explored and exploited. It is amongst other things shown that our integrals are the most general integrals that satisfy a number of natural basic properties. In this way, our dual classes of fuzzy integrals constitute a significant generalization of Sugeno's fuzzy integrals.A large number of important general properties of these integrals is studied. Furthermore, and most importantly, the combination of seminormed fuzzy integrals and possibility measures on the one hand, and semiconormed fuzzy integrals and necessity measures on the other hand, is extensively studied. It is shown that these combinations are very natural, and have properties which are analogous to the combination of Lebesgue integrals and classical measures. Using these results, the very basis is laid for a unifying measure-and integral-theoretic account of possibility and necessity theory, in very much the same way as the theory of Lebesgue integration provides a proper framework for a unifying and formal account of probability theory.

A random set description of a possibility measure and its natural extension

“…It follows from the definition that N(Ω) = 1, and we call N normal if Π is, i.e., if N(∅) = 0. For more details about the theory of possibility measures, we refer to [1], [15], [16], [17], [18], [19], [20].…”

Necessity Measures and Necessity Integrals on a Complete Lattice

“…Typical examples included those due to Dubois and Prade (1980;1988); Wang (1985); Liu and Wang (1987a;1987b); Zhang (1991); Zhang and Wang (1995); De Cooman and Kerre (1996); De Cooman (1995); Tsiporkova et al (1995). The most general definition of a necessity measure is: a necessity measure P is a mapping which is defined on a complete Boolean algebra (Davey and Priestly (1990)) B, takes values in a complete lattice L, and is 'corresponding author.…”

Triangular Norm-Based Elements on Bounded Lattices

“…[3]. Many authors have studied with t-norms on bounded lattices [4][5][6][7][8][9]. Yılmaz and Kazancı have presented a method for generating t-norms on a finite distributive lattice by means of ∨-irreducible elements [10].…”