 Research
 Open access
 Published:
Similarity in fuzzy systems
Journal of Uncertainty Analysis and Applications volumeÂ 2, ArticleÂ number:Â 18 (2014)
Abstract
This paper proposes to study the concept of similarity and its use in the design of fuzzy system. The concept of similarity relation is effectively used in fuzzification of crisp values. Similarity index is used in measuring approximate (graded) equality of fuzzy sets over a given universe of discourse. It is proposed to use such an index in modifying a fuzzy relation. Different similarity measures in the literature are elucidated, and a comparative study between different pairs of fuzzy sets is presented. One of these similarity measures has been used successfully in rule selection and modification of a fuzzy relation. In the process, a number of modification schemes based on different logic have been extensively studied for different reasoning mechanisms based on the same data and results are tabulated. A specificitybased approach to defuzzification is also presented, which is found to be suitable for similaritybased fuzzy systems. The results are illustrated with the behaviour of a direct current (DC) shunt motor.
Introduction
A system is defined as an integrated set of interacting elements/objects/components that accomplish a defined objective. Usually, the description of a system can be made at different levels of details. Any subsystem may, itself, be considered as a system consisting of subsystems at a lower level of detail. Human beings reason consistently from incomplete/imprecise knowledge of a system with reasonably good results. For instance, control is often exercise by a human operator who has the requisite skill to control the system successfully but cannot explain sufficiently well how he does it. Often, it becomes difficult to find even a mathematical model for the same. The tentative nature of human thinking involves frequently imprecise concepts (qualitative statements made on the inputoutput behaviour of such a system) which may not even have an underlying metric. Therefore, reasoning mechanisms should be modified to include provisions for handling such imprecisions in the system.
One may represent human expertise in the form of â€˜if statement1, then statement2'. This deductive form is commonly referred to as a rule  with statement1 as antecedent and statement2 as its consequence. A system, whose behaviour is described with a number of such rules, is referred to as a rulebased system. It expresses typically an inference in such a way that, with a known fact and a given rule, one can infer/derive a piece of information on the behaviour of the system which is referred to as the conclusion. This form of knowledge representation (processing) is found to be quite appropriate in expressing human understanding in a natural language of communication.
A collection of imprecise information given by human experts often forms the basis of a fuzzy system. The task of a fuzzy system is to exploit experts' knowledge and model the world with it. A fuzzy system reasons with its knowledge. A fuzzy rulebased system is one of the most important areas of research. It is a dominating platform for the development of a precise mathematical model for an imprecisely known system. Many believe that human beings take a similar approach to perceive the world around them in a robust way. In the real world, almost everything is incompletely defined. A fuzzy rulebased system is, therefore, expected to achieve a performance better than any crisp model in dealing with ambiguity, incompleteness and imprecision. A fuzzy rulebased system consists of a set of fuzzy IfTHEN rules together with an inference engine, a fuzzifier and a defuzzifier.
Different patterns of reasoning in human beings indicate a need for similarity matching in situations where there are no directly applicable knowledge to come up with a plausible conclusion. In such cases, the confidence in a conclusion may be determined, based on a degree of similarity between the fact(s) and the antecedent of a rule. In order to capture this, our model should have the required flexibility. Specifically, we need means to handle graded information on the one hand and the concept of similarity on the other hand. Conventional approximate reasoning does not consider the concept of similarity measure in deriving a consequence. Existing similaritybased reasoning methods modify the consequence of a rule based on a measure of similarity, thereby making the consequence independent of the conditionals. To satisfy both requirements simultaneously, we need to integrate conventional approximate reasoning and similaritybased reasoning for an adequate theory of similaritybased approximate reasoning.
The objectives of the paper are to study the different modules of a fuzzy system and to observe the role of similarity and subsequently the possibility of a stepbystep introduction of the concept of similarity into approximate reasoning methodology which forms its core.
A formal method of fuzzification is presented in this paper. A thorough exposition on the use of different translating rules is considered. The modification mechanism will be such that every change in the conditional (general) statement and in the fact is incorporated in the fuzzy relation between the variables defining the condition. This procedure ensures the deduction/inference as a function of the concerned change. The more the change, the less specific will be the conclusion. A proposal to formulate different schema for the modification of the conditional fuzzy relation is presented. This paper proposes to demonstrate how one can avoid the use of certainty factor concept for rule misfiring. We thus have to modify the inference mechanism in a way such that a significant change will make the conclusion less specific. This can be done if an expansion type of inference scheme is chosen. Explicitly, when the similarity value becomes low, i.e. when the change is significant, the reasoning process is such that the inference becomes unknown. At the same time, when there is no change, i.e. a perfectly matching case, it is possible to derive the expected consequence (the consequence of the condition in a rulebased system). In other cases, the consequence will be no better than what the condition allows. Different interesting results in this direction are discussed extensively. It seeks to show that the concept of specificity measure of fuzzy sets is inherent in such similaritybased approximate reasoning methodology. Examples are considered to demonstrate the computations under the procedure. A comparison of the result with other existing approaches to similaritybased reasoning and Zadeh's compositional rule of inference is also presented. Defuzzification, a basic operation, used in the development of fuzzy system is discussed in the light of new similaritybased approximate reasoning mechanism. A new scheme for defuzzification, suitable for similaritybased approximate reasoning, is defined. This defuzzification method will then be used in problems of classification, diagnosis and control. Simulation is performed with some real data and results are tabulated.
The paper consists of seven sections. The introductory section is followed by a discussion on the similarity relation which again is followed by a proposal for constructing such an equivalence relation induced by fuzzy sets and its subsequent use in fuzzification in the section â€˜Similarity relation  fuzzification'. Similarity measure of two fuzzy sets is considered in the section â€˜Similarity measure  inference'. Approximate reasoning is discussed in the context of similarity. Different schemes are presented and examples considered to illustrate the problem. The section â€˜Specificity measure  defuzzification' is devoted to defuzzification of fuzzy outputs. Specificity measure of fuzzy sets can be used to determine the anxiety in decision making. A new defuzzification scheme is defined that works on specificity measures of fuzzy sets. Application of the same in different models are presented in the section â€˜Application in different models' followed by result of a case study on a direct current (DC) shunt motor. The paper is concluded in the section â€˜Conclusions'. A list of references is provided in the last section.
Similarity relation  fuzzification
Similarity is an important concept for which a crisp model is often found to be inadequate. In [1], the authors showed that the notion of membership is a gradual property of fuzzy sets. They have considered a fuzzy equivalence relation to describe the similarity between elements of a fuzzy set. There, they showed how a crisp set induced a fuzzy set as its extensional hull with respect to a fuzzy equivalence relation. Assigning similarity modelled by a fuzzy equivalence relation as the basis, fuzzy sets were viewed as induced concept. Two elements cannot be distinguished by a fuzzy set if they are both either elements of the same set or its complement [2]. They have shown how membership functions of fuzzy sets can be calculated from the fuzzy equivalence relation as in the following:
Definition1.
A fuzzy equivalence relation (with respect to the conjunction operation âˆ—, here, a tnorm) on the set U is a mapping E:U Ã— U â†’ [0,1] satisfying
where [0,1] is the unit interval with the usual ordering. Sometimes, E is also called a similarity relation [1]. Contextually, some definitions and theorems cited in [1] are hereby recalled.
Definition2.
A fuzzy set A âˆˆ [0,1]^{U} is called extensional with respect to (w.r.t.) the fuzzy equivalence relation E on U if and only if Î¼_{ A }(u_{1})*E(u_{1}, u_{2}) â‰¤ Î¼_{ A }(u_{2}) holds for all u_{1}, u_{2}âˆˆU.
Definition3.
Let E be a fuzzy equivalence relation on U and let A âˆˆ [0,1]^{U}.
The fuzzy set \mathrm{\xc3\u201a}=\xe2\u02c6\copyright \left\{B\rightA\xe2\u0160\u2020B\phantom{\rule{2.77626pt}{0ex}}\text{and}\phantom{\rule{2.77626pt}{0ex}}B\phantom{\rule{2.77626pt}{0ex}}\text{is extensional w.r.t.}\phantom{\rule{2.77626pt}{0ex}}E\} is called the extensional hull of A w.r.t. E.
Theorem 1.
\mathrm{\xc3\u201a}=\xe2\u02c6\xaa\left\{{\mathrm{\xce\xbc}}_{A}\left({u}_{1}\right)*E\left({u}_{1},{u}_{2}\right)\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}{u}_{1},{u}_{2}\xe2\u02c6\u02c6U\right\}.
Theorem2.
Let âŠ†[0,1]^{U} be a collection of fuzzy sets and â†”:[0,1] Ã— [0,1] â†’ [0,1] be a biimplication. Then,
is the coarsest fuzzy equivalence relation on U such that all fuzzy sets in are extensional w.r.t. {E}_{\mathcal{F}}.
{E}_{\mathcal{F}} is reflexive, symmetric and satisfy transitivity relation. The fuzzy equivalence relation (1) can be interpreted in the following way  two elements â€˜cannot be distinguished by a (fuzzy) setâ€™ if they are both elements of the same set or its complement, but not one in the set and the other one in its complement. Thus, Î¼_{ A }(u_{1})â†”Î¼_{ A }(u_{2}) represents the degree to which the elements u_{1} and u_{2} cannot be distinguished by the fuzzy set A. Therefore, {E}_{\mathcal{F}}\left({u}_{1},{u}_{2}\right) is the degree to which u_{1} and u_{2} cannot be distinguished by the set of fuzzy sets.
We develop a new fuzzy equivalence relation on a universe of discourse U, which is generated by a family of fuzzy subsets of U. Accordingly, we define a fuzzy relation E as given below:
where n is the number of fuzzy sets.
Theorem3.
The fuzzy relation defined in (2) is a fuzzy equivalence relation.
From this fuzzy equivalence relation E(u_{1}, u_{2}), we can fuzzify any point â€˜aâ€™ on the universe of discourse U by setting
Observation: Î¼_{ a }(u_{1}) is extensional with respect to the fuzzy equivalence relation E as
Thus, given a fuzzy equivalence relation and a crisp point â€˜aâ€™, we can define (generate) a fuzzy set about the point â€˜aâ€™. This is called fuzzification and plays an important role in the design of fuzzy systems. We illustrates this fuzzification with the following algorithm.
Example1.
Let the domain set be U={0.0,0.1,0.2,0.3,0.4,â€¦,9.9,10.0}.
Let A_{ r } be the fuzzy sets corresponding the points r=0.0,0.5,1.0,1.5,â€¦,10.0, i.e. the set of fuzzy sets \left\{{\mathrm{\xce\xbc}}_{{A}_{i}}i\xe2\u02c6\u02c6R,\phantom{\rule{2.77626pt}{0ex}}\text{a finite index set}\right\} where
Now, a fuzzy equivalence relation induced by the fuzzy sets as given in Figure 1 and using the algorithm FUZZ is given in Figure 2.
Choosing Î´ = 5.0, we find the extensional hulls of the crisp values 5.0 and 7.5 with respect to this fuzzy equivalence relation are the fuzzy sets
Similarity measure  inference
The similarity between two objects suggests the degree to which the properties of one may be inferred from those of the other. In this section, we present some similarity measures that exist in the literature and their performances are studied. At the end, we investigate similaritybased fuzzy reasoning techniques with the best of these measures.
Similarity measure
A similarity matching degree can be defined from the distance functions according to the following: S(â€¢,â€¢)=1âˆ’d(â€¢,â€¢). The most important class of distance function is the Minkowskiâ€™s rmetric. Another important class of distance functions is given by the Hausdorff metric. It is a generalisation of the distance between two points in a metric space to two compact nonempty subsets of the space [3]. A set theoretic approach to a family of similarity functions can be given by S(A, B)=Î¸ f(Aâˆ©B)âˆ’Î± f(Aâˆ’B)âˆ’Î² f(Bâˆ’A) for some function f and parameters Î¸, Î±, Î² â‰¥ 0 [4].
Let us assume the universe of discourse U to be a finite set and A\phantom{\rule{1em}{0ex}}=\phantom{\rule{1em}{0ex}}\underset{u\xe2\u02c6\u02c6U}{\xce\pounds}\left\{{\mathrm{\xce\xbc}}_{A}\right(u)/u\},B\phantom{\rule{1em}{0ex}}=\phantom{\rule{1em}{0ex}}\underset{u\xe2\u02c6\u02c6U}{\xce\pounds}\left\{{\mathrm{\xce\xbc}}_{B}\right(u)/u\} be two fuzzy sets defined over U. A similarity index between the pair {A, B} is denoted as S(A, B;U) or simply S(A, B). In the following, a number of existing similarity measures are listed from the literature.

