Abstract
The entropy measure is predefined as a mapping, increasing with an increase in the fuzziness of evaluated set. The relation “is less fuzzy than” is strictly modeled by an inequality fulfilled by membership functions. This inequality is systematically repeated across the literature. In this paper we show that it is incorrect. We prove that the relation “is less fuzzy than” should be modeled by an inclusion. Obtained conclusions are applied in a more precise definition of entropy measure.
Introduction
In the general case, information imprecision is composed of ambiguity and indistinctness [e.g. 12]. Information ambiguity is interpreted as a lack of clear recommendation for one alternative among various given. We interpret information indistinctness as a lack of explicit distinction of given information and its negation. Among other things, an increase of information imprecision decreases its usefulness. This leads to a problem of indistinctnees evaluation.
The basic model for imprecise information is the concept of fuzzy set. Colloquially understood, the entropy measure of fuzzy set can be defined as a mapping that increases with the increase in fuzziness of evaluated set. Thus, information indistinctness can be calculated by means of entropy measure [3].
The relation “is less fuzzy than” is interpreted as an inequality fulfilled by membership functions. This inequality is systematically repeated across the literature.
The main goal of this paper is to reconsider an answer to the following question: What does it mean that one set “is less fuzzy than” the other? Obtained conclusions will be applied in defining the entropy measure in a more precise way.
Previous definitions of entropy measure
Let
For any fuzzy subset, its ambiguity is evaluated by an energy measure
In the original paper, in place of the condition (2), de Luca and Termini have only assumed that the energy measure is finite. A more detailed definition of energy measure depends on the properties of space
In case of
In case of
If -∞ < a < b < + ∞ then for the case of
In case of
In addition, an energy measure can be used to determine a metric on the family
Therefore, value
The value γ (A, B) is interpreted as a degree of “fuzzy inclusion” of the set
De Luca and Termini [16] have proposed the following axiomatic definition of entropy measure:
What does it mean that set “is less fuzzy than” the other? In [17] it was explained that “
This way, the initial definition of entropy measure has been replaced by the following definition:
So far, the Definition 2 of entropy measure is being commonly used as a theoretical model for fuzziness assessment. Spectacular examples of considerations about this definition can be found in the works [5–9, 26].
Several proposals of fuzzy entropy measures are described in literature. These proposals can be roughly divided into two groups. In the first one we find the entropy measure, which was defined with the use of some specific functions variability. Introduction of these measures was justified only by the fact of fulfilling the conditions (11), (12), (14)and (17).
The second group consists of measures which are defined based on intuitive reasons. Those premises arise from a belief that the entropy measure should be treated as an assessment of a relationship between some sets.
Kaufmann [11] proposes to determine entropy measure as a distance between evaluated set and its nearest crisp set. In agreement with above suggestion and due to (8), the entropy measure is then given by the identity
Another proposition was given by Yager [26], who defined entropy measure as a degree of similarity between fuzzy set and its complement. Then, due to (8) and (9), the entropy measure is given by an identity
Kosko [14] proposed an entropy measure of
Let us consider once again the answer to the question: What does mean that a set “is less fuzzy than” some other? It is obvious that in accordance to [17] we can say that “
It is necessary to determine the logical relationship between the conditions (16) and (21).
This, together with the alternative commutativity, completes the proof. □
Comparison of conditions (16) and (22) shows that condition (21) is necessary only for the condition (16). It implies that replacing the condition (16) by condition (21) narrows the definition of entropy measure. Moreover, we have here:
This, together with the Lemma 1, completes the proof. □
Analysis stated above leads directly to a proposal of a new, more precise definition of entropy measure.
All of the entropy measures proposed by Kaufman [11], Yager [26] or Kosko [14] satisfy the condition (24). This pose as another argument for accepting Definition 3 as axiomatic definition of entropy measure.
It is worth mentioning that the sets A ∩ A C and A ∪ A C are, respectively, a W-empty set and a W-universe described in [20]. This observation may be a suggestion for further studies on entropy measurement.
For membership function
We define hesitation function
Value π
A
(x) indicates the degree of our hesitation in the assessment of a relationship between element
Let us consider
The hesitation function of abovementioned IFS identically fulfills the condition
This implies that the application of fuzzy sets in creating a real object model suggests an implicit acceptance of a strong assumption proclaiming, that we are always able to decide if each elementary state fulfills its requirements. However, as we know from everyday observations, usually they do not, and our considerations are burdened with a noticeable hesitation margin. This means that the class extension of fuzzy set to IFS expands the capabilities of a reliable description of imprecision.
For any
According to [2], for any IFS
Then we can extend the domain of the energy measure to the space
The energy measure
Moreover, we have: the Hamming’s distance the similarity degree the subsethood measure
The Definition 2 of entropy measure has been generalized to IFS case by Szmidt and Kacprzyk [22]. They have proposed the following definition.
The above mentioned definition is obtained as in Definition 3 with condition (16) generalized to
The Definition 4 is commonly considered as a theoretical model for fuzziness assessment of IFS. Some examples of this definition usage can be found in [7, 29].
On the other hand, we have:
The condition (39) is necessary only for the condition (38). It implies that replacing the condition (38) by (23) narrows the definition of entropy measure of IFS.
This leads directly to a proposal of a more detailed definition of entropy measure.
Let us consider any information described by IFS
Case study: Let be given any function
Among other things, for any
Both of these sets have identical membership functions. For hesitation function we obtain
On the other hand, for any for for
Estimations (*) and (**) show, that the pair of sets
It is also easy to see that A ⊂ B. Thus, according to (3), we have
Despite intuitively worse quality assessment of the information described by IFS A, we see that this information may be evaluated by more favorable values of quality indicators. Let us note that this conclusion was obtained for any energy measure and for any entropy measure determined by Definition 4. This conclusion can also be obtained in the situation when entropy measure is determined by a more precise Definition 5. In particular case of application of the energy measure determined by (4) or (5) or (6) or (7) we have d (A) < d (B) and e (A) < e (B). Thus, in each of these particular cases the quality of information reported by IFS A is higher than the quality of information described by the fuzzy set B. □
Results of the discussion above suggest that if information is described by IFS then its assessment should be used additionally third mapping characterizing undecidability of this information.
For IFS
The Burillo’s and Bustince’s definition of entropy measure is not equivalent to de Luca’s and Termini’s. The Burillo’s and Bustince’s one is used to measure undecidability, which is a phenomenon different from indistinctness measured by de Luca’s and Termini’s entropy measure. To emphasize these facts, any Burillo’s and Bustince’s entropy measure –will be referred to as an ignorance measure.
For any fuzzy subset
The starting point of our discussion was the space of fuzzy sets. The discussion outlined above is fully consistent with the intuitive understanding of the original Definition 1 presented by de Luca and Termini [16]. Definition 2, well known from the literature, was obtained from Definition 1 by replacing the relation “is less fuzzy than” (15) by an inequality (16) undecidability quantitative model of thisrelationship.
In this paper, meaning of the words “less fuzzy than” was reconsidered. Correspondingly, model (16) has been corrected. A new Definition 3 of entropy measure has been obtained from Definition 1 by replacing relation (15) with inclusion (23), which is, in fact, a corrected formal model of thisrelationship.
The inclusion (23) is a necessary condition only for inequality (16). This implies that the new Definition 3 of entropy measure is narrower than the old Definition 2.
In the next steps, our discussion was devoted to the case of intuitionistic fuzzy sets (IFS) space. The Definition 2 of entropy measure has been generalized to the case of IFS by Szmidt and Kacprzyk [22]. They have presented Definition 4 which has been obtained from the Definition 2 by generalizing the inequality (16) to the (37). On the other hand, the Definition 3 may be immediately generalized to the case of IFS space in a way that the domain of entropy measure is extended to IFS space. Definition 5 obtained in this way is narrower than the Definition 4, because of the inclusion (23) being a necessary condition for the inequality (37).
The entropy measure predefined by de Luca and Termini [16] may be applied for measurement of information indistinctness.
The entropy measure defined by Burillo and Bustince [4] may be applied for measurement of information undecidability. Therefore, this measure cannot replace the entropy measure proposed by de Luca and Termini.
An increase in the imprecision or in the undecidability significantly worsens the information quality. Thus, using vector-valued function (d (·) , e (·) , k (·)) allows for information quality management. Here, it is desirable to minimize the value of each coordinate. The more precise Definition 5 of entropy measure proposed in this paper should allow for improvement in the tools of such kind of management.
Footnotes
Acknowledgments
The project was financed by funds of National Science Center –Poland, granted based on the decision number DEC-2012/05/B/HS4/03543.
