Submit your research to the International Journal "Notes on Intuitionistic Fuzzy Sets". Contact us at nifs.journal@gmail.com

Call for Papers for the 27th International Conference on Intuitionistic Fuzzy Sets is now open!
Conference: 5–6 July 2024, Burgas, Bulgaria • EXTENDED DEADLINE for submissions: 15 APRIL 2024.

Intuitionistic fuzzy sets: Difference between revisions

From Ifigenia, the wiki for intuitionistic fuzzy sets and generalized nets
Jump to navigation Jump to search
m ({{stub}})
(informal definition in the lead // new empty sections)
Line 1: Line 1:
'''Intuitionistic fuzzy sets''' are sets whose elements have degrees of [[membership]] and [[non-membership]]. Intuitionistic fuzzy sets have been introduced by [[Krassimir Atanassov]] (1983) as an extension of [[Lotfi Zadeh]]'s notion of [[fuzzy set]], which itself extends the classical notion of a set.
* In [[classical set theory]], the membership of elements in a set is assessed in binary terms according to a bivalent condition — an element either belongs or does not belong to the set.
* As an extension, [[fuzzy set theory]] permits the gradual assessment of the membership of elements in a set; this is described with the aid of a membership function valued in the real unit interval [0, 1].
* The [[theory of intuitionistic fuzzy sets]] further extends both concepts by allowing the assessment of the elements by two functions: <math>\mu</math> for membership and <math>\nu</math> for non-membership, which belong to the real unit interval [0, 1] and whose sum belongs to the same interval, as well.
Intuitionistic fuzzy sets generalize fuzzy sets, since the indicator functions of fuzzy sets are special cases of the membership and non-membership functions <math>\mu</math> and <math>\nu</math> of intuitionistic fuzzy sets, in the case when the strict equality exists: <math>\nu = 1 - \mu</math>, i.e. the non-membership function fully complements the membership function to 1, not leaving room for any uncertainty.
== Formal definition ==
Let us have a fixed universe <math>E</math> and its subset <math>A</math>. The set  
Let us have a fixed universe <math>E</math> and its subset <math>A</math>. The set  


Line 14: Line 22:


Obviously, for every ordinary [[fuzzy set]] <math>A</math>: <math>\pi_A(x) = 0</math> for each <math>x \in E</math> and these sets have the form <math>\lbrace \langle  x, \mu_{A}(x), 1-\mu_{A}(x)\rangle  |x \in E \rbrace.</math>
Obviously, for every ordinary [[fuzzy set]] <math>A</math>: <math>\pi_A(x) = 0</math> for each <math>x \in E</math> and these sets have the form <math>\lbrace \langle  x, \mu_{A}(x), 1-\mu_{A}(x)\rangle  |x \in E \rbrace.</math>
== Properties of IFS ==
== Geometrical interpretations ==
== Relations with other concepts ==
== Applications of IFS ==
== History of IFS ==
== References ==


[[Category:Intuitionistic fuzzy sets]]
[[Category:Intuitionistic fuzzy sets]]
{{stub}}
{{stub}}

Revision as of 07:15, 21 October 2008

Intuitionistic fuzzy sets are sets whose elements have degrees of membership and non-membership. Intuitionistic fuzzy sets have been introduced by Krassimir Atanassov (1983) as an extension of Lotfi Zadeh's notion of fuzzy set, which itself extends the classical notion of a set.

  • In classical set theory, the membership of elements in a set is assessed in binary terms according to a bivalent condition — an element either belongs or does not belong to the set.
  • As an extension, fuzzy set theory permits the gradual assessment of the membership of elements in a set; this is described with the aid of a membership function valued in the real unit interval [0, 1].
  • The theory of intuitionistic fuzzy sets further extends both concepts by allowing the assessment of the elements by two functions: [math]\displaystyle{ \mu }[/math] for membership and [math]\displaystyle{ \nu }[/math] for non-membership, which belong to the real unit interval [0, 1] and whose sum belongs to the same interval, as well.

Intuitionistic fuzzy sets generalize fuzzy sets, since the indicator functions of fuzzy sets are special cases of the membership and non-membership functions [math]\displaystyle{ \mu }[/math] and [math]\displaystyle{ \nu }[/math] of intuitionistic fuzzy sets, in the case when the strict equality exists: [math]\displaystyle{ \nu = 1 - \mu }[/math], i.e. the non-membership function fully complements the membership function to 1, not leaving room for any uncertainty.

Formal definition

Let us have a fixed universe [math]\displaystyle{ E }[/math] and its subset [math]\displaystyle{ A }[/math]. The set

[math]\displaystyle{ A = \lbrace \langle x, \mu_A(x), \nu_A(x) \rangle \ | \ x \in E \rbrace }[/math]

where [math]\displaystyle{ 0 \leq \mu_A(x) + \nu_A(x) \leq 1 }[/math] is called intuitionistic fuzzy set.

Functions [math]\displaystyle{ \mu_A: E \to [0,1] }[/math] and [math]\displaystyle{ \nu_A: E \to [0,1] }[/math] represent degree of membership (validity, etc.) and non-membership (non-validity, etc.).

We can define also function [math]\displaystyle{ \pi_A: E \to [0,1] }[/math] through [math]\displaystyle{ \pi(x) = 1 - \mu (x) - \nu (x) }[/math] and it corresponds to degree of indeterminacy (uncertainty, etc.).

Obviously, for every ordinary fuzzy set [math]\displaystyle{ A }[/math]: [math]\displaystyle{ \pi_A(x) = 0 }[/math] for each [math]\displaystyle{ x \in E }[/math] and these sets have the form [math]\displaystyle{ \lbrace \langle x, \mu_{A}(x), 1-\mu_{A}(x)\rangle |x \in E \rbrace. }[/math]

Properties of IFS

Geometrical interpretations

Relations with other concepts

Applications of IFS

History of IFS

References

Ifigenia stub This article is a stub. You can help Ifigenia by expanding it.