1.
\text{sim}1=1\xe2\u02c6\u2019{\left(\frac{{\mathrm{\xce\pounds}}_{u}\left{\mathrm{\xce\xbc}}_{A}\right(u)\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{B}(u){}^{q}}{n}\right)}^{\frac{1}{q}} [5], [6], where n is the cardinality of the universe of discourse and q is the family parameter.

2.
sim2 = 1 âˆ’ maxuâˆˆU(Î¼ _{ A }(u)âˆ’Î¼ _{ B }(u)) [7].

3.
\text{sim}3=1\xe2\u02c6\u2019\frac{{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}\left\left({\mathrm{\xce\xbc}}_{A}\left(u\right)\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)\right}{{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}\left({\mathrm{\xce\xbc}}_{A}\left(u\right)+{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)} [7].

4.
\text{sim}4=1\xe2\u02c6\u2019\frac{1}{n}{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}\left{\mathrm{\xce\xbc}}_{A}\right(u)\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{B}(u\left)\right [7].

5.
\text{sim}5=\frac{\underset{u\xe2\u02c6\u02c6U}{max}\left\{{\mathrm{\xce\xbc}}_{A}\left(u\right)\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{B}\left(u\right)\right\}}{\underset{u\xe2\u02c6\u02c6U}{max}\left\{max\left({\mathrm{\xce\xbc}}_{A}\left(u\right)\right),max\left({\mathrm{\xce\xbc}}_{B}\left(u\right)\right)\right\}} [6].

6.
\text{sim}6=\frac{max\left\{{\mathrm{\xce\xbc}}_{A}\left(u\right)\xe2\u20ac\xa2{\mathrm{\xce\xbc}}_{B}\left(u\right)\right\}}{max\left\{{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}{\mathrm{\xce\xbc}}_{A}^{2}\left(u\right),{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}{\mathrm{\xce\xbc}}_{B}^{2}\left(u\right)\right\}} [7].

7.
\text{sim}7=\frac{min\left({\mathrm{\xce\xbc}}_{A}\left(u\right),{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)}{max\left({\mathrm{\xce\xbc}}_{A}\left(u\right),{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)} [7].

8.
\text{sim}8=\frac{1}{n}{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}\frac{min\left({\mathrm{\xce\xbc}}_{A}\left(u\right),{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)}{max\left({\mathrm{\xce\xbc}}_{A}\left(u\right),{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)} [8].

9.
sim9= maxuâˆˆU{min(Î¼ _{ A }(u), Î¼ _{ B }(u))} [9].

10.
\text{sim}10=\frac{C(A,B)}{\sqrt{T\left(A\right),T\left(B\right)}} [8], where T\left(A\right)={\mathrm{\xce\pounds}}_{i=1}^{n}\left({\mathrm{\xce\xbc}}_{A}{\left({u}_{i}\right)}^{2}.{\left(1\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{A}\left({u}_{i}\right)\right)}^{2}\right),
C(A,B)={\mathrm{\xce\pounds}}_{i=1}^{n}\left\{{\mathrm{\xce\xbc}}_{A}\left({u}_{i}\right).{\mathrm{\xce\xbc}}_{B}\left({u}_{i}\right)+\left(1\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{A}\left({u}_{i}\right)\right).\left(1\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{B}\left({u}_{i}\right)\right)\right\}.

11.
sim11= min{Î±(A, B), Î±(A ^{c}, B ^{c})} [6],
where \mathrm{\xce\pm}(A,B)=\sqrt{\frac{{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}{\mathrm{\xce\xbc}}_{A}\left(u\right).{\mathrm{\xce\xbc}}_{B}\left(u\right)}{{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}{\left(max\left({\mathrm{\xce\xbc}}_{A}\left(u\right),{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)\right)}^{2}}}.

12.
\text{sim}12=\frac{1}{2}\left[(A\xe2\u2020\u201dB)+({A}^{\xe2\u20ac\xb2}\xe2\u2020\u201d{B}^{\xe2\u20ac\xb2})\right] [10], where A â†” B=(A â†’ B) â†’ (B â†’ A), A â€² = 1 âˆ’ A. âˆ§ being a conjunction operator and â†’ an implication operator. The above formula is equivalent to S(A,B)=\frac{1}{n}{\mathrm{\xce\pounds}}_{u\xe2\u02c6\u02c6U}\frac{1}{2}\left[\left({\mathrm{\xce\xbc}}_{A}\left(u\right)\xe2\u2020\u201d{\mathrm{\xce\xbc}}_{B}\left(u\right)\right)+\left({\mathrm{\xce\xbc}}_{{A}^{\xe2\u20ac\xb2}}\left(u\right)\xe2\u2020\u201d{\mathrm{\xce\xbc}}_{{B}^{\xe2\u20ac\xb2}}\left(u\right)\right)\right], where (Î¼ _{ A }(u)â†”Î¼ _{ B }(u))=(Î¼ _{ A }(u)â†’Î¼ _{ B }(u))âˆ§(Î¼ _{ B }(u)â†’Î¼ _{ A }(u)), n being the cardinality of the universal set U, and âˆ§ and â†’ are defined logically. Now, if we interpret the â†” implication operator as Î±â†”Î²=1âˆ’Î±âˆ’Î², then S(A,B)=1\xe2\u02c6\u2019\frac{1}{n}{\mathrm{\xce\pounds}}_{i=1}^{n}\left{\mathrm{\xce\xbc}}_{A}\right(u)\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{B}(u\left)\right.

13.
\text{sim}13=\frac{\text{card}\left({\mathrm{\xce\xbc}}_{A}\left(u\right)\xe2\u02c6\S {\mathrm{\xce\xbc}}_{B}\left(u\right)\right)}{\left(\right)separators="">max\left(\text{card}\left(A\right),\text{card}\left(B\right)\right)}\n

14.
\text{sim}14=\frac{\text{card}\left({\mathrm{\xce\xbc}}_{A}\left(u\right)\xe2\u02c6\S {\mathrm{\xce\xbc}}_{B}\left(u\right)\right)}{\left(\right)separators="">\text{card}\left(A\right)}\n

15.
\text{sim}15=\frac{\text{card}\left({\mathrm{\xce\xbc}}_{A}\left(u\right)\xe2\u02c6\S {\mathrm{\xce\xbc}}_{B}\left(u\right)\right)}{\left(\right)separators="">\text{card}\left(B\right)}\n

16.
\text{sim}16=min\left\{\frac{\text{card}(A\xe2\u02c6\copyright B)}{\text{card}\left(A\right)},\frac{\text{card}(A\xe2\u02c6\copyright B)}{\text{card}\left(B\right)}\right\}
A good working measure of similarity between two countable infinite fuzzy sets can be given as in the following:
S(A,B)=1\xe2\u02c6\u2019\underset{u\xe2\u02c6\u02c6U}{sup}\left{\mathrm{\xce\xbc}}_{A}\right(u)\xe2\u02c6\u2019{\mathrm{\xce\xbc}}_{B}(u\left)\right.(4)
It is easy to see that this can be an effective measure if we consider an infinite fuzzy set. But the problem in working with such a measure is that it gives importance to the sup operation only. The work in this regard can be found in [11].
Now, once a similarity index is defined  How can we compare this with other existing indices? How should we judge the goodness of such an index?
In this regard, the authors in [12],[13] have reviewed different similarity measures, as suggested in the literature in the general case and as adapted to fuzzy sets. They have also presented an experimental design for linguistic approximation and discussed at length the suitability of application of different measures of similarity [14].
In [8], the authors presented a comparative study on the basis of a set of axioms. They have also investigated some similarities and dissimilarities in performance.
All the similarity measures listed above satisfy the reflexivity, symmetry and boundedness property. These three properties are indispensable for any similarity measures [9]. In this regard, all measures are equally useful. Besides these three properties, similarity measures should also satisfy properties like computational simplicity, monotonicity and nondissimilarity. These are some desirable properties. Similarity measures based on the computation of overall sup as well as max between elements are such that they give more importance to a particular value and ignore the presence of others. Thus, two fuzzy sets are often found to be similar when they have the same sup and/or max. Of course, one can define two fuzzy sets to be similar as and when they have the same cardinality or they have the same support. This may work for mathematical theory construction. But in order to assist the decision maker in a reallife situation, the practical meaning of similarity concept is of vital importance. We are considering those indices that play a crucial role in the theory of fuzzy reasoning. This demands similarity measures based on separate membership degrees of each concept.
Next, let us consider the similarity measure defined in (4). In order to illustrate the drawback underlying it, let us consider a simple case as in the following:
Even in such an almost similar pair of fuzzy sets, it is found that the similarity index is 0, showing thereby that they are completely dissimilar. Now, it can safely be concluded that it is practically impossible to single out one possible similarity measure that works well for all purpose.
In the following, we present an axiomatic definition of similarity between fuzzy sets, defined over the same universe of discourse. Some important deductions are also provided to illustrate the proposed measureâ€™s soundness. In order to provide a definition for similarity index, a number of factors must be considered. A primary consideration is that whatever way we choose to define such an index, it must satisfy the properties as already mentioned. Similarity measures are, in general, found to be nontransitive.
Under these circumstances, a similarity measure S(A, B) should satisfy the following properties:
For all fuzzy sets A, B:
P1. S(B, A) = S(A, B).
P2. S(A^{c}, B^{c})=S(A, B), A^{c} being some negation of A.
P3. 0 â‰¤ S(A, B)â‰¤1.
P4. A = B if and only if S(A, B) = 1.
P5. If S(A, B)= 0, then either Aâˆ©B = Î¦ (null) or A^{c}âˆ©B^{c}=Î¦, or B=1âˆ’A.
For 0 â‰¤ Ïµ â‰¤ 1, if S(A, B)â‰¥Ïµ, we say that the two fuzzy sets A and B are Ïµsimilar. Thus, the case for Ïµ=1 correspond to equality of fuzzy sets. There could be many functions satisfying properties P1 through P5. One such measure of similarity satisfying properties P1 through P5 is given next.
Definition4.
Let A\phantom{\rule{1em}{0ex}}=\phantom{\rule{1em}{0ex}}\underset{u\xe2\u02c6\u02c6U}{\xce\pounds}{\mathrm{\xce\xbc}}_{A}\left(u\right)/u and B\phantom{\rule{1em}{0ex}}=\phantom{\rule{1em}{0ex}}\underset{u\xe2\u02c6\u02c6U}{\xce\pounds}{\mathrm{\xce\xbc}}_{B}\left(u\right)/u be two fuzzy sets defined over the same universe of discourse U. The similarity index of the pair {A, B} is denoted by S(A, B) and is defined by
where n is the cardinality of the universe of discourse and qâ‰¥ 1 is the family parameter.
Theorem4.
If S(A, B) = 1 and S(B, C) = 1, then S(A, C) = 1.
Theorem5.
For all fuzzy sets A, B, C, if either AâŠ†BâŠ†C or AâŠ‡BâŠ‡C, then S(A, C) â‰¤ min{S(A, B), S(B, C)}.
Theorem 5 motivates us to consider the property of monotonicity of similarity between fuzzy sets to satisfy another axiom for some kind of monotonicity. So, we are now in a position to rewrite the axioms for similarity measure as in the following.
For all fuzzy sets A, B and C defined over the universe of discourse U, we have:
A1. S(B, A) = S(A, B).
A2. S(A^{c}, B^{c})=S(A, B), A^{c} being some negation of A.
A3. 0 â‰¤ S(A, B) â‰¤ 1.
A4. A = B if and only if S(A, B) = 1.
A5. S(A, B)=0 if and only if Aâˆ©B = Î¦.
A6. If A âŠ‡ B âŠ‡ C, then S(A, B)â‰¥S(A, C).
Here, we note that A^{c}, the complement of a fuzzy set A, is to be defined first. We used the idea of â€˜1â€™ as the complementation. On the basis of the above axioms, it is easy to see that the family of similarity measures defined in Definition 4 is a valid choice. All the measures satisfy axioms A1, A3, A4 and A5 for either identical or nonoverlapping fuzzy sets.
Thus, we find that the similarity between fuzzy sets can be captured by aggregating the distinguishability between membership values of each element in the corresponding fuzzy sets. The similarity index between two fuzzy sets is a pure number and does not give any information about the inclusion. This explains why these measures are not transitive, in general. Let us tabulate the performance of different measures in the following.
Performance of different similarity measures
In this subsection, we observe six cases (Figures 3, 4, 5, 6, 7 and 8), where each case compares two fuzzy sets in consideration. Also, for each case, 16 similarity measures mentioned earlier are calculated. A performance chart of various similarity measures are given in Table 1.
Approximate reasoning
Approximate reasoning is defined as the process or processes by which an approximate conclusion can be deduced from a set of possibly imprecise information using some inexact rule for the derivation. Since its inception in 1973, significant theoretical advances have established approximate reasoning as an important field of research. Different techniques of approximate reasoning have been proposed and discussed in the literature.
Zadehâ€™s [15] concept of approximate reasoning is based on fuzzy logic and the theory of fuzzy sets. In order to have an adequate understanding of the theory of approximate reasoning in this paper, some basic concepts are considered. The concept of linguistic variable plays an essential role in the theory of approximate reasoning. It is a tool for approximate characterisation of the values of the variables and their interrelations. For example, the height of a person may be short, the volume of a container may be huge, the code section of some programme may be tiny, two numbers may be approximately equal and so on. Zadeh [16] called such variables  linguistic variables.
The two basic inference rules considered for approximate reasoning based on fuzzy sets and fuzzy relations are the compositional rule of inference and the generalised modus ponens.

1.
max mincomposition. From â€˜X is Aâ€™ and â€˜ (X, Y) is Râ€™ infer â€˜Y is Bâ€™, where {\mathrm{\xce\xbc}}_{B}\left(y\right)=\underset{x}{max}min\left({\mathrm{\xce\xbc}}_{A}\left(x\right),{\mathrm{\xce\xbc}}_{R}(x,y)\right).

2.
Generalised modus ponens. From â€˜X is A ^{*}â€™ and â€˜if X is A, then Y is Bâ€™ infer â€˜Y is B^{*}â€™, where {\mathrm{\xce\xbc}}_{{B}^{*}}\left(y\right)=\underset{x}{sup}\left({\mathrm{\xce\xbc}}_{{A}^{*}}\right(x)\xe2\u2014\u2039({\mathrm{\xce\xbc}}_{A}\left(x\right)\xe2\u2020\u2019{\mathrm{\xce\xbc}}_{B}\left(y\right)\left)\right), â—‹ and â†’ may have different interpretation.
Many fuzzy systems are based on Zadehâ€™s compositional rule of inference [17]. Despite their success in various systems, researchers have indicated certain drawbacks [18] in the technique.
As for example, let U={u_{1}, u_{2}, u_{3}, u_{4}} and V={v_{1}, v_{2}, v_{3}, v_{4}} be the universes of discourse, A=1.0/u_{1}+0.75/u_{2}+0.5/u_{3}+0.25/u_{4} and
Then, taking T= min and using compositional rule of inference (CRI), we find B=1.00/v_{1},0.75/v_{2},0.75/v_{3}+0.50/v_{4}. This shows that the linguistic variables X and Y are approximately equal. A careful scrutiny of the relation also says so. The conclusion B will remain the same if we choose A=1.0/u_{1}+0.75/u_{3}+0.50/u_{4}, which is highly dissimilar to A. Next, if we take A=1.0/u_{1}, then from R we have B=1.00/v_{1}+0.75/v_{2}+0.50/v_{3}+0.25/v_{4}; again, if we take A=1.0/u_{4}, then B=0.25/u_{1}+0.50/u_{2}+0.75/u_{3}+1.00/u_{4}. This shows that even if the input values are strongly complementary to each other, significant conclusions can be drawn using Zadehâ€™s CRI.
This motivates the introduction of similaritybased reasoning techniques as proposed in [1823].
Similaritybased approximate reasoning
To begin with, in this section, we will look at the different methods of inference based on a similarity measure. In [18],[24][26], the authors proposed a similaritybased method called â€˜approximate analogical reasoning schemaâ€™. The method is applicable to both pointvalued and intervalvalued fuzzy sets. In [19], the author proposed two similar methods for medical diagnosis problems. Two other methods based on different modification procedures have been proposed in [27]. In the framework of existing approaches to similaritybased inference methodology, recently, in [21], the authors proposed two other similaritybased methods for reasoning and made a comparative study of the above similaritybased fuzzy reasoning methods.
In all these studies, it is proposed that similaritybased fuzzy reasoning methods do not require the construction of a fuzzy relation. Accordingly, they are based on the computation of the degree of similarity between the fact and the antecedent of a rule in a rulebased system. Then, based on the similarity value between the membership values of the elements of the fuzzy set representation of the fact and the corresponding fuzzy set in the antecedent of the rule, the membership value of each element of the consequent fuzzy set of the rule is modified to obtain a conclusion. This is the same for all existing similaritybased reasoning schemes. The modification procedure is different for different schemes.
We proposed two similaritybased approximate reasoning methods. One such method is a modification of the method presented in [18] and the other is a modification of Zadehâ€™s compositional rule of inference. In the proposed methods, for inference in a rulebased system, the conditional rule is first expressed as a fuzzy binary relation. In translation, we prefer to use triangular norms for a better understanding. New facts are then used to compute the similarity between the fact and the antecedent of the rule to modify the above fuzzy binary relation and not the consequence of the rule as applied in the existing similaritybased reasoning techniques. The modification is based on a measure of similarity following some scheme to be presented. The result can be interpreted as the induced fuzzy binary relation. The inference is computed from the induced fuzzy binary relation using the wellknown sup operation.
The above scheme is used in formulating different models (rulebased and resolutionbased). We will provide simple numerical examples for a better understanding of the proposed schemes.
In similaritybased approximate reasoning scheme, we see that from a given fact, the desired conclusion is derived using only a measure of similarity between the fact and the antecedent in a rulebased system. In some cases, a threshold value Ï„ is associated with a rule. If the degree of similarity, between the antecedent of the rule and the given fact, exceeds the real value of Ï„, associated with the rule under consideration, only then is that rule assumed to be fired. The conclusion is derived using some modification procedure.
As an illustration, let us consider the two premises as in Table 2.
Here, A and Aâ€² are fuzzy sets defined over the same universe of discourse U={u_{1}, u_{2},â‹¯, u_{ m }} and B, Bâ€² are defined over the universe of discourse V={v_{1}, v_{2},â‹¯, v_{ n }}. Let S(A, Aâ€²) denote some measure of similarity between two fuzzy sets A and Aâ€². In the existing techniques, if S(A, Aâ€²)>Ï„, then the rule will be fired and the consequent of the rule is modified to produce the desired conclusion. Based on the change of membership grade of the consequent, two types of modification procedures can be proposed as in [18],[28]  expansiontype inference and reductiontype inference.
Let {B}^{\xe2\u20ac\xb2}=\underset{i=1}{\overset{n}{\xce\pounds}}\left\{{\mathrm{\xce\xbc}}_{{B}^{\xe2\u20ac\xb2}}\right({v}_{i})/{v}_{i}\} and s = s(S(A, B), Ï„).
Expansion form: {\mathrm{\xce\xbc}}_{{B}^{\xe2\u20ac\xb2}}\left({v}_{i}\right)=min(1,{\mathrm{\xce\xbc}}_{B}({v}_{i})/s). Reduction form: {\mathrm{\xce\xbc}}_{{B}^{\xe2\u20ac\xb2}}\left({v}_{i}\right)=\left({\mathrm{\xce\xbc}}_{B}\right({v}_{i}\left)\mathrm{.s}\right).
The methods proposed in [19],[29] use the threshold value, a confidence factor and the reduction form of inference without providing any argument as to the choice of modification procedure. In one of them [19], each fuzzy set is first conceived as an mcomponent vector, and then the concept of vector dot product is used for finding the similarity. If S(A, Aâ€²) â‰¥ Ï„, the predefined threshold value, then the rule will be fired and strength of confirmation is calculated by S(A, Aâ€²).Î¼, where Î¼ is the membership value associated with the rule. In the other method [29], the author used weights with each propositions for the calculation of similarity. The procedure for the computation of the conclusion remains the same.
In [27], the authors used the value of certainty factor associated with the rules in the modification procedure. The inference is based on the number of propositions in the antecedent of the rule(s) as also the operator(s) connecting them. In each case, the inference is one of expansion type. In [21], they have also presented two more modification procedures and claimed for two new fuzzy reasoning methods. One modification is based on Zadehâ€™s inclusion and cardinality measure and the other on equality and cardinality measure. Other operations remain almost identical.
Proposed method
In this section, we show how conclusions can be obtained from the given premises with the help of such a similarity measure. Let X, Y be two linguistic variables and let U, V respectively denote the universes of discourse. Two typical propositions p and q are given, and we like to derive a conclusion according to similaritybased inference. The scheme can be best described in Table 2.
Let U={u_{1}, u_{2},â‹¯, u_{ l }}, V={v_{1}, v_{2},â‹¯, v_{ m }} denote the respective universe of discourse of the linguistic variables X and Y. Let fuzzy sets A, Aâ€² and B in Table 2 be defined as
All the existing methods [18],[20],[21],[27] use the similarity measure for a direct computation of inference without considering the induced relation, i.e. how the underlying relation (a condition) is modified in the presence of the given fact. This is important in deriving a consequence of the fact from the rule. Consequently, those methods provide the same conclusion, if A and Aâ€² are interchanged in the propositions concerned. Thus, if p, q and pâ€², qâ€² be defined as in the following:
(i) p : if X is A, then Y is B, Ï„ and q : X is Aâ€²;
(ii) p : if X is Aâ€², then Y is B, Ï„ and q : X is A,
then both (i) and (ii) will produce the same conclusion which is not appealing. This happens because the conclusion is derived by a modification of the consequent of the rule. It should be noted here that this is not the case with Zadehâ€™s compositional rule of inference. Another notable fact is that we need to consider the threshold or certainty factor in order to tackle the problem of rule misfiring.
The first drawback can be eliminated if we consider the interpretation of the relational operator present in the conditional premise, as is done in executing compositional rule of inference. It is easy to verify that for a class of nested fuzzy sets, each different from the other, the consequence of a rule using CRI becomes the same. We seek a reasoning system which should be such that every change in the concept(s) as appears in the antecedent of the rule and that in the fact should be incorporated in the induced relation between the variables defining a rule, in this case, X and Y. Only then the inference will be influenced by the change concerned.
In order to avoid the use of certainty factor for rule misfiring, we modify the inference scheme in such a way that a significant change will make the conclusion less specific. This is done if an expansion type of inference scheme be chosen. Here, the â€˜UNKNOWNâ€™ case, i.e. the fuzzy set Bâ€²=V, can be taken as the limit. Explicitly, when the similarity value becomes low, i.e when A and Aâ€² differ significantly, the reasoning process should be such that the only inference be Bâ€²=V. As Aâ€²=A, we expect that Bâ€²=B. This, in turn, implies that nothing better than what the rule says should be allowed as a valid conclusion.
Schema
In view of the above observations, we propose a similaritybased inference method for deriving the consequence r. We first generate the fuzzy relation between the antecedent variable(s) and the consequent variable as done in executing CRI. We then compute the absolute change in linguistic labels, represented as fuzzy sets, and systematically propagate the same into the conditional relation in order to obtain the induced modified conditional relation. From this induced modified relation, a possible conclusion can be drawn using the sup operation. The scheme for computation can be presented in the following algorithm.
Scheme C1. The first scheme C1 is based on a concept similar (but NOT identical) to the method proposed in [18]. We may recall here that the authors computed the conclusion Bâ€²= min(1, B/s), where s is the measure of similarity between fuzzy sets A and Aâ€² without considering the information suggested by the conditional rule. Here, we propose to modify the conditional relation according to (7).
The difference between the proposed scheme from the one presented in [18] can be noted easily. It is clear that the proposed scheme, unlike the schemes in [18],[20], does not produce the same conclusion when A and Aâ€² are interchanged. It is not difficult to see that in (7), if s â‰¤ r_{u, v} for some vâˆˆV, then râ€²_{u, v} becomes equal to 1. This makes the membership of that v in the resultant fuzzy set equal to one. This scheme, although a heuristic one, is intuitively a plausible scheme. Our next scheme C2 for computation of R(Aâ€²A, B) is based on a set of axioms.
Scheme C2. We believe that in a similaritybased reasoning methodology, a scheme for computation of the induced relation, when a fact and a conditional statement is given, should satisfy the following axioms:
A1. If S(A, Aâ€²)= 1, i.e. if Aâ€²=A, then {\mathrm{\xce\xbc}}_{R\left({A}^{\xe2\u20ac\xb2}\rightA,B)}(u,v)={\mathrm{\xce\xbc}}_{R(A,B)}(u,v),\xe2\u02c6\u20ac(u,v)\xe2\u02c6\u02c6U\xc3\u2014\mathrm{V.}
A2. If S(A, Aâ€²)= 0, i.e. if Aâ€²âˆ©A = Î¦, then {\mathrm{\xce\xbc}}_{R({A}^{\xe2\u20ac\xb2}\xe2\u02c6\copyright A,B)}=1\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\xe2\u02c6\u20ac(u,v)\xe2\u02c6\u02c6U\xc3\u2014\mathrm{V.}
A3. As S(A, Aâ€²) increase from 0 to 1, {\mathrm{\xce\xbc}}_{R\left({A}^{\xe2\u20ac\xb2}\rightA,B)}(u,v) decreases uniformly from 1 to Î¼_{R(A, B)}(u, v);âˆ€(u, v) âˆˆ U Ã— V.
Axiom A1 asserts that we should not modify the conditional relation as and when Aâ€² and A remain equal. Axiom A2 asserts that when Aâ€² is completely dissimilar to A, i.e. Aâ€² and A have disjoint support, we should not conclude specifically. In such a situation, anything is possible. A3 says that as the fact Aâ€² changes from the most dissimilar case (similarity value 0) to the most similar one (similarity value 1), the inferred conclusion should change from the most nonspecific case, i.e. the UNKNOWN case (Bâ€²=V) to the most specific case, i.e. Bâ€²=B. This, in turn, means that whatever Aâ€² be, R(Aâ€²A, B) âŠ‡ R(A, B), i.e. the induced relation should not be more specific than what is given as a condition.
For notational simplicity, let us denote S(A, Aâ€²) by s and {R}_{{A}^{\xe2\u20ac\xb2}A,B} by râ€². Now, axiom A3 uniquely suggest a function of the form
These two constants can be determined from the conditions already prescribed in axiom A1 and axiom A2. More explicitly, when s=1, we know that râ€² = r (from axiom A1), and when s=0, we know that râ€² = 1 (from axiom A2). This gives, râ€² = 1âˆ’(1âˆ’r).s as our new scheme for the modification of the conditional relational.
Therefore, axiom A1 through axiom A3 uniquely suggest the scheme C2 as
From (7) and (8), we observe that when S(A, Aâ€²)=0 we have Bâ€²=V. In other words, it is impossible to conclude anything when {A, Aâ€²} are completely dissimilar. Again, when S(A, Aâ€²) is close to unity, then R(Aâ€²A, B) is close to R(A, B) and the inferred fuzzy set Bâ€² will be close to B, i.e. S(B, Bâ€²) is close to unity. Axiom A3 also suggests that a small change in the input produces a small change in the output. In this sense, the above mechanism of inference is stable. As in the previous case, in (8), if either S(A, Aâ€²)=0 or Î¼_{R(A, B)}=1, then râ€²_{u, v} becomes equal to 1.
Let us see how the above scheme can be modified to handle the concept of threshold associated with a rule in a natural manner. Let Ï„ be the threshold associated with the rule. For that, we are to modify axiom A2 according to the following:
A4. If S(A, Aâ€²) â‰¤ Ï„, then {\mathrm{\xce\xbc}}_{R\left({A}^{\xe2\u20ac\xb2}\rightA,B)}=1\phantom{\rule{1em}{0ex}}\phantom{\rule{1em}{0ex}}\xe2\u02c6\u20ac(u,v)\xe2\u02c6\u02c6U\xc3\u2014\mathrm{V.} Accordingly, simple calculations as before resulted in the following {\mathrm{\xce\xbc}}_{R\left({A}^{\xe2\u20ac\xb2}\rightA,B)}=min\left[1,\left(1\left(1{\mathrm{\xce\xbc}}_{R(A,B)}\right).\frac{s\mathrm{\xcf\u201e}}{1\mathrm{\xcf\u201e}}\right)\right] as the general scheme for relation membership modification. The case Ï„=0 corresponds to the scheme presented in (8). This scheme ensures that with all fuzzy sets Aâ€² having similarity value S(A, Aâ€²) less or equal to the threshold value Ï„, the inference Bâ€² using (7) will be â€˜UNKNOWNâ€™.
Let A be a normal fuzzy set. If we assume that the translating rule used in generating the conditional relation is one of the tnorm types, then, as is already proposed, a basic and desirable result of the inferred proposition nothing better than what the rule says can be concluded can be established as in the following. For that, let us consider the model as in Table 2. For all A, Aâ€², the following proposition is valid.
Theorem 6.
A few translation rules are presented in Table 3, and the corresponding rules for modification of relations are presented in Table 4, based on the interpretation of the â†’ operators in the formula (s â†’ Î¼_{ R }), where s is the similarity measure between A and Aâ€², i.e. s = S(A, Aâ€²). They can be categorised into groups  expansiontype modifier and reductiontype modifier. For the first class, {\mathrm{\xce\xbc}}_{{R}^{\xe2\u20ac\xb2}}\xe2\u2030\yen {\mathrm{\xce\xbc}}_{R} âˆ€(u, v)ÏµU Ã— V, and that for the second class, {\mathrm{\xce\xbc}}_{{R}^{\xe2\u20ac\xb2}}\xe2\u2030\xa4{\mathrm{\xce\xbc}}_{R} âˆ€(u, v)ÏµU Ã— V.
A few examples of translating rules for a simple conditional statement is presented in Table 3. Each rule actually identifies a fuzzy relation. With input, these relations are modified using schemes presented in Table 4. The effects of different translating rules and modification procedures are presented in Table 5, which shows that for identical matching as in Figure 9, the output of rule firing is consistent if we choose tnorm and rimplication for translation.
For distinct A, Aâ€² as in Figure 10, the result of rule firing is shown in Table 6. In this case, also, the performance of translating rules is satisfactory for tnorm (R_{7}, R_{8}, R_{9}) as well as rimplication (R_{4}, R_{5}, R_{6}), and modification rules mr1, mr2 and mr3, respectively. Simulation study reveals the modification procedure mr2 is consistent. An output fuzzy set Bâ€² is shown in Figure 11, using the modification scheme mr1 in Table 6.
With the above understanding of similaritybased reasoning methodology, let us now propose another module of a fuzzy system  defuzzification.
Specificity measure  defuzzification
The result of rule firing, using any of the abovementioned approaches to inference, is a fuzzy set. This is interpreted at the semantic level as the desired output. Often, we need to determine a precise action as output. The purpose of defuzzification is to obtain a scalar value u Ïµ U, from the said output fuzzy set, as the action. Then, if necessary, denormalisation is performed on the output so as to obtain the corresponding action on its physical domain.
Specificity measure of fuzzy set estimates the precision of an information represented by the fuzzy set rather than an estimate of its fuzziness which is measured by the entropy of the fuzzy set. In order to provide a definition for any specificity index, a number of factors must be considered. A fuzzy set with maximum specificity value corresponds to a precise assessment of the values of a variable. In trying to capture the form of the specificity index, a number of properties are required or desirable.
According to Dubois and Prade, a specificity measure Sp(A) [31] should satisfy the following properties. Let X be a linguistic variable defined on a universe of discourse U. A and B are normalised fuzzy subsets of U.
P1. âˆ€A âŠ† U,Sp(A) Ïµ [0,1].
P2. Sp(A)=1 if and only if A is a singleton of S.
P3. If A âŠ† B, then Sp(A) â‰¥ Sp(B).
Yager [32] introduced one such measure of specificity that satisfies the above properties. When U is finite, Yager proposed an expression for defining the specificity. Let us assume that A be a fuzzy set defined over the universal set U and A_{ Î± } be the Î±level set of A. The specificity associated with A is denoted as Sp(A) and is defined as
Let us now list some properties [32] associated with the above definition.
For all A, Sp(A) assumes its maximum value 1, when A={1/u} for some particular u Ïµ U.
For all A, Sp(A)Ïµ[0,1] and it assumes its minimum value 0, when A = Î¦.
If, for all A, Î¼_{ A }(u)=k for all u Ïµ U, then \text{Sp}\left(A\right)=\frac{k}{n} where n is the cardinality of the ordinary set U.
Defuzzification is a procedure applied to reduce the anxiety in a decision. Accordingly, we propose a new technique for defuzzification based on a measure of precision. Let there be m clipped fuzzy sets {A^{(k)};k=1,2,â‹¯, m} and let {s_{(k)}, p^{(k)};k=1,2,â‹¯, m} be the specificity associated with A^{(k)} as well as the peak of the consequent fuzzy set of the k th rule. Then, the defuzzified value u^{*} will be given by
The height method of defuzzification demands strictly convex fuzzy sets. The individual peak values of consequent fuzzy sets of the fired rules are used to generate the weighted average of these peak values. It is a simple method and works faster than the centre of sums method. Let p^{(k)} be the peak value of A^{(k)} and h^{(k)} be the corresponding height of the clipped version of A^{(k)}. Then, the defuzzified value will be given by
Specificity, height and peak values are sometimes used simultaneously to compute defuzzified value. Here, we propose a method for the defuzzification of fuzzy sets as in the following:
Example2.
In this example, we consider two fuzzy sets as given in Figure 12 and corresponding clipped fuzzy sets in Figure 13. From these sets, we compute the defuzzified value of the fuzzy sets using the methods of defuzzification as given in (10), (11) and (12), respectively.
Sp(A^{(1)})=0.175, Sp(A^{(2)})=0.275; p^{(1)}=3, p^{(2)}=4 and h^{(1)}=0.6, h^{(2)}=0.8.
From (10), (11) and (12), we get u^{*}=3.61, u^{*}=3.57 and u^{*}=3.67.
We apply these three types of defuzzification methods in our fuzzy systems.
Application in different models
Let us consider a generalised model as presented in Table 7. This form of reasoning is used in rulebased fuzzy systems. In particular, it is used in pattern classification and fuzzy control. Let there be n linguistic variables associated with another linguistic variable Y according to the following m fuzzy rules. The problem is to find the linguistic value of the variable Y as suggested by the rules, when the values of the n variables are given.
Under the conventional technique, for each rule, the consequent fuzzy set is calculated according to existing method of inference as already described, and then the union of all consequent fuzzy sets is taken as the conclusion which is then defuzzified, if necessary, using some defuzzification scheme. In similaritybased reasoning, this cannot be done. Here, the membership values computed from the modified induced relation becomes less and less specific as the similarity between the facts and antecedent of a rule decreases. In conventional practice, the membership values of various elements become equal to the maximum, making it an ambiguous one (more alternatives with similar membership values at the positive level) with the reduction of the firing strength (used in deriving a conclusion), but the membership values at which the ambiguity occurs become less than one. For example, in case of Mamdani type of reasoning, if the firing strength of a rule is say 0.3, then all alternatives which have membership values greater than or equal to 0.3 take membership values of 0.3. On the other hand, in the present case, if the similarity value is 0.3, then the membership values of elements in the inferred fuzzy set will be at least 0.3. Moreover, the elements having membership value greater than or equal to 0.3 in the consequent of the rule will be equal to one in the consequent fuzzy set. This means that with decrease in similarity the computed membership values increase and ultimately move close to the least specific case (with membership values of 1 for all alternatives). For this reason, we propose a new scheme, for computing the final conclusion, based on a measure of similarity. Our method is based on rule selection and then rule execution. In both cases, we use the concept of similarity between fuzzy sets as a basis of the task. For that, first of all, we compute S(A_{ ij }, A_{ i });i=1,2,â‹¯, m. Then, we perform the same operation for different j=1,2,â‹¯, n. Let s_{ ij } denote the different similarity values. We next compute the overall rule matching index from the above data as
From among the m distinct rules, we choose those rules for which s^{i}>Ïµ. This Ïµ can be interpreted as a threshold in our case. We then apply the algorithm SEAR to generate a conclusion from each rule conformal for firing. The output can be generated using the intersection of fuzzy sets. It is important to note that the intersection operation is chosen in order to justify the rule selection procedure. Here, fewer rules are fired and the output of each rule is significant.
To compute Bâ€² as in Table 7, we apply the following algorithm.
In the process, we find a conceptual change in similaritybased inference mechanism. A closer look at the connection between the proposed schemes and the existing schemes allows us to conclude that our schemes can be thought of as an integration of Zadehâ€™s compositional rule of inference and similaritybased inference schemes. Such a scheme is expected to produce efficiency in inference mechanisms.
A case study on DC shunt motor
In this section, let us consider the DC shunt motor in Figure 14 as investigated in [33]. From the measurement of the current value I, the rotating speed value N in steady states was determined by N = f(I).
Human experts observed the behaviour of the DC shunt motor and described the relation between current and speed in the form of fuzzy conditional statements as in the following, where I is the linguistic variable representing the motor current and N is the linguistic variable representing the motor rotations.
Let the domain set for the variable I be U={0.0,0.1,0.2,0.3,0.4,â‹¯,9.9,10.0}. Let A_{1}, A_{2}, A_{3}, A_{4},â‹¯, A_{21} be the fuzzy sets corresponding the points 0.0,0.5,1.0,1.5,â‹¯,10.0. Let V={400,410,420,â‹¯,1,990,2,000} be the universe of discourse of the linguistic variable N. Let B_{1}, B_{2},â‹¯, B_{17} be the fuzzy sets corresponding the points 400,500,600,â‹¯,2,000. Now, we describe the behaviour of the motor (the specific relation between current and speed) using fuzzy rules as in Table 8.
The data for the fuzzy model is given in Table 9, and the corresponding real static curve is given in Figure 15.
For a particular observed value of current expressed in natural language, we first translate the inexact concepts into fuzzy sets (the simple observation) or fuzzy relations (the complex rule) over the specified universe of discourse using triangular membership functions. We then perform approximate reasoning to obtain the corresponding speed of the DC motor using the algorithm SAR.
The defuzzified input/output are plotted for a comparative assessment of the utility of the proposed similaritybased approximate reasoning methodology. The simulation results are presented in the following selfexplanatory diagrams given in Figure 16.
Conclusions
Developing intelligent systems becomes necessary to handle modern computerbased technologies managing different kinds of information and knowledge. This paper discusses a theory to help provide solutions to difficult problems in the construction of intelligent systems in which the available information is supplied by human experts which at times are found incomplete, imprecise or even uncertain in nature and therefore inherently ambiguous. It is hoped that by upgrading existing methodologies through addition of concepts and techniques drawn from the fuzzy set theory opens the door to a substantial enhancement of our ability to model reality. In the process, we have developed a mechanism to compute the matching degree of two fuzzy sets  representation of imprecise concepts (e.g. low speed and very low speed of a DC motor).
It has been shown that the concept of similarity is inherent in approximate reasoning methodology. Different problems arising out of the use of existing compositional rule of inference as well as similaritybased reasoning have been discussed with suitable examples. Different functions used to measure the similarity between two inexact concepts are reviewed. We have proposed axioms to compute the similarity between two fuzzy sets and appropriately introduced the concept in approximate reasoning methodology. It may be argued that the proposed similaritybased approximate reasoning technique is a combination of Zadehâ€™s compositional rule of inference and Turksenâ€™s similaritybased reasoning. It is shown that this method is a more general characterisation of similaritybased approximate reasoning, and Turksenâ€™s method is a special case of the proposed method.
We have suggested relevant issues involved in the design of fuzzy systems  introduced similarity in reasoning, similarity relation in fuzzification and the concept of specificity measure in defuzzification. The concept of similarity is effectively used in system control. It is hoped that the introduction of the specificitybased defuzzification technique will prove to be a powerful technique in qualitative control. Further research on the use of similaritybased approximate reasoning is necessary for a better understanding of the effect of the same on the cognitive process involved in qualitative modelling and simulation. Similaritybased reasoning is a basic mode of inference in fuzzy logic in a wide sense that provides a basis for formalisation of commonsense reasoning and a nonad hoc computational framework for combining and deriving evidence in expert systems. Similaritybased approximate reasoning may be popularised because of the scope of its applications in wide and challenging fields of investigation.
References
Klawonn F, Castro JL: Similarity in fuzzy reasoning. Mathware Soft Comput 1995, 2: 336â€“350.
Valverde L: On the structure of Findistinguishability operators. Fuzzy Set. Syst 1985, 17(3):313â€“328. doi:10.1016/0165â€“0114(85)90096X
BouchonMeunier B, Rifqi M, Bothorel S: Towards general measures of comparison of objects. Fuzzy Set. Syst 1996, 84(2):143â€“153. 10.1016/01650114(96)00067X
Tversky A: Features of similarity. Psychol. Rev 1977, 84: 327â€“352. 10.1037/0033295X.84.4.327
Mondal B, Mazumdar D, Raha S: Similarity in approximate reasoning. Int. J. Comput. Cogn 2006, 4(3):46â€“56.
Raha S, Pal NR, Ray KS: Similarity based approximate reasoning: methodology and application. IEEE Trans. Syst. Man Cybern. Syst. Hum 2002, 32(4):541â€“547. 10.1109/TSMCA.2002.804787
Pappis C, Karacapilidis N: A comparative assessment of measures of similarity of fuzzy values. Fuzzy Set. Syst 1993, 56: 171â€“174. 10.1016/01650114(93)901414
Wang WJ: New similarity measures on fuzzy sets and on elements. Fuzzy Set. Syst 1997, 85: 305â€“309. 10.1016/01650114(95)003657
Kwang HL, Song YS, Lee KM: Similarity measure between fuzzy sets and between elements. Fuzzy Set. Syst 1994, 62: 291â€“293. 10.1016/01650114(94)901139
Pedrycz W: Neurocomputations in relational systems. IEEE Trans. Pattern Anal. Mach. Intell 1991, 13(1):287â€“297.
Hong DH, Hwang SY: A note on the value similarity of fuzzy systems variables. Fuzzy Set. Syst 1994, 66: 383â€“386. 10.1016/01650114(94)901074
Zwick R, Carlstein E, Budescu DV: Measures of similarity among fuzzy concepts: a comparative analysis. Inter. J. App. Reas 1987, 1: 221â€“242. 10.1016/0888613X(87)900156
Lesot MJ, Rifqi M, Benhada H: Similarity measures for binary and numerical data: a survey. Int. J. Knowl. Eng. Soft Data Paradigms 2009, 1(1):63â€“84. 10.1504/IJKESDP.2009.021985
BouchonMenuier, B, Rifqi, M, Lesot, MJ: Similarities in fuzzy data mining: from a cognitive view to realworld applications. In: Zurada, JM, Yen, GG, Wang, J (eds.)Computational Intelligence: Research Frontiers. Lecture Notes in Computer Science, vol. 5050, pp. 349367. Springer, Berlin (2008).
Zadeh, LA: A theory of approximate reasoning. In: Hayes, J, Michie, D, Mikulich, LI (eds.)Machine Intelligence vol. 9, pp. 149194. Elsevier, New York (1979).
Zadeh LA: The concept of a linguistic variable and its application to approximate reasoning I, II. Inf. Sci 1975, 8: 199â€“249301357. 10.1016/00200255(75)900365
Zadeh LA: Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans. SMC 1973, 3: 28â€“44.
Turksen IB, Zhong Z: An approximate analogical reasoning approach based on similarity measures. IEEE Trans. SMC 1988, 18(6):1049â€“1056.
Chen SM: A new approach to handling fuzzy decision making problems. IEEE Trans. SMC 1988, 18: 1012â€“1016.
Tsang, FCC, Lee, JWT, Yeung, DS: Similaritybased fuzzy reasoning methods for fuzzy production rules. In: Proc. Sixth IFSA World Congress, pp. 157160, Sao Paolo (2228 July 1995).
Yeung DS, Tsang ECC: A comparative study on similaritybased fuzzy reasoning methods. IEEE Trans. SMC  Part B: Cyber 1997, 27(2):216â€“227.
Esteva F, Garcia P, Godo L, Rodrigue R: A modal account of similaritybased reasoning. Int. J. Approximate Reas 1997, 16(34):235â€“260. 10.1016/S0888613X(96)001260
Esteva, F, Garcia, P, Godo, L, Rupsini, E, Valverde, L: On similarity logic and the generalised modus ponens. In: Proceedings of the Third IEEE Conference on Fuzzy Systems, vol. 2, pp. 14231427, Orlando (2629 June 1994).
BouchonMenuier, B, Valverde, L: Analogy relations and inference. In: Proceedings of the Second IEEE International Conference on Fuzzy Systems, vol. 2, pp. 11401144, San Francisco (28 Mar1 Apr 1993).
BouchonMenuier B, Valverde L: A fuzzy approach to analogical reasoning. Soft Comput 1999, 3(3):141â€“147. 10.1007/s005000050062
BouchonMenuier, B, Delechamp, J, Marsala, C, Rifqi, M: Several forms of fuzzy analogical reasoning. In: Proceedings of 6th IEEE International Conference on Fuzzy Systems, FUZZIEEEâ€™97, vol. 1, pp. 4550, Barcelona (15 July 1997).
Yeung DS, Tsang ECC: Improved fuzzy knowledge representation and rule evaluation using fuzzy petri nets and degree of subsethoods. Intell. Syst 1994, 9(12):1083â€“1100.
Turksen IB, Tian Y: Combination of rules or their consequences in fuzzy expert systems. Fuzzy set. Syst 1993, 58(1):3â€“40. 10.1016/01650114(93)90319D
Chen SM: A weighted fuzzy reasoning algorithm for medical diagnosis. Decis. Support Syst 1994, 11: 37â€“43. 10.1016/01679236(94)900639
Raha S, Hossain A, Ghosh S: Similarity based approximate reasoning: fuzzy control. J. Appl. Logic 2008, 6(1):47â€“71. 10.1016/j.jal.2007.01.001
Dubois D, Prade H: A note on measures of specificity for fuzzy sets. Int. J. Gen Syst 1985, 10: 279â€“283. 10.1080/03081078508934893
Yager RR: Measuring tranquility and anxiety in decision making: an application of fuzzy sets. Int. J. Gen Syst 1982, 8: 139â€“146. 10.1080/03081078208547443
Goralczany, MB, Kiszka, JB, Stachowicz, MS: Some problems of studying adequacy of fuzzy models. In: Yager, RR (ed.)Fuzzy Set and Possibility Theory, pp. 1431. Pergamon Press, New York (1982).
Acknowledgements
This research has been partially supported by the UGC SAP (DRS) PhaseII project under the Department of Mathematics, VisvaBharati and the UGC funded major research project titled â€˜Role of similarity in approximate reasoningâ€™.
Author information
Authors and Affiliations
Corresponding author
Authorsâ€™ original submitted files for images
Below are the links to the authorsâ€™ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Pal, A., Mondal, B., Bhattacharyya, N. et al. Similarity in fuzzy systems. J. Uncertain. Anal. Appl. 2, 18 (2014). https://doi.org/10.1186/s4046701400180
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4046701400180