Intuitionistic fuzzy sets - Revision history

Vassia Atanassova at 01:39, 9 September 2022

2022-09-09T01:39:27Z

← Older revision		Revision as of 04:39, 9 September 2022
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.		'''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.		* 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].		* 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.		* 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.		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.

Peter Vassilev at 13:02, 7 October 2015

2015-10-07T13:02:02Z

← Older revision		Revision as of 16:02, 7 October 2015
Line 44:		Line 44:

	== See also ==		== See also ==
	* For the paper from 1986, see [[Issue:Intuitionistic fuzzy sets]]		* For the paper from 1986, see [[Issue:Intuitionistic fuzzy sets\|Intuitionistic fuzzy sets]]
	* For the book from 1999, see [[Intuitionistic Fuzzy Sets: Theory and Applications]]		* For the book from 1999, see [[Intuitionistic Fuzzy Sets: Theory and Applications]]

Peter Vassilev: /* Operations, relations, operators */

2014-05-09T10:08:28Z

Operations, relations, operators

← Older revision		Revision as of 13:08, 9 May 2014
Line 23:		Line 23:
	For every two intuitionistic fuzzy sets <math>A</math> and <math>B</math> various [[Relations over intuitionistic fuzzy sets\|relations]] and [[Operations over intuitionistic fuzzy sets\|operations]] have been defined, most important of which are:		For every two intuitionistic fuzzy sets <math>A</math> and <math>B</math> various [[Relations over intuitionistic fuzzy sets\|relations]] and [[Operations over intuitionistic fuzzy sets\|operations]] have been defined, most important of which are:

	* Inclusion: <math> A \subset B \ \ \ iff \ \ \ (\forall x \in E)(\mu_A(x) \le \mu_B(x) \ \& \ \nu_A(x) \ge \nu_B(x)) </math> , <math> A \supset B \ \ \ iff \ \ \ B \subset A </math>		* Inclusion: <math> A \subset B \ \ \ \text{iff} \ \ \ (\forall x \in E)(\mu_A(x) \le \mu_B(x) \ \& \ \nu_A(x) \ge \nu_B(x)) </math> , <math> A \supset B \ \ \ \text{iff} \ \ \ B \subset A </math>

	* Equality: <math>A = B \ \ \ iff \ \ \ (\forall x \in E)(\mu_A(x) = \mu_B(x) \ \& \ \nu_A(x) = \nu_B(x)) </math>		* Equality: <math>A = B \ \ \ \text{iff}\ \ \ (\forall x \in E)(\mu_A(x) = \mu_B(x) \ \& \ \nu_A(x) = \nu_B(x)) </math>

	* Classical negation: <math>\overline{A} = \lbrace \langle x, \nu_A(x), \mu_A(x) \rangle \ \| \ x \in E \rbrace</math>		* Classical negation: <math>\overline{A} = \lbrace \langle x, \nu_A(x), \mu_A(x) \rangle \ \| \ x \in E \rbrace</math>

	* Conjuncion: <math>A \cap B = \lbrace \langle x, min(\mu_A(x), \mu_B(x)), max(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>		* Conjuncion: <math>A \cap B = \lbrace \langle x, \min(\mu_A(x), \mu_B(x)), \max(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>

	* Disjunction: <math>A \cup B = \lbrace \langle x, max(\mu_A(x), \mu_B(x)), min(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>		* Disjunction: <math>A \cup B = \lbrace \langle x, \max(\mu_A(x), \mu_B(x)), \min(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>

	These operations and relations are defined similarly to these from the fuzzy set theory. More interesting are the modal [[Operators over intuitionistic fuzzy sets\|operators that can be defined over intuitionistic fuzzy sets]]. These have no analogue in fuzzy set theory.		These operations and relations are defined similarly to these from the fuzzy set theory. More interesting are the modal [[Operators over intuitionistic fuzzy sets\|operators that can be defined over intuitionistic fuzzy sets]]. These have no analogue in fuzzy set theory.

Vassia Atanassova: Revision as of 10:17, 16 August 2009

2009-10-22T07:32:05Z

Revision as of 10:17, 16 August 2009

← Older revision		Revision as of 10:32, 22 October 2009
Line 1:		Line 1:
	~~eP6yS3~~ <a ~~href~~="~~http~~:/~~/byjuahovskip~~.~~com~~/">~~byjuahovskip~~</a>, [~~url=http~~://~~ecfgmskdzpnm~~.~~com/~~]~~ecfgmskdzpnm~~[/~~url~~], [~~link~~=~~http:~~//~~pbepdacjdddx~~.~~com~~/]~~pbepdacjdddx~~[/~~link]~~, ~~http~~://~~xzztyydjscny~~.~~com~~/		'''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 '''''E'''''. Let '''''A''''' be a subset of '''''E'''''. Let us construct the set
			<div align="center"><math>A^* = \lbrace \langle x, \mu_A(x), \nu_A(x) \rangle \ \| \ x \in E \rbrace</math></div>
			where <math>0 \leq \mu_A(x) + \nu_A(x) \leq 1</math>. We will call the set '''''A*''''' '''intuitionistic fuzzy set''' (IFS).

			In the publications on IFS authors mainly deal with the concept of intuitionistic fuzzy set '''''A''''' rather then with fixed set '''''A'''''. This is why, for the sake of simplicity, major publications presenting the very definition of the concept often use notation '''''A''''' instead of '''''A'''''.<ref>Paper [[Issue:Intuitionistic fuzzy sets\|"Intuitionistic Fuzzy Sets"]], Krassimir T. Atanassov, [[Fuzzy Sets and Systems]], North-Holland, Volume 20 (1986), pages 87-96, ISSN 0165-0114</ref><ref>Book [[Intuitionistic Fuzzy Sets: Theory and Applications\|"Intuitionistic Fuzzy Sets"]], Krassimir T. Atanassov, Series "Studies in Fuzziness and Soft Computing", Volume 35, Springer Physica-Verlag, 1999, ISBN 3-7908-1228-5</ref> Mathematically, a more precise definition of the IFS is the following:
			<div align="center"><math>A^* = \lbrace \langle x, \mu_A(x), \nu_A(x) \rangle \ \| \ x \in E \ \& \ 0 \leq \mu_A(x) + \nu_A(x) \leq 1 \rbrace</math></div>
			but it is also more complex one and never used, as of 2008.<ref>"25 years intuitionistic fuzzy sets, or: The most significant results and mistakes of mine", Krassimir Atanassov, [[International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets/2008\|Int. Workshop on IFS and GN]], 17 Oct. 2008 ([[Media:7IWIFSGN-Atanassov.pdf\|presentation]], publication in press)</ref>

			Functions <math>\mu_A: E \to [0,1]</math> and <math>\nu_A: E \to [0,1]</math> represent degree of [[membership]] (validity, etc.) and [[non-membership]] (non-validity, etc.). Also defined is function <math>\pi_A: E \to [0,1]</math> through <math>\pi(x) = 1 - \mu (x) - \nu (x)</math>, corresponding to the degree of [[uncertainty\|uncertainty (indeterminacy, etc.)]]

			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 ==
			== Operations, relations, operators ==
			For every two intuitionistic fuzzy sets <math>A</math> and <math>B</math> various [[Relations over intuitionistic fuzzy sets\|relations]] and [[Operations over intuitionistic fuzzy sets\|operations]] have been defined, most important of which are:

			* Inclusion: <math> A \subset B \ \ \ iff \ \ \ (\forall x \in E)(\mu_A(x) \le \mu_B(x) \ \& \ \nu_A(x) \ge \nu_B(x)) </math> , <math> A \supset B \ \ \ iff \ \ \ B \subset A </math>

			* Equality: <math>A = B \ \ \ iff \ \ \ (\forall x \in E)(\mu_A(x) = \mu_B(x) \ \& \ \nu_A(x) = \nu_B(x)) </math>

			* Classical negation: <math>\overline{A} = \lbrace \langle x, \nu_A(x), \mu_A(x) \rangle \ \| \ x \in E \rbrace</math>

			* Conjuncion: <math>A \cap B = \lbrace \langle x, min(\mu_A(x), \mu_B(x)), max(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>

			* Disjunction: <math>A \cup B = \lbrace \langle x, max(\mu_A(x), \mu_B(x)), min(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>

			These operations and relations are defined similarly to these from the fuzzy set theory. More interesting are the modal [[Operators over intuitionistic fuzzy sets\|operators that can be defined over intuitionistic fuzzy sets]]. These have no analogue in fuzzy set theory.

			== Geometrical interpretations ==

			== Relations with other concepts ==

			== Applications of IFS ==

			== History of IFS ==

			== See also ==
			* For the paper from 1986, see [[Issue:Intuitionistic fuzzy sets]]
			* For the book from 1999, see [[Intuitionistic Fuzzy Sets: Theory and Applications]]

			== References ==
			<references />

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

66.17.177.171: przMhUwxPgasIYvHpzT

2009-10-21T10:26:50Z

przMhUwxPgasIYvHpzT

← Older revision		Revision as of 13:26, 21 October 2009
Line 1:		Line 1:
	~~NUTg5p~~ <a href="http://~~mwlqerbdvrwt~~.com/">~~mwlqerbdvrwt~~</a>, [url=http://~~gsagzisldisk~~.com/]~~gsagzisldisk~~[/url], [link=http://~~xpwqmrkuxwqz~~.com/]~~xpwqmrkuxwqz~~[/link], http://~~aoicjcjeunfn~~.com/		eP6yS3 <a href="http://byjuahovskip.com/">byjuahovskip</a>, [url=http://ecfgmskdzpnm.com/]ecfgmskdzpnm[/url], [link=http://pbepdacjdddx.com/]pbepdacjdddx[/link], http://xzztyydjscny.com/

84.52.123.19: BKabCLbRtUwxwkEgg

2009-10-21T10:19:35Z

BKabCLbRtUwxwkEgg

← Older revision		Revision as of 13:19, 21 October 2009
Line 1:		Line 1:
	~~jIQKVm~~ <a href="http://~~tfaslywrxacl~~.com/">~~tfaslywrxacl~~</a>, [url=http://~~cqgzqkcjozxv~~.com/]~~cqgzqkcjozxv~~[/url], [link=http://~~egjvdqpkrgfk~~.com/]~~egjvdqpkrgfk~~[/link], http://~~dfrfwpozhlfs~~.com/		NUTg5p <a href="http://mwlqerbdvrwt.com/">mwlqerbdvrwt</a>, [url=http://gsagzisldisk.com/]gsagzisldisk[/url], [link=http://xpwqmrkuxwqz.com/]xpwqmrkuxwqz[/link], http://aoicjcjeunfn.com/

194.85.242.62: drrqHyzYQGza

2009-10-21T10:16:43Z

drrqHyzYQGza

← Older revision		Revision as of 13:16, 21 October 2009
Line 1:		Line 1:
	~~w7gTmX~~ <a href="http://~~glnvotnahtim~~.com/">~~glnvotnahtim~~</a>, [url=http://~~pwndtcitftvn~~.com/]~~pwndtcitftvn~~[/url], [link=http://~~szmnrcovyvav~~.com/]~~szmnrcovyvav~~[/link], http://~~arwydoxokdvo~~.com/		jIQKVm <a href="http://tfaslywrxacl.com/">tfaslywrxacl</a>, [url=http://cqgzqkcjozxv.com/]cqgzqkcjozxv[/url], [link=http://egjvdqpkrgfk.com/]egjvdqpkrgfk[/link], http://dfrfwpozhlfs.com/

204.62.8.253: sFgZHfzjKp

2009-10-21T10:09:39Z

sFgZHfzjKp

← Older revision		Revision as of 13:09, 21 October 2009
Line 1:		Line 1:
	~~c5dXEs~~ <a href="http://~~coppypsstuzv~~.com/">~~coppypsstuzv~~</a>, [url=http://~~snzbssakfsyb~~.com/]~~snzbssakfsyb~~[/url], [link=http://~~vulupigeohkt~~.com/]~~vulupigeohkt~~[/link], http://~~qknfyjxyazll~~.com/		w7gTmX <a href="http://glnvotnahtim.com/">glnvotnahtim</a>, [url=http://pwndtcitftvn.com/]pwndtcitftvn[/url], [link=http://szmnrcovyvav.com/]szmnrcovyvav[/link], http://arwydoxokdvo.com/

202.12.73.8: EslrqaJDFTqB

2009-10-21T09:55:43Z

EslrqaJDFTqB

← Older revision		Revision as of 12:55, 21 October 2009
Line 1:		Line 1:
	~~ct2D1E~~ <a href="http://~~qjlrmejgmplo~~.com/">~~qjlrmejgmplo~~</a>, [url=http://~~bsjcfbhrideh~~.com/]~~bsjcfbhrideh~~[/url], [link=http://~~zewmobjmtkor~~.com/]~~zewmobjmtkor~~[/link], http://~~baankzyiqlxo~~.com/		c5dXEs <a href="http://coppypsstuzv.com/">coppypsstuzv</a>, [url=http://snzbssakfsyb.com/]snzbssakfsyb[/url], [link=http://vulupigeohkt.com/]vulupigeohkt[/link], http://qknfyjxyazll.com/

222.124.199.111: UKTTErdLqIHYw

2009-10-21T09:53:41Z

UKTTErdLqIHYw

← Older revision		Revision as of 12:53, 21 October 2009
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.		ct2D1E <a href="http://qjlrmejgmplo.com/">qjlrmejgmplo</a>, [url=http://bsjcfbhrideh.com/]bsjcfbhrideh[/url], [link=http://zewmobjmtkor.com/]zewmobjmtkor[/link], http://baankzyiqlxo.com/
	* 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.

	~~LrpaAf <a href="http://arqnvsydaipw.com/">arqnvsydaipw</a>, [url=http://ocevdnnssdkl.com/]ocevdnnssdkl[/url], [link=http://dvsoqcebjzxu.com/]dvsoqcebjzxu[/link], http://tvcknxjhnilt.com/~~

	~~== Properties of IFS ==~~
	~~kPNqXk~~ <a href="http://~~ilqgjeizpeio~~.com/">~~ilqgjeizpeio~~</a>, [url=http://~~kcuhacfdcddk~~.com/]~~kcuhacfdcddk~~[/url], [link=http://~~tdswbnhguzra~~.com/]~~tdswbnhguzra~~[/link], http://~~ggkwbsfuefsx~~.com/

	~~== Geometrical interpretations ==~~

	~~JcpPpX <a href="http://hswsvgbhesvq.com/">hswsvgbhesvq</a>, [url=http://fnjaeflpmpyo.com/]fnjaeflpmpyo[/url], [link=http://jfkxczljhmhf.com/]jfkxczljhmhf[/link], http://wkdilbiwvvfa.com/~~

	~~== Applications of IFS ==~~

	~~== History of IFS ==~~

	~~== See also ==~~
	* For the paper from 1986, see [[Issue:Intuitionistic fuzzy sets]]
	* For the book from 1999, see [[Intuitionistic Fuzzy Sets: Theory and Applications]]

	~~== References ==~~
	~~<references />~~

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

← Older revision		Revision as of 13:08, 9 May 2014
Line 23:		Line 23:
	For every two intuitionistic fuzzy sets <math>A</math> and <math>B</math> various [[Relations over intuitionistic fuzzy sets\|relations]] and [[Operations over intuitionistic fuzzy sets\|operations]] have been defined, most important of which are:		For every two intuitionistic fuzzy sets <math>A</math> and <math>B</math> various [[Relations over intuitionistic fuzzy sets\|relations]] and [[Operations over intuitionistic fuzzy sets\|operations]] have been defined, most important of which are:

	* Inclusion: <math> A \subset B \ \ \ iff \ \ \ (\forall x \in E)(\mu_A(x) \le \mu_B(x) \ \& \ \nu_A(x) \ge \nu_B(x)) </math> , <math> A \supset B \ \ \ iff \ \ \ B \subset A </math>		* Inclusion: <math> A \subset B \ \ \ \text{iff} \ \ \ (\forall x \in E)(\mu_A(x) \le \mu_B(x) \ \& \ \nu_A(x) \ge \nu_B(x)) </math> , <math> A \supset B \ \ \ \text{iff} \ \ \ B \subset A </math>

	* Equality: <math>A = B \ \ \ iff \ \ \ (\forall x \in E)(\mu_A(x) = \mu_B(x) \ \& \ \nu_A(x) = \nu_B(x)) </math>		* Equality: <math>A = B \ \ \ \text{iff}\ \ \ (\forall x \in E)(\mu_A(x) = \mu_B(x) \ \& \ \nu_A(x) = \nu_B(x)) </math>

	* Classical negation: <math>\overline{A} = \lbrace \langle x, \nu_A(x), \mu_A(x) \rangle \ \| \ x \in E \rbrace</math>		* Classical negation: <math>\overline{A} = \lbrace \langle x, \nu_A(x), \mu_A(x) \rangle \ \| \ x \in E \rbrace</math>

	* Conjuncion: <math>A \cap B = \lbrace \langle x, min(\mu_A(x), \mu_B(x)), max(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>		* Conjuncion: <math>A \cap B = \lbrace \langle x, \min(\mu_A(x), \mu_B(x)), \max(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>

	* Disjunction: <math>A \cup B = \lbrace \langle x, max(\mu_A(x), \mu_B(x)), min(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>		* Disjunction: <math>A \cup B = \lbrace \langle x, \max(\mu_A(x), \mu_B(x)), \min(\nu_A(x), \nu_B(X)) \rangle \ \| \ x \in E \rbrace</math>

	These operations and relations are defined similarly to these from the fuzzy set theory. More interesting are the modal [[Operators over intuitionistic fuzzy sets\|operators that can be defined over intuitionistic fuzzy sets]]. These have no analogue in fuzzy set theory.		These operations and relations are defined similarly to these from the fuzzy set theory. More interesting are the modal [[Operators over intuitionistic fuzzy sets\|operators that can be defined over intuitionistic fuzzy sets]]. These have no analogue in fuzzy set theory.