अस्पष्ट समुच्चय (फजी सेट): Difference between revisions
(Created page with "{{Short description|Sets whose elements have degrees of membership}} गणित में, अस्पष्ट सेट (उर्फ अनिश्चित सेट)...") |
No edit summary |
||
(11 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Sets whose elements have degrees of membership}} | {{Short description|Sets whose elements have degrees of membership}} | ||
गणित में, अस्पष्ट | गणित में, '''अस्पष्ट समुच्चय''' (उर्फ '''अनिश्चित समुच्चय''') [[सेट (गणित)|समुच्चय (गणित)]] होते हैं जिनके [[तत्व (गणित)]] में सदस्यता की डिग्री होती है। 1965 में समुच्चय की चिरसम्मत धारणा के विस्तार के रूप में लोत्फी आस्कर ज़ादेह लोत्फी ए. ज़ादेह द्वारा स्वतंत्र रूप से अस्पष्ट समुच्चय पेश किए गए थे।<ref>L. A. Zadeh (1965) [http://www.cs.berkeley.edu/~zadeh/papers/Fuzzy%20Sets-Information%20and%20Control-1965.pdf "Fuzzy sets"] {{Webarchive|url=https://web.archive.org/web/20150813153834/http://www.cs.berkeley.edu/~zadeh/papers/Fuzzy%20Sets-Information%20and%20Control-1965.pdf |date=2015-08-13 }}. ''Information and Control'' 8 (3) 338–353.</ref><ref>Klaua, D. (1965) Über einen Ansatz zur mehrwertigen Mengenlehre. Monatsb. Deutsch. Akad. Wiss. Berlin 7, 859–876. A recent in-depth analysis of this paper has been provided by {{Cite journal | last1 = Gottwald | first1 = S. | title = An early approach toward graded identity and graded membership in set theory | doi = 10.1016/j.fss.2009.12.005 | journal = Fuzzy Sets and Systems | volume = 161 | issue = 18 | pages = 2369–2379 | year = 2010 }}</ref> एक ही समय पर, {{harvtxt|Salii|1965}} ने ''L''-रिलेशन, एल-रिलेशन नामक एक अधिक सामान्य प्रकार की संरचना को परिभाषित किया, जिसका अध्ययन उन्होंने एक [[सार बीजगणित]]ीय संदर्भ में किया है। अस्पष्ट संबंध, जो अब अस्पष्ट गणित में उपयोग किए जाते हैं और भाषाविज्ञान जैसे क्षेत्रों में अनुप्रयोग हैं {{harv|डी कॉक,|बोडेनहोफर और|केरे|2000}}, [[निर्णय लेना]] {{harv|कुज़्मिन|1982}}, और [[क्लस्टर विश्लेषण]] {{harv|बेजड़ेक|1978}}, ''L''-रिलेशन के विशेष परिस्त्थियाँ हैं जब ''L'' [[इकाई अंतराल]] [0, 1] है। | ||
एक ही समय पर, {{harvtxt|Salii|1965}} ने | |||
चिरसम्मत [[ समुच्चय सिद्धान्त ]] में, एक समुच्चय में तत्वों की सदस्यता का मूल्यांकन बायवैलेंस के सिद्धांत के अनुसार बाइनरी शब्दों में किया जाता है - तत्व या तो समुच्चय से संबंधित है या नहीं है। इसके विपरीत, अस्पष्ट समुच्चय सिद्धांत एक समुच्चय में तत्वों की सदस्यता के क्रमिक मूल्यांकन की अनुमति देता है; यह [[वास्तविक संख्या]] इकाई अंतराल [0, 1] में मूल्यवान मेम्बरशिप फंक्शन (गणित) की सहायता से वर्णित है। अस्पष्ट समुच्चय चिरसम्मत समुच्चय का सामान्यीकरण करते हैं, क्योंकि चिरसम्मत समुच्चय के [[सूचक समारोह|मेम्बरशिप फंक्शन]] (उर्फ विशेषता फ़ंक्शन) अस्पष्ट समुच्चय के मेम्बरशिप फंक्शन के विशेष परिस्थिति होते हैं, यदि बाद वाला केवल मान 0 या 1 लेता है।<ref name=":0">D. Dubois and H. Prade (1988) Fuzzy Sets and Systems. Academic Press, New York.</ref> अस्पष्ट समुच्चय थ्योरी में, चिरसम्मत बाइवेलेंट समुच्चय को सामान्यतः ''क्रिस्प समुच्चय'' कहा जाता है। अस्पष्ट समुच्चय सिद्धांत का उपयोग डोमेन की एक विस्तृत श्रृंखला में किया जा सकता है जिसमें जानकारी अधूरी या गलत है, जैसे जैव सूचना विज्ञान है।<ref>{{Cite journal | doi=10.1186/1471-2105-7-S4-S7| pmid=17217525| pmc=1780132| title=FM-test: A fuzzy-set-theory-based approach to differential gene expression data analysis| journal=BMC Bioinformatics| volume=7| pages=S7| year=2006| last1=Liang| first1=Lily R.| last2=Lu| first2=Shiyong| last3=Wang| first3=Xuena| last4=Lu| first4=Yi| last5=Mandal| first5=Vinay| last6=Patacsil| first6=Dorrelyn| last7=Kumar| first7=Deepak| issue=Suppl 4}}</ref> | |||
== परिभाषा == | == परिभाषा == | ||
अस्पष्ट समुच्चय एक जोड़ी है <math>(U, m)</math> जहाँ <math>U</math> एक समुच्चय है (प्रायः [[खाली सेट|नॉन -एम्प्टी समुच्चय]] और <math>m\colon U \rightarrow [0,1]</math> एक [[सूचक समारोह|मेम्बरशिप फंक्शन]] होना आवश्यक है। संदर्भ समुच्चय <math>U</math> (कभी-कभी द्वारा निरूपित किया जाता है <math>\Omega</math> या <math>X</math>) '''यूनिवर्स ऑफ़ डिस्कोर्स''' कहा जाता है, और प्रत्येक के लिए <math>x\in U,</math> मूल्य <math>m(x)</math> की सदस्यता का '''ग्रेड''' कहा जाता है <math>x</math> में <math>(U,m)</math>.कार्यक्रम <math>m = \mu_A</math> अस्पष्ट समुच्चय का [[सूचक समारोह|मेम्बरशिप फंक्शन]] कहा जाता है <math>A = (U, m)</math>. | |||
संदर्भ | |||
कार्यक्रम <math>m = \mu_A</math> | |||
परिमित | परिमित समुच्चय के लिए <math>U=\{x_1,\dots,x_n\},</math> अस्पष्ट समुच्चय <math>(U, m)</math> द्वारा प्रायः दर्शाया जाता है <math>\{m(x_1)/x_1,\dots,m(x_n)/x_n\}.</math>होने देना <math>x \in U</math>. तब <math>x</math> कहा जाता है | ||
होने देना <math>x \in U</math>. तब <math>x</math> कहा जाता है | * '''अस्पष्ट समुच्चय में सम्मिलित नहीं है''' <math>(U,m)</math> अगर {{nowrap|<math>m(x) = 0</math>}} (कोई सदस्य नहीं), | ||
* | * '''अगर पूरी तरह से सम्मिलित है''' {{nowrap|<math>m(x) = 1</math>}} (पूर्ण सदस्य), | ||
* अगर पूरी तरह से | *'''आंशिक रूप से सम्मिलित''' अगर {{nowrap|<math>0 < m(x) < 1</math> (अस्पष्ट सदस्य ).<ref>{{Cite web|url=http://www.aaai.org/aitopics/pmwiki/pmwiki.php/AITopics/FuzzyLogic|archive-url=https://web.archive.org/web/20080805071058/http://www.aaai.org/aitopics/pmwiki/pmwiki.php/AITopics/FuzzyLogic|url-status=dead|title=AAAI|archive-date=August 5, 2008}}</ref>}} | ||
*आंशिक रूप से | अस्पष्ट समुच्चयों का (क्रिस्प) समुच्चय, यूनिवर्स <math>U</math> के साथ दर्शाया गया है <math>SF(U)</math> (या कभी-कभी बस <math>F(U)</math>).<ref name="Beg20019" /> | ||
=== अस्पष्ट समुच्चय से संबंधित क्रिस्प समुच्चय === | |||
किसी अस्पष्ट समुच्चय के लिए <math>A = (U,m)</math> और <math>\alpha \in [0,1]</math> निम्नलिखित क्रिस्प समुच्चय परिभाषित हैं: | |||
* <math>A^{\ge\alpha} = A_\alpha = \{x \in U \mid m(x)\ge\alpha\}</math> इसका '''α-कट''' कहा जाता है (उर्फ α-लेवल समुच्चय) | |||
* <math>A^{>\alpha} = A'_\alpha = \{x \in U \mid m(x)>\alpha\}</math> इसका '''विशिष्ट''' '''α-कट''' कहा जाता है (उर्फ '''विशिष्ट α-स्तर समुच्चय''') | |||
* <math>S(A) = \operatorname{Supp}(A) = A^{>0} = \{x \in U \mid m(x)>0\}</math> उसका '''सपोर्ट''' कहा जाता है | |||
* <math>C(A) = \operatorname{Core}(A) = A^{=1} = \{x \in U \mid m(x)=1\}</math> इसका '''कोर''' कहा जाता है (या कभी-कभी '''कर्नेल''' <math>\operatorname{Kern}(A)</math>). | |||
ध्यान दें कि कुछ लेखक <nowiki>''</nowiki>कर्नेल<nowiki>''</nowiki> को अलग तरीके से समझते हैं; नीचे देखें। | |||
===अन्य परिभाषाएं=== | |||
* अस्पष्ट समुच्चय <math>A = (U,m)</math> '''एम्प्टी''' है (<math>A = \varnothing</math>) [[iff]] (इफ एंड ओनली इफ) <math>\forall</math><math> x \in U: \mu_A(x) = m(x) = 0</math> | |||
* दो अस्पष्ट समुच्चय <math>A</math> और <math>B</math> '''बराबर''' हैं (<math>A = B</math>) [[iff]] <math>\forall x \in U: \mu_A(x) = \mu_B(x)</math> | |||
* अस्पष्ट समुच्चय <math>A</math> एक अस्पष्ट समुच्चय में सम्मिलित है <math>B</math> (<math>A \subseteq B</math>) [[iff]] <math>\forall x \in U: \mu_A(x) \le \mu_B(x)</math> | |||
* किसी अस्पष्ट समुच्चय के लिए <math>A</math>, कोई तत्व <math>x \in U</math> जो संतुष्ट करता है <math>\mu_A(x) = 0.5</math> : को '''क्रॉसओवर पॉइंट''' कहा जाता है। | |||
* किसी | |||
* | * अस्पष्ट समुच्चय दिया <math>A</math>, कोई <math>\alpha \in [0,1]</math>, जिसके लिए <math>A^{=\alpha} = \{x \in U \mid \mu_A(x) = \alpha\}</math> एम्प्टी नहीं है, '''A''' का '''लेवल''' '''(स्तर)''' कहा जाता है। | ||
* | * '''A''' का '''लेवल''' '''समुच्चय''' सभी स्तरों का समुच्चय है <math>\alpha\in[0,1]</math> अलग-अलग कटौती का प्रतिनिधित्व करना। यह की [[छवि (गणित)]] है <math>\mu_A</math>: | ||
::<math>\Lambda_A = \{\alpha \in [0,1] : A^{=\alpha} \ne \varnothing\} = \{\alpha \in [0, 1] : {}</math> | ::<math>\Lambda_A = \{\alpha \in [0,1] : A^{=\alpha} \ne \varnothing\} = \{\alpha \in [0, 1] : {}</math>|<math>\exist</math><math>x \in U(\mu_A(x) = \alpha)\} = \mu_A(U)</math> | ||
* | * अस्पष्ट समुच्चय के लिए <math>A</math>, इसकी '''हाइट (ऊंचाई)''' द्वारा दी गई है | ||
::<math>\operatorname{Hgt}(A) = \sup \{\mu_A(x) \mid x \in U\} = \sup(\mu_A(U))</math> | ::<math>\operatorname{Hgt}(A) = \sup \{\mu_A(x) \mid x \in U\} = \sup(\mu_A(U))</math> | ||
: | :जहाँ <math>\sup</math> इन्फॉमूम/Infimum और supremum/सुप्रीमम को दर्शाता है, जो उपस्थित है क्योंकि <math>\mu_A(U)</math> नॉन-एम्प्टी है और ऊपर 1 से घिरा है। यदि '''''U''''' परिमित है, तो हम सर्वोच्चता को अधिकतम से बदल सकते हैं। | ||
* | * अस्पष्ट समुच्चय <math>A</math> '''सामान्यीकृत''' iff कहा जाता है | ||
::<math>\operatorname{Hgt}(A) = 1</math> | ::<math>\operatorname{Hgt}(A) = 1</math> | ||
: परिमित | : परिमित परिस्थिति में, जहां सुप्रीमम अधिकतम है, इसका मतलब है कि अस्पष्ट समुच्चय के कम से कम एक तत्व की पूर्ण सदस्यता है। एक नॉन-एम्प्टी अस्पष्ट समुच्चय <math>A</math> परिणाम के साथ सामान्य किया जा सकता है <math>\tilde{A}</math> अस्पष्ट समुच्चय के मेम्बरशिप फंक्शन को उसकी ऊँचाई से विभाजित करके: | ||
::<math>\forall x \in U: \mu_{\tilde{A}}(x) = \mu_A(x)/\operatorname{Hgt}(A)</math> | ::<math>\forall x \in U: \mu_{\tilde{A}}(x) = \mu_A(x)/\operatorname{Hgt}(A)</math> | ||
: समानताओं के अलावा यह सामान्य [[सामान्यीकरण स्थिरांक]] से भिन्न होता है जिसमें सामान्यीकरण स्थिरांक योग नहीं होता है। | : समानताओं के अलावा यह सामान्य [[सामान्यीकरण स्थिरांक]] से भिन्न होता है जिसमें सामान्यीकरण स्थिरांक योग नहीं होता है। | ||
* | * अस्पष्ट समुच्चय के लिए <math>A</math> वास्तविक संख्या (U⊆ ℝ) की सीमाबद्ध समुच्चय समर्थन के साथ, '''<nowiki/>'विड्थ/चौड़ाई'''' के रूप में परिभाषित किया गया है | ||
::<math>\operatorname{Width}(A) = \sup(\operatorname{Supp}(A)) - \inf(\operatorname{Supp}(A))</math> | ::<math>\operatorname{Width}(A) = \sup(\operatorname{Supp}(A)) - \inf(\operatorname{Supp}(A))</math> | ||
: | : ऐसी परिस्थिति में जब <math>\operatorname{Supp}(A)</math> एक परिमित समुच्चय है, या अधिक सामान्यतः एक संवृत समुच्चय है, चौड़ाई न्यायसंगत है | ||
::<math>\operatorname{Width}(A) = \max(\operatorname{Supp}(A)) - \min(\operatorname{Supp}(A))</math> | ::<math>\operatorname{Width}(A) = \max(\operatorname{Supp}(A)) - \min(\operatorname{Supp}(A))</math> | ||
: | : n-आयामी परिस्थिति में (U⊆ ℝ<sup>n</sup>) उपरोक्त को n-आयामी मात्रा द्वारा प्रतिस्थापित किया जा सकता है <math>\operatorname{Supp}(A)</math>. | ||
: सामान्य तौर पर, इसे | : सामान्य तौर पर, इसे '''''U''''' पर किसी भी माप (गणित) को देखते हुए परिभाषित किया जा सकता है, उदाहरण के लिए एकीकरण (उदाहरण के लिए लेबसग़ई इंटीग्रेशन) द्वारा <math>\operatorname{Supp}(A)</math>. | ||
* एक वास्तविक | * एक वास्तविक अस्पष्ट समुच्चय <math>A</math> (U⊆ ℝ) को ''''उत्तल'''<nowiki/>' कहा जाता है (अस्पष्ट अर्थ में, एक क्रिस्प [[उत्तल सेट|उत्तल समुच्चय]] के साथ भ्रमित नहीं होना), iff | ||
::<math>\forall x,y \in U, \forall\lambda\in[0,1]: \mu_A(\lambda{x} + (1-\lambda)y) \ge \min(\mu_A(x),\mu_A(y))</math>. | ::<math>\forall x,y \in U, \forall\lambda\in[0,1]: \mu_A(\lambda{x} + (1-\lambda)y) \ge \min(\mu_A(x),\mu_A(y))</math>. | ||
: व्यापकता के नुकसान के बिना, हम x ≤ y ले सकते हैं, जो समकक्ष सूत्रीकरण देता है | : व्यापकता के नुकसान के बिना, हम x ≤ y ले सकते हैं, जो समकक्ष सूत्रीकरण देता है | ||
::<math>\forall z \in [x,y]: \mu_A(z) \ge \min(\mu_A(x),\mu_A(y))</math>. | ::<math>\forall z \in [x,y]: \mu_A(z) \ge \min(\mu_A(x),\mu_A(y))</math>. | ||
: इस परिभाषा को एक सामान्य [[टोपोलॉजिकल स्पेस]] | : इस परिभाषा को एक सामान्य [[टोपोलॉजिकल स्पेस]] Uके लिए एक तक बढ़ाया जा सकता है: हम अस्पष्ट समुच्चय कहते हैं <math>A</math> '''उत्तल''' है जब, '''''U''''' के किसी उपसमुच्चय ''Z'' के लिए स्थिति | ||
::<math>\forall z \in Z: \mu_A(z) \ge \inf(\mu_A(\partial Z))</math> | ::<math>\forall z \in Z: \mu_A(z) \ge \inf(\mu_A(\partial Z))</math> | ||
: रखता है, | : रखता है, जहाँ <math>\partial Z</math> Z और की [[सीमा (टोपोलॉजी)]] को दर्शाता है <math>f(X) = \{f(x) \mid x \in X\}</math> एक समुच्चय '''''X''''' की छवि (गणित) को दर्शाता है (यहाँ <math>\partial Z</math>) एक फलन f के तहत (यहाँ <math>\mu_A</math>). | ||
=== | === अस्पष्ट समुच्चय संचालन === | ||
{{main| | {{main|अस्पष्ट समुच्चय संचालन}} | ||
हालांकि | |||
* दिए गए अस्पष्ट | हालांकि अस्पष्ट समुच्चय के पूरक की एक सबसे सामान्य परिभाषा है, अन्य मुख्य संक्रियाओं, यूनियन और इंटरसेक्शन में कुछ अस्पष्टता होती है। | ||
* दिए गए अस्पष्ट समुच्चय के लिए <math>A</math>, इसका '''कॉम्प्लीमेंट''' <math>\neg{A}</math> (कभी-कभी के रूप में दर्शाया जाता है <math>A^c</math> या <math>cA</math>) निम्नलिखित मेम्बरशिप फंक्शन द्वारा परिभाषित किया गया है: | |||
::<math>\forall x \in U: \mu_{\neg{A}}(x) = 1 - \mu_A(x)</math>. | ::<math>\forall x \in U: \mu_{\neg{A}}(x) = 1 - \mu_A(x)</math>. | ||
* मान लीजिए कि | * मान लीजिए कि t एक [[टी-मानदंड|t-मानदंड]] है, और संबंधित एस-मानदंड (उर्फ टी-अनुरूप) है। अस्पष्ट समुच्चय की एक जोड़ी दी <math>A, B</math>, उनका '''इंटरसेक्शन''' <math>A\cap{B}</math> द्वारा परिभाषित किया गया है: | ||
::<math>\forall x \in U: \mu_{A\cap{B}}(x) = t(\mu_A(x),\mu_B(x))</math>, | ::<math>\forall x \in U: \mu_{A\cap{B}}(x) = t(\mu_A(x),\mu_B(x))</math>, | ||
: और उनका | : और उनका '''यूनियन''' <math>A\cup{B}</math> द्वारा परिभाषित किया गया है: | ||
::<math>\forall x \in U: \mu_{A\cup{B}}(x) = s(\mu_A(x),\mu_B(x))</math>. | ::<math>\forall x \in U: \mu_{A\cup{B}}(x) = s(\mu_A(x),\mu_B(x))</math>. | ||
'''''t'''''-मानदंड की परिभाषा से, हम देखते हैं कि '''यूनियन''' और इंटरसेक्शन क्रम[[विनिमेय]], [[मोनोटोनिक]], साहचर्य हैं, और दोनों में एक अव[[शोषक तत्व]] और एक [[पहचान तत्व]] है। इंटरसेक्शन के लिए, ये क्रमशः ∅ और U हैं, जबकि यूनियन के लिए, ये उलटे हैं। हालांकि, एक अस्पष्ट समुच्चय और उसके पूरक के मिलन का परिणाम पूर्ण यूनिवर्स '''''U''''' नहीं हो सकता है, और उनका इंटरसेक्शन खाली समुच्चय ∅ नहीं दे सकता है। चूंकि इंटरसेक्शन और यूनियन साहचर्य हैं, इसलिए यह स्वाभाविक है कि इंटरसेक्शन और अस्पष्ट समुच्चयों के परिमित [[अनुक्रमित परिवार|अनुक्रमित समूह]] के मिलन को पुनरावर्ती रूप से परिभाषित किया जाए। | |||
* यदि मानक | * यदि मानक ऋणात्मक <math>n(\alpha) = 1 - \alpha, \alpha \in [0, 1]</math> एक अन्य t-मानक # गैर-मानक ऋणात्मक द्वारा प्रतिस्थापित किया जाता है, अस्पष्ट समुच्चय अंतर को इसके द्वारा सामान्यीकृत किया जा सकता है | ||
::<math>\forall x \in U: \mu_{\neg{A}}(x) = n(\mu_A(x)).</math> | ::<math>\forall x \in U: \mu_{\neg{A}}(x) = n(\mu_A(x)).</math> | ||
* | * अस्पष्ट इंटरसेक्शन, यूनियन और पूरक का ट्रिपल '''डी मॉर्गन ट्रिपलेट''' बनाता है। यही है, डी. मॉर्गन के नियम इस ट्रिपल तक विस्तारित होते हैं। | ||
: मानक | : मानक ऋणात्मक के साथ अस्पष्ट इंटरसेक्शन/यूनियन जोड़े के उदाहरण t-मानदंडों के बारे में लेख में प्रदान किए गए नमूने से प्राप्त किए जा सकते हैं। | ||
: | : अस्पष्ट इंटरसेक्शन सामान्य रूप से इदम्पोटेंस नहीं है, क्योंकि मानक t-मानदंड मिन ({{math|min}}) ही एकमात्र ऐसा गुण है जिसके पास यह गुण है। वास्तव में, यदि अंकगणित गुणन का उपयोग t-मानदंड के रूप में किया जाता है, तो परिणामी अस्पष्ट इंटरसेक्शन ऑपरेशन निष्क्रिय नहीं है। यही है, एक अस्पष्ट समुच्चय के इंटरसेक्शन को पुनरावृत्त रूप से अपने साथ ले जाना इदम्पोटेंट नहीं है। इसके बजाय यह अस्पष्ट समुच्चय की '''''m''-th पावर''' को परिभाषित करता है, जिसे निम्नलिखित तरीके से गैर-[[पूर्णांक]] घातांकों के लिए विहित रूप से सामान्यीकृत किया जा सकता है: | ||
* किसी | * किसी अस्पष्ट समुच्चय के लिए <math>A</math> और <math>\nu \in \R^+</math> ν-वें की पावर <math>A</math> मेम्बरशिप फंक्शन द्वारा परिभाषित किया गया है: | ||
::<math>\forall x \in U: \mu_{A^{\nu}}(x) = \mu_{A}(x)^{\nu}.</math> | ::<math>\forall x \in U: \mu_{A^{\nu}}(x) = \mu_{A}(x)^{\nu}.</math> | ||
प्रतिपादक दो का मामला विशेष रूप से एक नाम देने के लिए पर्याप्त है। | एक्सपोनेंट (प्रतिपादक) दो का मामला विशेष रूप से एक नाम देने के लिए पर्याप्त है। | ||
* किसी | * किसी अस्पष्ट समुच्चय के लिए <math>A</math> '''कंसंट्रेशन''' (एकाग्रचित्त) होना <math>CON(A) = A^2</math> परिभाषित किया गया | ||
::<math>\forall x \in U: \mu_{CON(A)}(x) = \mu_{A^2}(x) = \mu_{A}(x)^2.</math> | ::<math>\forall x \in U: \mu_{CON(A)}(x) = \mu_{A^2}(x) = \mu_{A}(x)^2.</math> | ||
अगर लिया जाये <math>0^0 = 1</math>, अपने पास <math>A^0 = U</math> और <math>A^1 = A.</math> | |||
* | * अस्पष्ट समुच्चय दिए गए <math>A, B</math>, अस्पष्ट समुच्चय '''अंतर''' <math>A \setminus B</math>, भी निरूपित <math> A - B</math>, सीधे मेम्बरशिप फंक्शन के माध्यम से परिभाषित किया जा सकता है: | ||
::<math>\forall x \in U: \mu_{A\setminus{B}}(x) = t(\mu_A(x),n(\mu_B(x))),</math> | ::<math>\forall x \in U: \mu_{A\setminus{B}}(x) = t(\mu_A(x),n(\mu_B(x))),</math> | ||
:मतलब <math>A \setminus B = A \cap \neg{B}</math>, उदाहरण: | :मतलब <math>A \setminus B = A \cap \neg{B}</math>, उदाहरण: | ||
::<math>\forall x \in U: \mu_{A\setminus{B}}(x) = \min(\mu_A(x),1 - \mu_B(x)).</math><ref name="Vemuri2014">N.R. Vemuri, A.S. Hareesh, M.S. Srinath: [http://www.math.sk/fsta2014/presentations/VemuriHareeshSrinath.pdf Set Difference and Symmetric Difference of Fuzzy Sets], in: Fuzzy Sets Theory and Applications 2014, Liptovský Ján, Slovak Republic</ref> | ::<math>\forall x \in U: \mu_{A\setminus{B}}(x) = \min(\mu_A(x),1 - \mu_B(x)).</math><ref name="Vemuri2014">N.R. Vemuri, A.S. Hareesh, M.S. Srinath: [http://www.math.sk/fsta2014/presentations/VemuriHareeshSrinath.pdf Set Difference and Symmetric Difference of Fuzzy Sets], in: Fuzzy Sets Theory and Applications 2014, Liptovský Ján, Slovak Republic</ref> | ||
: एक | : एक समुच्चय अंतर के लिए एक और प्रस्ताव हो सकता है: | ||
::<math>\forall x \in U: \mu_{A-{B}}(x) = \mu_A(x) - t(\mu_A(x),\mu_B(x)).</math><ref name="Vemuri2014" /> | ::<math>\forall x \in U: \mu_{A-{B}}(x) = \mu_A(x) - t(\mu_A(x),\mu_B(x)).</math><ref name="Vemuri2014" /> | ||
* डुबोइस और प्रेड (1980) द्वारा सममित | * डुबोइस और प्रेड (1980) द्वारा सममित अस्पष्ट समुच्चय अंतर के लिए प्रस्ताव किए गए हैं, या तो पूर्ण मूल्य लेकर, दे रहे हैं | ||
::<math>\forall x \in U: \mu_{A \triangle B}(x) = |\mu_A(x) - \mu_B(x)|,</math> | ::<math>\forall x \in U: \mu_{A \triangle B}(x) = |\mu_A(x) - \mu_B(x)|,</math> | ||
:या Just {{math|max}}, {{math|min}}, और मानक निषेध, देना | :या Just {{math|max}}, {{math|min}}, और मानक निषेध, देना | ||
::<math>\forall x \in U: \mu_{A \triangle B}(x) = \max(\min(\mu_A(x), 1 - \mu_B(x)), \min(\mu_B(x), 1 - \mu_A(x))).</math><ref name="Vemuri2014" /> | ::<math>\forall x \in U: \mu_{A \triangle B}(x) = \max(\min(\mu_A(x), 1 - \mu_B(x)), \min(\mu_B(x), 1 - \mu_A(x))).</math><ref name="Vemuri2014" /> | ||
: वेमूर एट अल द्वारा | : वेमूर एट अल द्वारा t-मानदंडों, टी-कॉनोर्म्स और ऋणात्मकताओं के अनुरूप सामान्यीकृत सममित अंतरों की परिभाषा के लिए अभिगृहीत प्रस्तावित किए गए हैं। (2014) अलसीना एट अल द्वारा पूर्ववर्तियों के साथ। (2005) और बेडरेगल एट अल। (2009)।<ref name="Vemuri2014" /> | ||
* क्रिस्प | * क्रिस्प समुच्चय के विपरीत, औसत संचालन को अस्पष्ट समुच्चय के लिए भी परिभाषित किया जा सकता है। | ||
=== | === अस्पष्ट समुच्चयों को अलग करना === | ||
इंटरसेक्शन और यूनियन संचालन की सामान्य अस्पष्टता के विपरीत, अस्पष्ट अस्पष्ट समुच्चयों के लिए स्पष्टता है: दो अस्पष्ट समुच्चय <math>A, B</math> '''असंयुक्त''' iff हैं | |||
दो | |||
:<math>\forall x \in U: \mu_A(x) = 0 \lor \mu_B(x) = 0</math> | :<math>\forall x \in U: \mu_A(x) = 0 \lor \mu_B(x) = 0</math> | ||
जो बराबर है | जो बराबर है | ||
:अस्तित्वगत परिमाणीकरण | :अस्तित्वगत परिमाणीकरण निषेध|<math>\nexists</math> <math>x \in U: \mu_A(x) > 0 \land \mu_B(x) > 0</math> | ||
और इसके समकक्ष भी | और इसके समकक्ष भी | ||
:<math>\forall x \in U: \min(\mu_A(x),\mu_B(x)) = 0</math> | :<math>\forall x \in U: \min(\mu_A(x),\mu_B(x)) = 0</math> | ||
हम इसे ध्यान में रखते हैं {{math|min}}/{{math|max}} एक | हम इसे ध्यान में रखते हैं {{math|min}}/{{math|max}} एक t/s-नॉर्म जोड़ी है, और कोई अन्य यहां भी काम करेगा। | ||
अस्पष्ट समुच्चय असंयुक्त हैं यदि और केवल यदि उनके समर्थन क्रिस्प समुच्चय के लिए मानक परिभाषा के अनुसार असंयुक्त समुच्चय हैं। | |||
असम्बद्ध | असम्बद्ध अस्पष्ट समुच्चय के लिए <math>A, B</math> कोई भी इंटरसेक्शन ∅ देगा, और कोई भी यूनियन वही परिणाम देगा, जिसे निरूपित किया जाता है | ||
:<math>A \,\dot{\cup}\, B = A \cup B</math> द्वारा दिए गए इसके | :<math>A \,\dot{\cup}\, B = A \cup B</math> द्वारा दिए गए इसके मेम्बरशिप फंक्शन के साथ | ||
:<math>\forall x \in U: \mu_{A \dot{\cup} B}(x) = \mu_A(x) + \mu_B(x)</math> | :<math>\forall x \in U: \mu_{A \dot{\cup} B}(x) = \mu_A(x) + \mu_B(x)</math> | ||
ध्यान दें कि दोनों योगों में से केवल एक ही शून्य से बड़ा है। | ध्यान दें कि दोनों योगों में से केवल एक ही शून्य से बड़ा है। | ||
असम्बद्ध | असम्बद्ध अस्पष्ट समुच्चय के लिए <math>A, B</math> निम्नलिखित सत्य है: | ||
:<math>\operatorname{Supp}(A \,\dot{\cup}\, B) = \operatorname{Supp}(A) \cup \operatorname{Supp}(B)</math> | :<math>\operatorname{Supp}(A \,\dot{\cup}\, B) = \operatorname{Supp}(A) \cup \operatorname{Supp}(B)</math> | ||
इसे | इसे अस्पष्ट समुच्चय के परिमित परिवारों के लिए निम्नानुसार सामान्यीकृत किया जा सकता है: | ||
एक परिवार दिया <math>A = (A_i)_{i \in I}</math> इंडेक्स | एक परिवार दिया <math>A = (A_i)_{i \in I}</math> इंडेक्स समुच्चय I के साथ अस्पष्ट समुच्चयों की संख्या (उदाहरण I = {1,2,3,...,n})। यह परिवार '(जोड़ीवार) असंयुक्त' है, यदि | ||
:<math>\text{for all } x \in U \text{ there exists at most one } i \in I \text{ such that } \mu_{A_i}(x) > 0.</math> | :<math>\text{for all } x \in U \text{ there exists at most one } i \in I \text{ such that } \mu_{A_i}(x) > 0.</math> | ||
अस्पष्ट समुच्चय का परिवार <math>A = (A_i)_{i \in I}</math> असंयुक्त है, अगर अंतर्निहित समर्थन का परिवार <math>\operatorname{Supp} \circ A = (\operatorname{Supp}(A_i))_{i \in I}</math> क्रिस्प समुच्चय के परिवारों के लिए मानक अर्थों में अलग है। | |||
टी/एस-मानदंड जोड़ी से स्वतंत्र, | टी/एस-मानदंड जोड़ी से स्वतंत्र, अस्पष्ट समुच्चय के एक अलग परिवार का इंटरसेक्शन ∅ फिर से देगा, जबकि यूनियन में कोई अस्पष्टता नहीं है: | ||
:<math>\dot{\bigcup\limits_{i \in I}}\, A_i = \bigcup_{i \in I} A_i</math> द्वारा दिए गए इसके | :<math>\dot{\bigcup\limits_{i \in I}}\, A_i = \bigcup_{i \in I} A_i</math> द्वारा दिए गए इसके मेम्बरशिप फंक्शन के साथ | ||
:<math>\forall x \in U: \mu_{\dot{\bigcup\limits_{i \in I}} A_i}(x) = \sum_{i \in I} \mu_{A_i}(x)</math> | :<math>\forall x \in U: \mu_{\dot{\bigcup\limits_{i \in I}} A_i}(x) = \sum_{i \in I} \mu_{A_i}(x)</math> | ||
फिर से केवल एक योग शून्य से अधिक है। | फिर से केवल एक योग शून्य से अधिक है। | ||
अस्पष्ट समुच्चय के असंबद्ध परिवारों के लिए <math>A = (A_i)_{i \in I}</math> निम्नलिखित सत्य है: | |||
:<math>\operatorname{Supp}\left(\dot{\bigcup\limits_{i \in I}}\, A_i\right) = \bigcup\limits_{i \in I} \operatorname{Supp}(A_i)</math> | :<math>\operatorname{Supp}\left(\dot{\bigcup\limits_{i \in I}}\, A_i\right) = \bigcup\limits_{i \in I} \operatorname{Supp}(A_i)</math> | ||
=== स्केलर कार्डिनैलिटी === | === स्केलर कार्डिनैलिटी === | ||
अस्पष्ट समुच्चय के लिए <math>A</math> परिमित समर्थन के साथ <math>\operatorname{Supp}(A)</math> (यानी एक परिमित अस्पष्ट समुच्चय), इसकी '''कार्डिनैलिटी''' (उर्फ '''स्केलर कार्डिनैलिटी''' या '''सिग्मा-काउंट''') द्वारा दी गई है | |||
:<math>\operatorname{Card}(A) = \operatorname{sc}(A) = |A| = \sum_{x \in U} \mu_A(x)</math>. | :<math>\operatorname{Card}(A) = \operatorname{sc}(A) = |A| = \sum_{x \in U} \mu_A(x)</math>. | ||
इस | इस परिस्थिति में कि Uस्वयं एक सीमित समुच्चय है, ''''रिलेटिव''' '''कार्डिनैलिटी'''<nowiki/>' द्वारा दिया जाता है | ||
:<math>\operatorname{RelCard}(A) = \|A\| = \operatorname{sc}(A)/|U| = |A|/|U|</math>. | :<math>\operatorname{RelCard}(A) = \|A\| = \operatorname{sc}(A)/|U| = |A|/|U|</math>. | ||
यह विभाजक के लिए | यह विभाजक के लिए नॉन-एम्प्टी अस्पष्ट समुच्चय होने के लिए सामान्यीकृत किया जा सकता है: अस्पष्ट समुच्चय के लिए <math>A,G</math> G ≠ ∅ के साथ, हम ''''रिलेटिव कार्डिनैलिटी'''<nowiki/>' को इसके द्वारा परिभाषित कर सकते हैं: | ||
:<math>\operatorname{RelCard}(A,G) = \operatorname{sc}(A|G) = \operatorname{sc}(A\cap{G})/\operatorname{sc}(G)</math>, | :<math>\operatorname{RelCard}(A,G) = \operatorname{sc}(A|G) = \operatorname{sc}(A\cap{G})/\operatorname{sc}(G)</math>, | ||
जो [[सशर्त संभाव्यता]] के लिए अभिव्यक्ति के समान दिखता | जो [[सशर्त संभाव्यता]] के लिए अभिव्यक्ति के समान दिखता हैl टिप्पणी: | ||
टिप्पणी: | |||
* <math>\operatorname{sc}(G) > 0</math> यहाँ। | * <math>\operatorname{sc}(G) > 0</math> यहाँ। | ||
* परिणाम चुने गए विशिष्ट | * परिणाम चुने गए विशिष्ट इंटरसेक्शन (t-मानदंड) पर निर्भर हो सकता है। | ||
* के लिए <math>G = U</math> परिणाम स्पष्ट है और पूर्व परिभाषा जैसा दिखता है। | * के लिए <math>G = U</math> परिणाम स्पष्ट है और पूर्व परिभाषा जैसा दिखता है। | ||
=== दूरी और समानता === | === दूरी और समानता === | ||
किसी | किसी अस्पष्ट समुच्चय के लिए <math>A</math> '''मेम्बरशिप फंक्शन''' <math>\mu_A: U \to [0,1]</math> एक समूह के रूप में माना जा सकता है <math>\mu_A = (\mu_A(x))_{x \in U} \in [0,1]^U</math>. उत्तरार्द्ध एक [[मीट्रिक स्थान]] है जिसमें कई मीट्रिक हैं <math>d</math> ज्ञात। एक मानदंड (गणित) (वेक्टर मानदंड) से एक मीट्रिक प्राप्त किया जा सकता है <math>\|\,\|</math> के जरिए | ||
:<math>d(\alpha,\beta) = \| \alpha - \beta \|</math>. | :<math>d(\alpha,\beta) = \| \alpha - \beta \|</math>. | ||
उदाहरण के लिए, अगर <math>U</math> परिमित है, अर्थात् <math>U = \{x_1, x_2, ... x_n\}</math>, ऐसे मीट्रिक को इसके द्वारा परिभाषित किया जा सकता है: | उदाहरण के लिए, अगर <math>U</math> परिमित है, अर्थात् <math>U = \{x_1, x_2, ... x_n\}</math>, ऐसे मीट्रिक को इसके द्वारा परिभाषित किया जा सकता है: | ||
:<math>d(\alpha,\beta) := \max \{ |\alpha(x_i) - \beta(x_i)| : i=1, ..., n \}</math> | :<math>d(\alpha,\beta) := \max \{ |\alpha(x_i) - \beta(x_i)| : i=1, ..., n \}</math> जहाँ <math>\alpha</math> और <math>\beta</math> 0 और 1 के बीच वास्तविक संख्याओं के अनुक्रम हैं। | ||
अनंत के लिए <math>U</math>, अधिकतम को सर्वोच्च द्वारा प्रतिस्थापित किया जा सकता है। | अनंत के लिए <math>U</math>, अधिकतम को सर्वोच्च द्वारा प्रतिस्थापित किया जा सकता है। क्योंकि अस्पष्ट समुच्चय उनके मेम्बरशिप फंक्शन द्वारा स्पष्ट रूप से परिभाषित होते हैं, इस मीट्रिक का उपयोग उसी यूनिवर्स पर अस्पष्ट समुच्चय के बीच की दूरी को मापने के लिए किया जा सकता है: | ||
क्योंकि | |||
:<math>d(A,B) := d(\mu_A,\mu_B)</math>, | :<math>d(A,B) := d(\mu_A,\mu_B)</math>, | ||
जो उपरोक्त नमूने में बन जाता है: | जो उपरोक्त नमूने में बन जाता है: | ||
:<math>d(A,B) = \max \{ |\mu_A(x_i) - \mu_B(x_i)| : i=1,...,n \}</math>. | :<math>d(A,B) = \max \{ |\mu_A(x_i) - \mu_B(x_i)| : i=1,...,n \}</math>. | ||
फिर से अनंत के लिए <math>U</math> अधिकतम को | फिर से अनंत के लिए <math>U</math> अधिकतम को सर्वोच्च द्वारा प्रतिस्थापित किया जाना चाहिए। अन्य दूरियां (जैसे विहित 2-मानदंड) अलग हो सकती हैं, यदि अनंत अस्पष्ट समुच्चय बहुत अलग हैं, उदाहरण के लिए, <math>\varnothing</math> और <math>U</math>. | ||
समानता उपायों (यहाँ द्वारा निरूपित <math>S</math>) तब दूरी से प्राप्त किया जा सकता है, | समानता उपायों (यहाँ द्वारा निरूपित <math>S</math>) तब दूरी से प्राप्त किया जा सकता है, उदा. कोज़ी के एक प्रस्ताव के बाद: | ||
:<math>S = 1 / (1 + d(A,B))</math> अगर <math>d(A,B)</math> परिमित है, <math>0</math> अन्य, | :<math>S = 1 / (1 + d(A,B))</math> अगर <math>d(A,B)</math> परिमित है, <math>0</math> अन्य, | ||
या विलियम्स और स्टील के बाद: | या विलियम्स और स्टील के बाद: | ||
:<math>S = \exp(-\alpha{d(A,B)})</math> अगर <math>d(A,B)</math> परिमित है, <math>0</math> अन्य | :<math>S = \exp(-\alpha{d(A,B)})</math> अगर <math>d(A,B)</math> परिमित है, <math>0</math> अन्य | ||
जहाँ <math>\alpha > 0</math> एक स्टीपनेस पैरामीटर है और <math>\exp(x) = e^x</math>.<ref name="Beg20019">Ismat Beg, Samina Ashraf: [https://www.researchgate.net/publication/228744370_Similarity_measures_for_fuzzy_sets Similarity measures for fuzzy sets], at: Applied and Computational Mathematics, March 2009, available on Research Gate since November 23rd, 2016</ref> अंतराल मूल्यवान (बल्कि 'अस्पष्ट') समानता उपायों के लिए एक और परिभाषा <math>\zeta</math> बेग और अशरफ द्वारा भी प्रदान किया जाता है।<ref name="Beg20019" /> | |||
अंतराल मूल्यवान (बल्कि ' | === ''L''-अस्पष्ट समुच्चय === | ||
कभी-कभी, अस्पष्ट समुच्चय की धारणा के अधिक सामान्य रूपों का उपयोग किया जाता है, सदस्यता कार्यों के साथ (निश्चित या चर) [[बीजगणितीय संरचना]] या [[संरचना (गणितीय तर्क)]] में मान लेते हैं। <math>L</math> किसी दिए गए प्रकार का; सामान्यतः इसकी आवश्यकता होती है <math>L</math> कम से कम एक [[ poset | पोस्ट poset (आंशिकतः क्रमित समुच्चय)]] या [[जाली (आदेश)|लैटिस]] हो। इन्हें सामान्यतः '''''L-अस्पष्ट समुच्चय'' '''''कहा जाता है, ताकि उन्हें यूनिट अंतराल पर मूल्यवान से अलग किया जा सके। [0, 1] में मान वाले सामान्य मेम्बरशिप फंक्शन को [0, 1]-मूल्यवान मेम्बरशिप फंक्शन कहा जाता है। इस प्रकार के सामान्यीकरणों पर सबसे पहले 1967 में [[जोसेफ गोगुएन]] ने विचार किया था, जो कि ज़ादेह के छात्र थे।'''<ref>[[Joseph Goguen|Goguen, Joseph A.]], 196, "''L''-fuzzy sets". ''Journal of Mathematical Analysis and Applications'' '''18''': 145–174</ref> ''''' ''चिरसम्मत परिणाम'<nowiki/>'' {0,-1} के बजाय {f, t} द्वारा सत्य और सदस्यता मूल्यों का संकेत दे सकता है। | |||
[[कसीमिर अटानासोव]] द्वारा अस्पष्ट समुच्चय का विस्तार प्रदान किया गया है। एक '''इंटुइशनिस्टिक अस्पष्ट समुच्चय''' (आईएफएस) <math>A</math> दो कार्यों की विशेषता है: | |||
:1. <math>\mu_A(x)</math> - x की सदस्यता की डिग्री | |||
:2. <math>\nu_A(x)</math> - x की गैर-सदस्यता की डिग्री | |||
फलन के साथ <math>\mu_A, \nu_A: U \to [0,1]</math> साथ <math>\forall x \in U: \mu_A(x) + \nu_A(x) \le 1</math>. | |||
[[कसीमिर अटानासोव]] द्वारा | |||
:1. <math>\mu_A(x)</math> - | |||
:2. <math>\nu_A(x)</math> - | |||
यह किसी व्यक्ति द्वारा निरूपित जैसी स्थिति जैसा दिखता है <math>x</math> मतदान | यह किसी व्यक्ति द्वारा निरूपित जैसी स्थिति जैसा दिखता है <math>x</math> मतदान | ||
Line 189: | Line 172: | ||
आखिरकार, हमारे पास स्वीकृतियों का प्रतिशत, इनकारों का प्रतिशत और परिहार का प्रतिशत है। | आखिरकार, हमारे पास स्वीकृतियों का प्रतिशत, इनकारों का प्रतिशत और परिहार का प्रतिशत है। | ||
इस स्थिति के लिए, विशेष सहज ज्ञान युक्त | इस स्थिति के लिए, विशेष सहज ज्ञान युक्त अस्पष्ट ऋणात्मक, t- और s-मानदंड परिभाषित किए जा सकते हैं। साथ <math>D^* = \{(\alpha,\beta) \in [0, 1]^2 : \alpha + \beta = 1 \}</math> और दोनों कार्यों को मिलाकर <math>(\mu_A,\nu_A): U \to D^*</math> यह स्थिति एक विशेष प्रकार के L-अस्पष्ट समुच्चय के समान होती है। | ||
एक बार फिर, इसे ''''पिक्चर अस्पष्ट समुच्चय'''<nowiki/>' (पीएफएस) को निम्नानुसार परिभाषित करके विस्तारित किया गया है: पीएफएस A को U से [0, 1] मैप करने वाले तीन फ़ंक्शन द्वारा चित्रित किया गया है: <math>\mu_A, \eta_A, \nu_A</math>, धनात्मक सदस्यता की डिग्री, तटस्थ सदस्यता की डिग्री और ऋणात्मक सदस्यता की डिग्री क्रमशः और अतिरिक्त शर्त <math>\forall x \in U: \mu_A(x) + \eta_A(x) + \nu_A(x) \le 1</math> | |||
यह वोट देने से इनकार करने की एक अतिरिक्त संभावना से उपरोक्त वोटिंग नमूने का विस्तार करता है। | यह वोट देने से इनकार करने की एक अतिरिक्त संभावना से उपरोक्त वोटिंग नमूने का विस्तार करता है। | ||
साथ <math>D^* = \{(\alpha,\beta,\gamma) \in [0, 1]^3 : \alpha + \beta + \gamma = 1 \}</math> और विशेष चित्र | साथ <math>D^* = \{(\alpha,\beta,\gamma) \in [0, 1]^3 : \alpha + \beta + \gamma = 1 \}</math> और विशेष चित्र अस्पष्ट नेगेटर्स, '''''t'''''- और '''''s'''''-मानदंड यह एक अन्य प्रकार के एल-अस्पष्ट समुच्चय जैसा दिखता है।<ref>Bui Cong Cuong, Vladik Kreinovich, Roan Thi Ngan: [http://digitalcommons.utep.edu/cgi/viewcontent.cgi?article=2050&context=cs_techrep A classification of representable t-norm operators for picture fuzzy sets], in: Departmental Technical Reports (CS). Paper 1047, 2016</ref><ref>Tridiv Jyoti Neog, Dusmanta Kumar Sut: [https://web.archive.org/web/20171201034358/https://pdfs.semanticscholar.org/dc40/1b8482c784e92fc4c92430510801de59ffab.pdf Complement of an Extended Fuzzy Set], in: International Journal of Computer Applications (097 | ||
5–8887), Volume 29 No.3, September 2011</ref> | 5–8887), Volume 29 No.3, September 2011</ref> | ||
=== न्यूट्रोसोफिक अस्पष्ट समुच्चय === | |||
=== न्यूट्रोसोफिक | [[File:FuzzyLogic development.png|thumb|अस्पष्ट समुच्चय अवधारणाओं के परिचय में कुछ प्रमुख विकास।<ref name="CADsurvey"/>]]आईएफएस की अवधारणा को दो प्रमुख मॉडलों में विस्तारित किया गया है। आईएफएस के दो विस्तार न्यूट्रोसोफिक अस्पष्ट समुच्चय और पायथागॉरियन अस्पष्ट समुच्चय हैं।<ref name="CADsurvey">{{cite journal | vauthors = Yanase J, Triantaphyllou E| title = A Systematic Survey of Computer-Aided Diagnosis in Medicine: Past and Present Developments. | journal = Expert Systems with Applications | volume = 138 | pages = 112821 | date = 2019 | doi = 10.1016/j.eswa.2019.112821 | s2cid = 199019309 }}</ref> | ||
[[File:FuzzyLogic development.png|thumb| | 1998 में स्मारंदचे द्वारा न्यूट्रोसोफिक अस्पष्ट समुच्चय पेश किए गए थे।<ref>{{Cite book|title=Neutrosophy: Neutrosophic Probability, Set, and Logic: Analytic Synthesis & Synthetic Analysis.|last=Smarandache|first=Florentin|publisher=American Research Press|year=1998|isbn=978-1879585638}}</ref> आईएफएस की तरह, न्यूट्रोसोफिक अस्पष्ट समुच्चय के पिछले दो कार्य हैं: एक सदस्यता के लिए <math>\mu_A(x)</math> और दूसरा गैर-सदस्यता के लिए <math>\nu_A(x)</math>. प्रमुख अंतर यह है कि न्यूट्रोसोफिक अस्पष्ट समुच्चय का एक और कार्य है: अनिश्चित के लिए <math>i_A(x)</math>. यह मान इंगित करता है कि इकाई x समुच्चय से संबंधित अनिश्चितता की डिग्री है। अनिश्चित होने की यह अवधारणा <math>i_A(x)</math> मूल्य विशेष रूप से तब उपयोगी हो सकता है जब कोई आइटम x के लिए सदस्यता या गैर-सदस्यता मूल्यों पर बहुत आश्वस्त नहीं हो सकता है।<ref name="SevenChallenges">{{Cite journal|vauthors = Yanase J, Triantaphyllou E|date=2019|title=मेडिसिन में कंप्यूटर एडेड डायग्नोसिस के भविष्य के लिए सात प्रमुख चुनौतियाँ।|doi=10.1016/j.ijmedinf.2019.06.017|pmid=31445285|journal= International Journal of Medical Informatics|volume=129|pages=413–422|s2cid=198287435 }}</ref> संक्षेप में, न्यूट्रोसोफिक अस्पष्ट समुच्चय निम्नलिखित कार्यों से जुड़े हैं: | ||
1998 में स्मारंदचे द्वारा न्यूट्रोसोफिक | |||
:1. <math>\mu_A(x)</math>-x की सदस्यता की डिग्री | :1. <math>\mu_A(x)</math>-x की सदस्यता की डिग्री | ||
Line 206: | Line 189: | ||
:3. <math>i_A(x)</math>- x के अनिश्चित मान की डिग्री | :3. <math>i_A(x)</math>- x के अनिश्चित मान की डिग्री | ||
=== पायथागॉरियन | === पायथागॉरियन अस्पष्ट समुच्चय === | ||
आईएफएस का दूसरा विस्तार पायथागॉरियन अस्पष्ट समुच्चय के रूप में जाना जाता है। पायथागॉरियन अस्पष्ट समुच्चय आईएफएस की तुलना में अधिक लचीले होते हैं। आईएफएस बाधा पर आधारित हैं <math>\mu_A(x) + \nu_A(x) \le 1</math>, जिसे कुछ अवसरों पर बहुत अधिक प्रतिबंधात्मक माना जा सकता है। यही कारण है कि यागर ने पाइथोगोरियन अस्पष्ट समुच्चय की अवधारणा का प्रस्ताव रखा। इस तरह के समुच्चय बाधा को संतुष्ट करते हैं <math>\mu_A(x)^2 + \nu_A(x)^2 \le 1</math>, जो पाइथागोरस प्रमेय की याद दिलाता है।<ref>{{Cite journal|last=Yager|first=Ronald R.|date=June 2013|title=पायथागॉरियन फ़ज़ी उपसमुच्चय|journal=2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS). IEEE|pages=57–61|doi=10.1109/IFSA-NAFIPS.2013.6608375|isbn=978-1-4799-0348-1|s2cid=36286152}}</ref><ref>{{Cite journal|last=Yager|first=Ronald R|date=2013|title=बहुमानदंड निर्णय लेने में पायथागॉरियन सदस्यता ग्रेड|journal=IEEE Transactions on Fuzzy Systems|volume=22|issue=4|pages=958–965|doi=10.1109/TFUZZ.2013.2278989|s2cid=37195356}}</ref><ref>{{Cite book|title=पायथागॉरियन फ़ज़ी सेट के गुण और अनुप्रयोग।|last=Yager|first=Ronald R.|publisher=Springer, Cham.|date=December 2015|isbn=978-3-319-26302-1|pages=119–136}}</ref> पायथागॉरियन अस्पष्ट समुच्चय वास्तविक जीवन अनुप्रयोगों पर लागू हो सकते हैं जिनमें पिछली स्थिति <math>\mu_A(x) + \nu_A(x) \le 1</math> मान्य नहीं है। हालांकि, की कम प्रतिबंधात्मक स्थिति <math>\mu_A(x)^2 + \nu_A(x)^2 \le 1</math> अधिक डोमेन में उपयुक्त हो सकता है।<ref name="CADsurvey"/><ref name="SevenChallenges"/> | |||
== अस्पष्ट लॉजिक == | |||
{{main|अस्पष्ट लॉजिक}} | |||
[[बहु-मूल्यवान तर्क]] के परिस्थिति के विस्तार के रूप में, मूल्यांकन (<math>\mu : \mathit{V}_o \to \mathit{W}</math>) प्रस्तावपरक चर के (<math>\mathit{V}_o</math>) सदस्यता डिग्री के एक समुच्चय में (<math>\mathit{W}</math>) को सदस्यता फलन (गणित) मैपिंग प्रेडिकेट (गणितीय तर्क) के रूप में अस्पष्ट समुच्चय में (या अधिक औपचारिक रूप से, अस्पष्ट जोड़े के एक ऑर्डर किए गए समुच्चय में, अस्पष्ट संबंध कहा जाता है) के रूप में सोचा जा सकता है। इन मूल्यांकनों के साथ, अस्पष्ट परिसरों की अनुमति देने के लिए कई-मूल्यवान तर्कों को बढ़ाया जा सकता है जिससे श्रेणीबद्ध निष्कर्ष निकाले जा सकते हैं।<ref>[[Siegfried Gottwald]], 2001. ''A Treatise on Many-Valued Logics''. Baldock, Hertfordshire, England: Research Studies Press Ltd., {{ISBN|978-0-86380-262-1}}</ref> इस विस्तार को कभी-कभी व्यापक अर्थों में अस्पष्ट लॉजिक के विपरीत संकीर्ण अर्थ में अस्पष्ट लॉजिक कहा जाता है, जो [[ स्वचालन ]] नियंत्रण और ज्ञान [[ अभियांत्रिकी ]] [[ज्ञान इंजीनियरिंग]] क्षेत्रों में उत्पन्न हुआ था, और जिसमें अस्पष्ट समुच्चय और अनुमानित तर्क सम्मिलित कई विषय सम्मिलित हैं।<ref>"[https://pdfs.semanticscholar.org/74d5/e9445c8154c8a77cc71487a4c5cfd9a9588c.pdf The concept of a linguistic variable and its application to approximate reasoning]," ''Information Sciences'' '''8''': 199–249, 301–357; '''9''': 43–80.</ref>[[फजी लॉजिक|अस्पष्ट लॉजिक]] के संदर्भ में अस्पष्ट लॉजिक के व्यापक अर्थों में अस्पष्ट लॉजिक के औद्योगिक अनुप्रयोगों को अस्पष्ट लॉजिक में पाया जा सकता है। | |||
== | == अस्पष्ट संख्या और केवल संख्या == | ||
{{main| | {{main|अस्पष्ट संख्या}} | ||
'''अस्पष्ट संख्या'''<ref name="semanticscholar.org">"[https://www.semanticscholar.org/paper/Fuzzy-sets-and-systems%3A-theory-and-applications-Dubois-Prade/a732dce89c9683bd1fdf90ea31acfeadd0a06478 Fuzzy sets as a basis for a theory of possibility]," ''Fuzzy Sets and Systems''</ref> एक अस्पष्ट समुच्चय है जो निम्नलिखित सभी शर्तों को पूरा करता है: | |||
* '''A''' सामान्यीकृत है; | |||
* '''A''' एक उत्तल समुच्चय है; | |||
* | |||
* | |||
* <math>\exists ! x^* \in A, \mu_{A}(x^*)=1</math>; | * <math>\exists ! x^* \in A, \mu_{A}(x^*)=1</math>; | ||
* | * मेम्बरशिप फंक्शन <math>\mu_{A}(x)</math> कम से कम खंड रूप से निरंतर है। | ||
यदि ये शर्तें पूरी नहीं होती हैं, तो A एक अस्पष्ट संख्या नहीं है। इस अस्पष्ट संख्या का मूल एक [[सिंगलटन (गणित)]] है; इसका स्थान है: | यदि ये शर्तें पूरी नहीं होती हैं, तो A एक अस्पष्ट संख्या नहीं है। इस '''अस्पष्ट संख्या''' का मूल एक [[सिंगलटन (गणित)]] है; इसका स्थान है: | ||
:: <math> \, C(A) = x^* : \mu_A(x^*)=1</math> | :: <math> \, C(A) = x^* : \mu_A(x^*)=1</math> | ||
जब की विशिष्टता के बारे में स्थिति <math>{x^*}</math> पूरा नहीं होता है, तो | जब की विशिष्टता के बारे में स्थिति <math>{x^*}</math> पूरा नहीं होता है, तो अस्पष्ट समुच्चय को '''अस्पष्ट इंटरवल''' के रूप में चित्रित किया जाता है।<ref name="semanticscholar.org"/>इस अस्पष्ट इंटरवल का मूल एक क्रिस्प इंटरवल है: | ||
::<math>\,C(A) = \left[\min\{x \in \R \mid \mu_A(x)=1\} ; \max\{x \in \R \mid \mu_A(x)=1\} \right]</math>. | ::<math>\,C(A) = \left[\min\{x \in \R \mid \mu_A(x)=1\} ; \max\{x \in \R \mid \mu_A(x)=1\} \right]</math>. | ||
अस्पष्ट नंबरों की तुलना [[ funfair | फनफेयर]] गेम से की जा सकती है, अपने वजन का अनुमान लगाएं, जहां कोई प्रतियोगी के वजन का अनुमान लगाता है, करीब अनुमान अधिक सही होने के साथ, और जहां अनुमान लगाने वाला जीतता है यदि वह प्रतियोगी के वजन के करीब अनुमान लगाता है, वास्तविक वजन पूरी तरह से होने के साथ सही (मेम्बरशिप फंक्शन द्वारा 1 पर मैपिंग)। | |||
<math>K(A) = \operatorname{Kern}(A)</math> एक अस्पष्ट अंतराल का <math>A</math> 'आउटबाउंड' भागों के बिना 'आंतरिक' भाग के रूप में परिभाषित किया गया है, जहां सदस्यता मूल्य निरंतर विज्ञापन अनंत है। दूसरे शब्दों में, का सबसे छोटा उपसमुच्चय <math>\R</math> जहाँ <math>\mu_A(x)</math> इसके बाहर स्थिर है, इसे कर्नेल के रूप में परिभाषित किया गया है। | |||
हालांकि, अस्पष्ट संख्या और अंतराल की अन्य अवधारणाएं हैं क्योंकि कुछ लेखक उत्तलता पर जोर नहीं देते हैं। | हालांकि, अस्पष्ट संख्या और अंतराल की अन्य अवधारणाएं हैं क्योंकि कुछ लेखक उत्तलता पर जोर नहीं देते हैं। | ||
== | == अस्पष्ट श्रेणियां== | ||
[[श्रेणी सिद्धांत]] के एक प्रमुख घटक के रूप में | [[श्रेणी सिद्धांत]] के एक प्रमुख घटक के रूप में समुच्चय मेम्बरशिप का उपयोग अस्पष्ट समुच्चय के लिए सामान्यीकृत किया जा सकता है। यह दृष्टिकोण, जो 1968 में अस्पष्ट समुच्चय सिद्धांत की प्रांरम्भ के तुरंत बाद प्रांरम्भ हुआ,<ref>J. A. Goguen "Categories of fuzzy sets: applications of non-Cantorian set theory" PhD Thesis University of California, Berkeley, 1968</ref> '''गोगुएन श्रेणियों''' के विकास के लिए नेतृत्व किया 21 वीं सदी में।<ref>Michael Winter "Goguen Categories:A Categorical Approach to L-fuzzy Relations" 2007 [[Springer Verlag|Springer]] {{ISBN|9781402061639}}</ref><ref name=goguencateg>Michael Winter "Representation theory of Goguen categories" [[Fuzzy Sets and Systems]] Volume 138, Issue 1, 16 August 2003, Pages 85–126</ref> इन श्रेणियों में, दो मूल्यवान समुच्चय सदस्यता का उपयोग करने के बजाय, अधिक सामान्य अंतराल का उपयोग किया जाता है, और ''L''-अस्पष्ट समुच्चय के रूप में जाली हो सकती है।<ref name=goguencateg/><ref>Goguen, J.A., "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18(1):145–174, 1967</ref> | ||
== अस्पष्ट रिलेशन समीकरण == | |||
[[फजी संबंध समीकरण|अस्पष्ट संबंध समीकरण]] रूप का एक समीकरण है {{nowrap|1=''A'' · ''R'' = ''B''}}, जहां A और B अस्पष्ट समुच्चय हैं, R एक अस्पष्ट संबंध है, और {{nowrap|''A'' · ''R''}}, R के साथ A के [[समारोह रचना|कम्पोजीशन फंक्शन]] के लिए है . | |||
== | |||
[[फजी संबंध समीकरण]] रूप का एक समीकरण है {{nowrap|1=''A'' · ''R'' = ''B''}}, जहां A और B अस्पष्ट समुच्चय हैं, R एक अस्पष्ट संबंध है, और {{nowrap|''A'' · ''R''}}, R के साथ A के [[समारोह रचना]] के लिए है | |||
== एंट्रॉपी == | == एंट्रॉपी == | ||
यूनिवर्स के अस्पष्ट समुच्चय के लिए अस्पष्टनेस का माप '''''d''''' <math>U</math> सभी के लिए निम्नलिखित शर्तों को पूरा करना चाहिए <math>x \in U</math>: | |||
#<math>d(A) = 0</math> अगर <math>A</math> | #<math>d(A) = 0</math> अगर <math>A</math> क्रिस्प समुच्चय है: <math>\mu_A(x) \in \{0,\,1\}</math> | ||
#<math>d(A)</math> | #<math>d(A)</math> अद्वितीय अधिकतम आईएफ़ है <math>\forall x \in U: \mu_A(x) = 0.5</math> | ||
#<math>\mu_A \leq \mu_B \iff</math> | #<math>\mu_A \leq \mu_B \iff</math> | ||
:::<math>\mu_A \leq \mu_B \leq 0.5</math> | :::<math>\mu_A \leq \mu_B \leq 0.5</math> | ||
:::<math>\mu_A \geq \mu_B \geq 0.5</math> | :::<math>\mu_A \geq \mu_B \geq 0.5</math> | ||
::जिसका मतलब है कि | ::जिसका मतलब है कि ''B'', '''A''' की तुलना में क्रिस्प है। | ||
#<math>d(\neg{A}) = d(A)</math> इस | #<math>d(\neg{A}) = d(A)</math> इस परिस्थिति में <math>d(A)</math> अस्पष्ट समुच्चय ''''''A'''''<nowiki/>' की '''एंट्रॉपी''' कहलाती है। | ||
परिमित के लिए <math>U = \{x_1, x_2, ... x_n\}</math> एक | '''परिमित''' के लिए <math>U = \{x_1, x_2, ... x_n\}</math> एक अस्पष्ट समुच्चय की एन्ट्रापी <math>A</math> द्वारा दिया गया है | ||
:<math>d(A) = H(A) + H(\neg{A})</math>, | :<math>d(A) = H(A) + H(\neg{A})</math>, | ||
::<math>H(A) = -k \sum_{i=1}^n \mu_A(x_i) \ln \mu_A(x_i)</math> | ::<math>H(A) = -k \sum_{i=1}^n \mu_A(x_i) \ln \mu_A(x_i)</math> | ||
या केवल | या केवल | ||
:<math>d(A) = -k \sum_{i=1}^n S(\mu_A(x_i))</math> | :<math>d(A) = -k \sum_{i=1}^n S(\mu_A(x_i))</math> | ||
जहाँ <math>S(x) = H_e(x)</math> बाइनरी एंट्रॉपी फ़ंक्शन है| शैनन का फ़ंक्शन (प्राकृतिक एन्ट्रॉपी फ़ंक्शन) | |||
:<math>S(\alpha) = -\alpha \ln \alpha - (1-\alpha) \ln (1-\alpha),\ \alpha \in [0,1]</math> | :<math>S(\alpha) = -\alpha \ln \alpha - (1-\alpha) \ln (1-\alpha),\ \alpha \in [0,1]</math> | ||
और <math>k</math> माप इकाई और प्रयुक्त लघुगणक आधार के आधार पर एक स्थिरांक है (यहाँ हमने प्राकृतिक आधार e (गणितीय स्थिरांक) का उपयोग किया है)। | और <math>k</math> माप इकाई और प्रयुक्त लघुगणक आधार के आधार पर एक स्थिरांक है (यहाँ हमने प्राकृतिक आधार e (गणितीय स्थिरांक) का उपयोग किया है)। k<sup>B</sup> की भौतिक व्याख्या बोल्ट्ज़मैन स्थिरांक k है l<sup>. | ||
मान लेते है <math>A</math> '''निरंतर''' मेम्बरशिप फंक्शन (अस्पष्ट वैरिएबल) के साथ अस्पष्ट समुच्चय बनें। तब | |||
:<math>H(A) = -k \int_{- \infty}^\infty \operatorname{Cr} \lbrace A \geq t \rbrace \ln \operatorname{Cr} \lbrace A \geq t \rbrace \,dt</math> | :<math>H(A) = -k \int_{- \infty}^\infty \operatorname{Cr} \lbrace A \geq t \rbrace \ln \operatorname{Cr} \lbrace A \geq t \rbrace \,dt</math> | ||
और इसकी एन्ट्रापी है | और इसकी एन्ट्रापी है | ||
:<math>d(A) = -k \int_{- \infty}^\infty S(\operatorname{Cr} \lbrace A \geq t \rbrace )\,dt.</math><ref>{{cite journal|doi=10.1016/0165-0114(92)90239-Z|title=फ़ज़ी सेट और उनके संबंधों की एंट्रॉपी, दूरी माप और समानता माप|journal=Fuzzy Sets and Systems|volume=52|issue=3|pages=305–318|year=1992|last1=Xuecheng|first1=Liu}}</ref><ref>{{cite journal|doi=10.1186/s40467-015-0029-5|title=फ़ज़ी क्रॉस-एन्ट्रॉपी|journal=Journal of Uncertainty Analysis and Applications|volume=3|year=2015|last1=Li|first1=Xiang|doi-access=free}}</ref> | :<math>d(A) = -k \int_{- \infty}^\infty S(\operatorname{Cr} \lbrace A \geq t \rbrace )\,dt.</math><ref>{{cite journal|doi=10.1016/0165-0114(92)90239-Z|title=फ़ज़ी सेट और उनके संबंधों की एंट्रॉपी, दूरी माप और समानता माप|journal=Fuzzy Sets and Systems|volume=52|issue=3|pages=305–318|year=1992|last1=Xuecheng|first1=Liu}}</ref><ref>{{cite journal|doi=10.1186/s40467-015-0029-5|title=फ़ज़ी क्रॉस-एन्ट्रॉपी|journal=Journal of Uncertainty Analysis and Applications|volume=3|year=2015|last1=Li|first1=Xiang|doi-access=free}}</ref> | ||
== एक्सटेंशन == | == एक्सटेंशन == | ||
अस्पष्ट समुच्चय के समान या उससे अधिक सामान्य कई गणितीय निर्माण हैं। चूंकि 1965 में अस्पष्ट समुच्चय पेश किए गए थे, कई नए गणितीय निर्माण और अशुद्धता, अशुद्धता, अस्पष्टता और अनिश्चितता का इलाज करने वाले सिद्धांत विकसित किए गए हैं। इन निर्माणों और सिद्धांतों में से कुछ अस्पष्ट समुच्चय सिद्धांत के विस्तार हैं, जबकि अन्य गणितीय रूप से अशुद्धता और अनिश्चितता को एक अलग तरीके से मॉडल करने का प्रयास करते हैं।<ref> | |||
{{harvnb|Burgin|Chunihin|1997}}; {{harvnb|Kerre|2001}}; {{harvnb|Deschrijver|Kerre|2003}}.</ref> | {{harvnb|Burgin|Chunihin|1997}}; {{harvnb|Kerre|2001}}; {{harvnb|Deschrijver|Kerre|2003}}.</ref> | ||
== यह भी देखें == | == यह भी देखें == | ||
{{div col|colwidth=25em}} | {{div col|colwidth=25em}} | ||
* [[वैकल्पिक | * [[वैकल्पिक समुच्चय सिद्धांत]] | ||
* [[अस्पष्टीकरण]] | * [[अस्पष्टीकरण]] | ||
* [[ | * [[अस्पष्ट अवधारणा]] | ||
* | * अस्पष्ट गणित | ||
* [[ | * [[अस्पष्ट समुच्चय ऑपरेशन]] | ||
* [[ | * [[अस्पष्ट सबलजेब्रा]] | ||
* [[अंतराल परिमित तत्व]] | * [[अंतराल परिमित तत्व]] | ||
* [[रैखिक आंशिक जानकारी]] | * [[रैखिक आंशिक जानकारी]] | ||
* [[ | * [[बहु समुच्चय]] | ||
* [[न्यूरो | * [[न्यूरो अस्पष्ट]] | ||
* किसी न किसी | * किसी न किसी अस्पष्ट संकरण | ||
* [[मोटा | * [[मोटा समुच्चय]] | ||
* सोरेनसेन समानता सूचकांक | * सोरेनसेन समानता सूचकांक | ||
* [[टाइप -2 फ़ज़ी सेट और सिस्टम]] | * [[टाइप -2 फ़ज़ी सेट और सिस्टम]] | ||
Line 367: | Line 339: | ||
{{Set theory}} | {{Set theory}} | ||
{{DEFAULTSORT:Fuzzy Set}} | {{DEFAULTSORT:Fuzzy Set}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page|Fuzzy Set]] | ||
[[Category:Created On 31/05/2023]] | [[Category:CS1 русский-language sources (ru)|Fuzzy Set]] | ||
[[Category:Collapse templates|Fuzzy Set]] | |||
[[Category:Created On 31/05/2023|Fuzzy Set]] | |||
[[Category:Lua-based templates|Fuzzy Set]] | |||
[[Category:Machine Translated Page|Fuzzy Set]] | |||
[[Category:Multi-column templates|Fuzzy Set]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Fuzzy Set]] | |||
[[Category:Pages using div col with small parameter|Fuzzy Set]] | |||
[[Category:Pages with script errors|Fuzzy Set]] | |||
[[Category:Sidebars with styles needing conversion|Fuzzy Set]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi|Fuzzy Set]] | |||
[[Category:Templates Vigyan Ready|Fuzzy Set]] | |||
[[Category:Templates generating microformats|Fuzzy Set]] | |||
[[Category:Templates that add a tracking category|Fuzzy Set]] | |||
[[Category:Templates that are not mobile friendly|Fuzzy Set]] | |||
[[Category:Templates that generate short descriptions|Fuzzy Set]] | |||
[[Category:Templates using TemplateData|Fuzzy Set]] | |||
[[Category:Templates using under-protected Lua modules|Fuzzy Set]] | |||
[[Category:Webarchive template wayback links]] | |||
[[Category:Wikipedia fully protected templates|Div col]] | |||
[[Category:Wikipedia metatemplates|Fuzzy Set]] | |||
[[Category:अज़रबैजानी आविष्कार|Fuzzy Set]] | |||
[[Category:ईरानी आविष्कार|Fuzzy Set]] | |||
[[Category:फजी लॉजिक|Fuzzy Set]] | |||
[[Category:सेट सिद्धांत की प्रणाली|Fuzzy Set]] |
Latest revision as of 11:10, 23 June 2023
गणित में, अस्पष्ट समुच्चय (उर्फ अनिश्चित समुच्चय) समुच्चय (गणित) होते हैं जिनके तत्व (गणित) में सदस्यता की डिग्री होती है। 1965 में समुच्चय की चिरसम्मत धारणा के विस्तार के रूप में लोत्फी आस्कर ज़ादेह लोत्फी ए. ज़ादेह द्वारा स्वतंत्र रूप से अस्पष्ट समुच्चय पेश किए गए थे।[1][2] एक ही समय पर, Salii (1965) ने L-रिलेशन, एल-रिलेशन नामक एक अधिक सामान्य प्रकार की संरचना को परिभाषित किया, जिसका अध्ययन उन्होंने एक सार बीजगणितीय संदर्भ में किया है। अस्पष्ट संबंध, जो अब अस्पष्ट गणित में उपयोग किए जाते हैं और भाषाविज्ञान जैसे क्षेत्रों में अनुप्रयोग हैं (डी कॉक,, बोडेनहोफर और & केरे 2000) , निर्णय लेना (कुज़्मिन 1982) , और क्लस्टर विश्लेषण (बेजड़ेक 1978) , L-रिलेशन के विशेष परिस्त्थियाँ हैं जब L इकाई अंतराल [0, 1] है।
चिरसम्मत समुच्चय सिद्धान्त में, एक समुच्चय में तत्वों की सदस्यता का मूल्यांकन बायवैलेंस के सिद्धांत के अनुसार बाइनरी शब्दों में किया जाता है - तत्व या तो समुच्चय से संबंधित है या नहीं है। इसके विपरीत, अस्पष्ट समुच्चय सिद्धांत एक समुच्चय में तत्वों की सदस्यता के क्रमिक मूल्यांकन की अनुमति देता है; यह वास्तविक संख्या इकाई अंतराल [0, 1] में मूल्यवान मेम्बरशिप फंक्शन (गणित) की सहायता से वर्णित है। अस्पष्ट समुच्चय चिरसम्मत समुच्चय का सामान्यीकरण करते हैं, क्योंकि चिरसम्मत समुच्चय के मेम्बरशिप फंक्शन (उर्फ विशेषता फ़ंक्शन) अस्पष्ट समुच्चय के मेम्बरशिप फंक्शन के विशेष परिस्थिति होते हैं, यदि बाद वाला केवल मान 0 या 1 लेता है।[3] अस्पष्ट समुच्चय थ्योरी में, चिरसम्मत बाइवेलेंट समुच्चय को सामान्यतः क्रिस्प समुच्चय कहा जाता है। अस्पष्ट समुच्चय सिद्धांत का उपयोग डोमेन की एक विस्तृत श्रृंखला में किया जा सकता है जिसमें जानकारी अधूरी या गलत है, जैसे जैव सूचना विज्ञान है।[4]
परिभाषा
अस्पष्ट समुच्चय एक जोड़ी है जहाँ एक समुच्चय है (प्रायः नॉन -एम्प्टी समुच्चय और एक मेम्बरशिप फंक्शन होना आवश्यक है। संदर्भ समुच्चय (कभी-कभी द्वारा निरूपित किया जाता है या ) यूनिवर्स ऑफ़ डिस्कोर्स कहा जाता है, और प्रत्येक के लिए मूल्य की सदस्यता का ग्रेड कहा जाता है में .कार्यक्रम अस्पष्ट समुच्चय का मेम्बरशिप फंक्शन कहा जाता है .
परिमित समुच्चय के लिए अस्पष्ट समुच्चय द्वारा प्रायः दर्शाया जाता है होने देना . तब कहा जाता है
- अस्पष्ट समुच्चय में सम्मिलित नहीं है अगर (कोई सदस्य नहीं),
- अगर पूरी तरह से सम्मिलित है (पूर्ण सदस्य),
- आंशिक रूप से सम्मिलित अगर (अस्पष्ट सदस्य ).[5]
अस्पष्ट समुच्चयों का (क्रिस्प) समुच्चय, यूनिवर्स के साथ दर्शाया गया है (या कभी-कभी बस ).[6]
अस्पष्ट समुच्चय से संबंधित क्रिस्प समुच्चय
किसी अस्पष्ट समुच्चय के लिए और निम्नलिखित क्रिस्प समुच्चय परिभाषित हैं:
- इसका α-कट कहा जाता है (उर्फ α-लेवल समुच्चय)
- इसका विशिष्ट α-कट कहा जाता है (उर्फ विशिष्ट α-स्तर समुच्चय)
- उसका सपोर्ट कहा जाता है
- इसका कोर कहा जाता है (या कभी-कभी कर्नेल ).
ध्यान दें कि कुछ लेखक ''कर्नेल'' को अलग तरीके से समझते हैं; नीचे देखें।
अन्य परिभाषाएं
- अस्पष्ट समुच्चय एम्प्टी है () iff (इफ एंड ओनली इफ)
- दो अस्पष्ट समुच्चय और बराबर हैं () iff
- अस्पष्ट समुच्चय एक अस्पष्ट समुच्चय में सम्मिलित है () iff
- किसी अस्पष्ट समुच्चय के लिए , कोई तत्व जो संतुष्ट करता है : को क्रॉसओवर पॉइंट कहा जाता है।
- अस्पष्ट समुच्चय दिया , कोई , जिसके लिए एम्प्टी नहीं है, A का लेवल (स्तर) कहा जाता है।
- A का लेवल समुच्चय सभी स्तरों का समुच्चय है अलग-अलग कटौती का प्रतिनिधित्व करना। यह की छवि (गणित) है :
- |
- अस्पष्ट समुच्चय के लिए , इसकी हाइट (ऊंचाई) द्वारा दी गई है
- जहाँ इन्फॉमूम/Infimum और supremum/सुप्रीमम को दर्शाता है, जो उपस्थित है क्योंकि नॉन-एम्प्टी है और ऊपर 1 से घिरा है। यदि U परिमित है, तो हम सर्वोच्चता को अधिकतम से बदल सकते हैं।
- अस्पष्ट समुच्चय सामान्यीकृत iff कहा जाता है
- परिमित परिस्थिति में, जहां सुप्रीमम अधिकतम है, इसका मतलब है कि अस्पष्ट समुच्चय के कम से कम एक तत्व की पूर्ण सदस्यता है। एक नॉन-एम्प्टी अस्पष्ट समुच्चय परिणाम के साथ सामान्य किया जा सकता है अस्पष्ट समुच्चय के मेम्बरशिप फंक्शन को उसकी ऊँचाई से विभाजित करके:
- समानताओं के अलावा यह सामान्य सामान्यीकरण स्थिरांक से भिन्न होता है जिसमें सामान्यीकरण स्थिरांक योग नहीं होता है।
- अस्पष्ट समुच्चय के लिए वास्तविक संख्या (U⊆ ℝ) की सीमाबद्ध समुच्चय समर्थन के साथ, 'विड्थ/चौड़ाई' के रूप में परिभाषित किया गया है
- ऐसी परिस्थिति में जब एक परिमित समुच्चय है, या अधिक सामान्यतः एक संवृत समुच्चय है, चौड़ाई न्यायसंगत है
- n-आयामी परिस्थिति में (U⊆ ℝn) उपरोक्त को n-आयामी मात्रा द्वारा प्रतिस्थापित किया जा सकता है .
- सामान्य तौर पर, इसे U पर किसी भी माप (गणित) को देखते हुए परिभाषित किया जा सकता है, उदाहरण के लिए एकीकरण (उदाहरण के लिए लेबसग़ई इंटीग्रेशन) द्वारा .
- एक वास्तविक अस्पष्ट समुच्चय (U⊆ ℝ) को 'उत्तल' कहा जाता है (अस्पष्ट अर्थ में, एक क्रिस्प उत्तल समुच्चय के साथ भ्रमित नहीं होना), iff
- .
- व्यापकता के नुकसान के बिना, हम x ≤ y ले सकते हैं, जो समकक्ष सूत्रीकरण देता है
- .
- इस परिभाषा को एक सामान्य टोपोलॉजिकल स्पेस Uके लिए एक तक बढ़ाया जा सकता है: हम अस्पष्ट समुच्चय कहते हैं उत्तल है जब, U के किसी उपसमुच्चय Z के लिए स्थिति
- रखता है, जहाँ Z और की सीमा (टोपोलॉजी) को दर्शाता है एक समुच्चय X की छवि (गणित) को दर्शाता है (यहाँ ) एक फलन f के तहत (यहाँ ).
अस्पष्ट समुच्चय संचालन
हालांकि अस्पष्ट समुच्चय के पूरक की एक सबसे सामान्य परिभाषा है, अन्य मुख्य संक्रियाओं, यूनियन और इंटरसेक्शन में कुछ अस्पष्टता होती है।
- दिए गए अस्पष्ट समुच्चय के लिए , इसका कॉम्प्लीमेंट (कभी-कभी के रूप में दर्शाया जाता है या ) निम्नलिखित मेम्बरशिप फंक्शन द्वारा परिभाषित किया गया है:
- .
- मान लीजिए कि t एक t-मानदंड है, और संबंधित एस-मानदंड (उर्फ टी-अनुरूप) है। अस्पष्ट समुच्चय की एक जोड़ी दी , उनका इंटरसेक्शन द्वारा परिभाषित किया गया है:
- ,
- और उनका यूनियन द्वारा परिभाषित किया गया है:
- .
t-मानदंड की परिभाषा से, हम देखते हैं कि यूनियन और इंटरसेक्शन क्रमविनिमेय, मोनोटोनिक, साहचर्य हैं, और दोनों में एक अवशोषक तत्व और एक पहचान तत्व है। इंटरसेक्शन के लिए, ये क्रमशः ∅ और U हैं, जबकि यूनियन के लिए, ये उलटे हैं। हालांकि, एक अस्पष्ट समुच्चय और उसके पूरक के मिलन का परिणाम पूर्ण यूनिवर्स U नहीं हो सकता है, और उनका इंटरसेक्शन खाली समुच्चय ∅ नहीं दे सकता है। चूंकि इंटरसेक्शन और यूनियन साहचर्य हैं, इसलिए यह स्वाभाविक है कि इंटरसेक्शन और अस्पष्ट समुच्चयों के परिमित अनुक्रमित समूह के मिलन को पुनरावर्ती रूप से परिभाषित किया जाए।
- यदि मानक ऋणात्मक एक अन्य t-मानक # गैर-मानक ऋणात्मक द्वारा प्रतिस्थापित किया जाता है, अस्पष्ट समुच्चय अंतर को इसके द्वारा सामान्यीकृत किया जा सकता है
- अस्पष्ट इंटरसेक्शन, यूनियन और पूरक का ट्रिपल डी मॉर्गन ट्रिपलेट बनाता है। यही है, डी. मॉर्गन के नियम इस ट्रिपल तक विस्तारित होते हैं।
- मानक ऋणात्मक के साथ अस्पष्ट इंटरसेक्शन/यूनियन जोड़े के उदाहरण t-मानदंडों के बारे में लेख में प्रदान किए गए नमूने से प्राप्त किए जा सकते हैं।
- अस्पष्ट इंटरसेक्शन सामान्य रूप से इदम्पोटेंस नहीं है, क्योंकि मानक t-मानदंड मिन (min) ही एकमात्र ऐसा गुण है जिसके पास यह गुण है। वास्तव में, यदि अंकगणित गुणन का उपयोग t-मानदंड के रूप में किया जाता है, तो परिणामी अस्पष्ट इंटरसेक्शन ऑपरेशन निष्क्रिय नहीं है। यही है, एक अस्पष्ट समुच्चय के इंटरसेक्शन को पुनरावृत्त रूप से अपने साथ ले जाना इदम्पोटेंट नहीं है। इसके बजाय यह अस्पष्ट समुच्चय की m-th पावर को परिभाषित करता है, जिसे निम्नलिखित तरीके से गैर-पूर्णांक घातांकों के लिए विहित रूप से सामान्यीकृत किया जा सकता है:
- किसी अस्पष्ट समुच्चय के लिए और ν-वें की पावर मेम्बरशिप फंक्शन द्वारा परिभाषित किया गया है:
एक्सपोनेंट (प्रतिपादक) दो का मामला विशेष रूप से एक नाम देने के लिए पर्याप्त है।
- किसी अस्पष्ट समुच्चय के लिए कंसंट्रेशन (एकाग्रचित्त) होना परिभाषित किया गया
अगर लिया जाये , अपने पास और
- अस्पष्ट समुच्चय दिए गए , अस्पष्ट समुच्चय अंतर , भी निरूपित , सीधे मेम्बरशिप फंक्शन के माध्यम से परिभाषित किया जा सकता है:
- डुबोइस और प्रेड (1980) द्वारा सममित अस्पष्ट समुच्चय अंतर के लिए प्रस्ताव किए गए हैं, या तो पूर्ण मूल्य लेकर, दे रहे हैं
- या Just max, min, और मानक निषेध, देना
- वेमूर एट अल द्वारा t-मानदंडों, टी-कॉनोर्म्स और ऋणात्मकताओं के अनुरूप सामान्यीकृत सममित अंतरों की परिभाषा के लिए अभिगृहीत प्रस्तावित किए गए हैं। (2014) अलसीना एट अल द्वारा पूर्ववर्तियों के साथ। (2005) और बेडरेगल एट अल। (2009)।[7]
- क्रिस्प समुच्चय के विपरीत, औसत संचालन को अस्पष्ट समुच्चय के लिए भी परिभाषित किया जा सकता है।
अस्पष्ट समुच्चयों को अलग करना
इंटरसेक्शन और यूनियन संचालन की सामान्य अस्पष्टता के विपरीत, अस्पष्ट अस्पष्ट समुच्चयों के लिए स्पष्टता है: दो अस्पष्ट समुच्चय असंयुक्त iff हैं
जो बराबर है
- अस्तित्वगत परिमाणीकरण निषेध|
और इसके समकक्ष भी
हम इसे ध्यान में रखते हैं min/max एक t/s-नॉर्म जोड़ी है, और कोई अन्य यहां भी काम करेगा।
अस्पष्ट समुच्चय असंयुक्त हैं यदि और केवल यदि उनके समर्थन क्रिस्प समुच्चय के लिए मानक परिभाषा के अनुसार असंयुक्त समुच्चय हैं।
असम्बद्ध अस्पष्ट समुच्चय के लिए कोई भी इंटरसेक्शन ∅ देगा, और कोई भी यूनियन वही परिणाम देगा, जिसे निरूपित किया जाता है
- द्वारा दिए गए इसके मेम्बरशिप फंक्शन के साथ
ध्यान दें कि दोनों योगों में से केवल एक ही शून्य से बड़ा है।
असम्बद्ध अस्पष्ट समुच्चय के लिए निम्नलिखित सत्य है:
इसे अस्पष्ट समुच्चय के परिमित परिवारों के लिए निम्नानुसार सामान्यीकृत किया जा सकता है: एक परिवार दिया इंडेक्स समुच्चय I के साथ अस्पष्ट समुच्चयों की संख्या (उदाहरण I = {1,2,3,...,n})। यह परिवार '(जोड़ीवार) असंयुक्त' है, यदि
अस्पष्ट समुच्चय का परिवार असंयुक्त है, अगर अंतर्निहित समर्थन का परिवार क्रिस्प समुच्चय के परिवारों के लिए मानक अर्थों में अलग है।
टी/एस-मानदंड जोड़ी से स्वतंत्र, अस्पष्ट समुच्चय के एक अलग परिवार का इंटरसेक्शन ∅ फिर से देगा, जबकि यूनियन में कोई अस्पष्टता नहीं है:
- द्वारा दिए गए इसके मेम्बरशिप फंक्शन के साथ
फिर से केवल एक योग शून्य से अधिक है।
अस्पष्ट समुच्चय के असंबद्ध परिवारों के लिए निम्नलिखित सत्य है:
स्केलर कार्डिनैलिटी
अस्पष्ट समुच्चय के लिए परिमित समर्थन के साथ (यानी एक परिमित अस्पष्ट समुच्चय), इसकी कार्डिनैलिटी (उर्फ स्केलर कार्डिनैलिटी या सिग्मा-काउंट) द्वारा दी गई है
- .
इस परिस्थिति में कि Uस्वयं एक सीमित समुच्चय है, 'रिलेटिव कार्डिनैलिटी' द्वारा दिया जाता है
- .
यह विभाजक के लिए नॉन-एम्प्टी अस्पष्ट समुच्चय होने के लिए सामान्यीकृत किया जा सकता है: अस्पष्ट समुच्चय के लिए G ≠ ∅ के साथ, हम 'रिलेटिव कार्डिनैलिटी' को इसके द्वारा परिभाषित कर सकते हैं:
- ,
जो सशर्त संभाव्यता के लिए अभिव्यक्ति के समान दिखता हैl टिप्पणी:
- यहाँ।
- परिणाम चुने गए विशिष्ट इंटरसेक्शन (t-मानदंड) पर निर्भर हो सकता है।
- के लिए परिणाम स्पष्ट है और पूर्व परिभाषा जैसा दिखता है।
दूरी और समानता
किसी अस्पष्ट समुच्चय के लिए मेम्बरशिप फंक्शन एक समूह के रूप में माना जा सकता है . उत्तरार्द्ध एक मीट्रिक स्थान है जिसमें कई मीट्रिक हैं ज्ञात। एक मानदंड (गणित) (वेक्टर मानदंड) से एक मीट्रिक प्राप्त किया जा सकता है के जरिए
- .
उदाहरण के लिए, अगर परिमित है, अर्थात् , ऐसे मीट्रिक को इसके द्वारा परिभाषित किया जा सकता है:
- जहाँ और 0 और 1 के बीच वास्तविक संख्याओं के अनुक्रम हैं।
अनंत के लिए , अधिकतम को सर्वोच्च द्वारा प्रतिस्थापित किया जा सकता है। क्योंकि अस्पष्ट समुच्चय उनके मेम्बरशिप फंक्शन द्वारा स्पष्ट रूप से परिभाषित होते हैं, इस मीट्रिक का उपयोग उसी यूनिवर्स पर अस्पष्ट समुच्चय के बीच की दूरी को मापने के लिए किया जा सकता है:
- ,
जो उपरोक्त नमूने में बन जाता है:
- .
फिर से अनंत के लिए अधिकतम को सर्वोच्च द्वारा प्रतिस्थापित किया जाना चाहिए। अन्य दूरियां (जैसे विहित 2-मानदंड) अलग हो सकती हैं, यदि अनंत अस्पष्ट समुच्चय बहुत अलग हैं, उदाहरण के लिए, और .
समानता उपायों (यहाँ द्वारा निरूपित ) तब दूरी से प्राप्त किया जा सकता है, उदा. कोज़ी के एक प्रस्ताव के बाद:
- अगर परिमित है, अन्य,
या विलियम्स और स्टील के बाद:
- अगर परिमित है, अन्य
जहाँ एक स्टीपनेस पैरामीटर है और .[6] अंतराल मूल्यवान (बल्कि 'अस्पष्ट') समानता उपायों के लिए एक और परिभाषा बेग और अशरफ द्वारा भी प्रदान किया जाता है।[6]
L-अस्पष्ट समुच्चय
कभी-कभी, अस्पष्ट समुच्चय की धारणा के अधिक सामान्य रूपों का उपयोग किया जाता है, सदस्यता कार्यों के साथ (निश्चित या चर) बीजगणितीय संरचना या संरचना (गणितीय तर्क) में मान लेते हैं। किसी दिए गए प्रकार का; सामान्यतः इसकी आवश्यकता होती है कम से कम एक पोस्ट poset (आंशिकतः क्रमित समुच्चय) या लैटिस हो। इन्हें सामान्यतः L-अस्पष्ट समुच्चय कहा जाता है, ताकि उन्हें यूनिट अंतराल पर मूल्यवान से अलग किया जा सके। [0, 1] में मान वाले सामान्य मेम्बरशिप फंक्शन को [0, 1]-मूल्यवान मेम्बरशिप फंक्शन कहा जाता है। इस प्रकार के सामान्यीकरणों पर सबसे पहले 1967 में जोसेफ गोगुएन ने विचार किया था, जो कि ज़ादेह के छात्र थे।[8] चिरसम्मत परिणाम' {0,-1} के बजाय {f, t} द्वारा सत्य और सदस्यता मूल्यों का संकेत दे सकता है।
कसीमिर अटानासोव द्वारा अस्पष्ट समुच्चय का विस्तार प्रदान किया गया है। एक इंटुइशनिस्टिक अस्पष्ट समुच्चय (आईएफएस) दो कार्यों की विशेषता है:
- 1. - x की सदस्यता की डिग्री
- 2. - x की गैर-सदस्यता की डिग्री
फलन के साथ साथ .
यह किसी व्यक्ति द्वारा निरूपित जैसी स्थिति जैसा दिखता है मतदान
- प्रस्ताव के लिए : (),
- उसके खिलाफ: (),
- या मतदान से दूर रहें: ().
आखिरकार, हमारे पास स्वीकृतियों का प्रतिशत, इनकारों का प्रतिशत और परिहार का प्रतिशत है।
इस स्थिति के लिए, विशेष सहज ज्ञान युक्त अस्पष्ट ऋणात्मक, t- और s-मानदंड परिभाषित किए जा सकते हैं। साथ और दोनों कार्यों को मिलाकर यह स्थिति एक विशेष प्रकार के L-अस्पष्ट समुच्चय के समान होती है।
एक बार फिर, इसे 'पिक्चर अस्पष्ट समुच्चय' (पीएफएस) को निम्नानुसार परिभाषित करके विस्तारित किया गया है: पीएफएस A को U से [0, 1] मैप करने वाले तीन फ़ंक्शन द्वारा चित्रित किया गया है: , धनात्मक सदस्यता की डिग्री, तटस्थ सदस्यता की डिग्री और ऋणात्मक सदस्यता की डिग्री क्रमशः और अतिरिक्त शर्त
यह वोट देने से इनकार करने की एक अतिरिक्त संभावना से उपरोक्त वोटिंग नमूने का विस्तार करता है।
साथ और विशेष चित्र अस्पष्ट नेगेटर्स, t- और s-मानदंड यह एक अन्य प्रकार के एल-अस्पष्ट समुच्चय जैसा दिखता है।[9][10]
न्यूट्रोसोफिक अस्पष्ट समुच्चय
आईएफएस की अवधारणा को दो प्रमुख मॉडलों में विस्तारित किया गया है। आईएफएस के दो विस्तार न्यूट्रोसोफिक अस्पष्ट समुच्चय और पायथागॉरियन अस्पष्ट समुच्चय हैं।[11]
1998 में स्मारंदचे द्वारा न्यूट्रोसोफिक अस्पष्ट समुच्चय पेश किए गए थे।[12] आईएफएस की तरह, न्यूट्रोसोफिक अस्पष्ट समुच्चय के पिछले दो कार्य हैं: एक सदस्यता के लिए और दूसरा गैर-सदस्यता के लिए . प्रमुख अंतर यह है कि न्यूट्रोसोफिक अस्पष्ट समुच्चय का एक और कार्य है: अनिश्चित के लिए . यह मान इंगित करता है कि इकाई x समुच्चय से संबंधित अनिश्चितता की डिग्री है। अनिश्चित होने की यह अवधारणा मूल्य विशेष रूप से तब उपयोगी हो सकता है जब कोई आइटम x के लिए सदस्यता या गैर-सदस्यता मूल्यों पर बहुत आश्वस्त नहीं हो सकता है।[13] संक्षेप में, न्यूट्रोसोफिक अस्पष्ट समुच्चय निम्नलिखित कार्यों से जुड़े हैं:
- 1. -x की सदस्यता की डिग्री
- 2. -x की गैर-सदस्यता की डिग्री
- 3. - x के अनिश्चित मान की डिग्री
पायथागॉरियन अस्पष्ट समुच्चय
आईएफएस का दूसरा विस्तार पायथागॉरियन अस्पष्ट समुच्चय के रूप में जाना जाता है। पायथागॉरियन अस्पष्ट समुच्चय आईएफएस की तुलना में अधिक लचीले होते हैं। आईएफएस बाधा पर आधारित हैं , जिसे कुछ अवसरों पर बहुत अधिक प्रतिबंधात्मक माना जा सकता है। यही कारण है कि यागर ने पाइथोगोरियन अस्पष्ट समुच्चय की अवधारणा का प्रस्ताव रखा। इस तरह के समुच्चय बाधा को संतुष्ट करते हैं , जो पाइथागोरस प्रमेय की याद दिलाता है।[14][15][16] पायथागॉरियन अस्पष्ट समुच्चय वास्तविक जीवन अनुप्रयोगों पर लागू हो सकते हैं जिनमें पिछली स्थिति मान्य नहीं है। हालांकि, की कम प्रतिबंधात्मक स्थिति अधिक डोमेन में उपयुक्त हो सकता है।[11][13]
अस्पष्ट लॉजिक
बहु-मूल्यवान तर्क के परिस्थिति के विस्तार के रूप में, मूल्यांकन () प्रस्तावपरक चर के () सदस्यता डिग्री के एक समुच्चय में () को सदस्यता फलन (गणित) मैपिंग प्रेडिकेट (गणितीय तर्क) के रूप में अस्पष्ट समुच्चय में (या अधिक औपचारिक रूप से, अस्पष्ट जोड़े के एक ऑर्डर किए गए समुच्चय में, अस्पष्ट संबंध कहा जाता है) के रूप में सोचा जा सकता है। इन मूल्यांकनों के साथ, अस्पष्ट परिसरों की अनुमति देने के लिए कई-मूल्यवान तर्कों को बढ़ाया जा सकता है जिससे श्रेणीबद्ध निष्कर्ष निकाले जा सकते हैं।[17] इस विस्तार को कभी-कभी व्यापक अर्थों में अस्पष्ट लॉजिक के विपरीत संकीर्ण अर्थ में अस्पष्ट लॉजिक कहा जाता है, जो स्वचालन नियंत्रण और ज्ञान अभियांत्रिकी ज्ञान इंजीनियरिंग क्षेत्रों में उत्पन्न हुआ था, और जिसमें अस्पष्ट समुच्चय और अनुमानित तर्क सम्मिलित कई विषय सम्मिलित हैं।[18]अस्पष्ट लॉजिक के संदर्भ में अस्पष्ट लॉजिक के व्यापक अर्थों में अस्पष्ट लॉजिक के औद्योगिक अनुप्रयोगों को अस्पष्ट लॉजिक में पाया जा सकता है।
अस्पष्ट संख्या और केवल संख्या
अस्पष्ट संख्या[19] एक अस्पष्ट समुच्चय है जो निम्नलिखित सभी शर्तों को पूरा करता है:
- A सामान्यीकृत है;
- A एक उत्तल समुच्चय है;
- ;
- मेम्बरशिप फंक्शन कम से कम खंड रूप से निरंतर है।
यदि ये शर्तें पूरी नहीं होती हैं, तो A एक अस्पष्ट संख्या नहीं है। इस अस्पष्ट संख्या का मूल एक सिंगलटन (गणित) है; इसका स्थान है:
जब की विशिष्टता के बारे में स्थिति पूरा नहीं होता है, तो अस्पष्ट समुच्चय को अस्पष्ट इंटरवल के रूप में चित्रित किया जाता है।[19]इस अस्पष्ट इंटरवल का मूल एक क्रिस्प इंटरवल है:
- .
अस्पष्ट नंबरों की तुलना फनफेयर गेम से की जा सकती है, अपने वजन का अनुमान लगाएं, जहां कोई प्रतियोगी के वजन का अनुमान लगाता है, करीब अनुमान अधिक सही होने के साथ, और जहां अनुमान लगाने वाला जीतता है यदि वह प्रतियोगी के वजन के करीब अनुमान लगाता है, वास्तविक वजन पूरी तरह से होने के साथ सही (मेम्बरशिप फंक्शन द्वारा 1 पर मैपिंग)।
एक अस्पष्ट अंतराल का 'आउटबाउंड' भागों के बिना 'आंतरिक' भाग के रूप में परिभाषित किया गया है, जहां सदस्यता मूल्य निरंतर विज्ञापन अनंत है। दूसरे शब्दों में, का सबसे छोटा उपसमुच्चय जहाँ इसके बाहर स्थिर है, इसे कर्नेल के रूप में परिभाषित किया गया है।
हालांकि, अस्पष्ट संख्या और अंतराल की अन्य अवधारणाएं हैं क्योंकि कुछ लेखक उत्तलता पर जोर नहीं देते हैं।
अस्पष्ट श्रेणियां
श्रेणी सिद्धांत के एक प्रमुख घटक के रूप में समुच्चय मेम्बरशिप का उपयोग अस्पष्ट समुच्चय के लिए सामान्यीकृत किया जा सकता है। यह दृष्टिकोण, जो 1968 में अस्पष्ट समुच्चय सिद्धांत की प्रांरम्भ के तुरंत बाद प्रांरम्भ हुआ,[20] गोगुएन श्रेणियों के विकास के लिए नेतृत्व किया 21 वीं सदी में।[21][22] इन श्रेणियों में, दो मूल्यवान समुच्चय सदस्यता का उपयोग करने के बजाय, अधिक सामान्य अंतराल का उपयोग किया जाता है, और L-अस्पष्ट समुच्चय के रूप में जाली हो सकती है।[22][23]
अस्पष्ट रिलेशन समीकरण
अस्पष्ट संबंध समीकरण रूप का एक समीकरण है A · R = B, जहां A और B अस्पष्ट समुच्चय हैं, R एक अस्पष्ट संबंध है, और A · R, R के साथ A के कम्पोजीशन फंक्शन के लिए है .
एंट्रॉपी
यूनिवर्स के अस्पष्ट समुच्चय के लिए अस्पष्टनेस का माप d सभी के लिए निम्नलिखित शर्तों को पूरा करना चाहिए :
- अगर क्रिस्प समुच्चय है:
- अद्वितीय अधिकतम आईएफ़ है
- जिसका मतलब है कि B, A की तुलना में क्रिस्प है।
- इस परिस्थिति में अस्पष्ट समुच्चय 'A' की एंट्रॉपी कहलाती है।
परिमित के लिए एक अस्पष्ट समुच्चय की एन्ट्रापी द्वारा दिया गया है
- ,
या केवल
जहाँ बाइनरी एंट्रॉपी फ़ंक्शन है| शैनन का फ़ंक्शन (प्राकृतिक एन्ट्रॉपी फ़ंक्शन)
और माप इकाई और प्रयुक्त लघुगणक आधार के आधार पर एक स्थिरांक है (यहाँ हमने प्राकृतिक आधार e (गणितीय स्थिरांक) का उपयोग किया है)। kB की भौतिक व्याख्या बोल्ट्ज़मैन स्थिरांक k है l.
मान लेते है निरंतर मेम्बरशिप फंक्शन (अस्पष्ट वैरिएबल) के साथ अस्पष्ट समुच्चय बनें। तब
और इसकी एन्ट्रापी है
एक्सटेंशन
अस्पष्ट समुच्चय के समान या उससे अधिक सामान्य कई गणितीय निर्माण हैं। चूंकि 1965 में अस्पष्ट समुच्चय पेश किए गए थे, कई नए गणितीय निर्माण और अशुद्धता, अशुद्धता, अस्पष्टता और अनिश्चितता का इलाज करने वाले सिद्धांत विकसित किए गए हैं। इन निर्माणों और सिद्धांतों में से कुछ अस्पष्ट समुच्चय सिद्धांत के विस्तार हैं, जबकि अन्य गणितीय रूप से अशुद्धता और अनिश्चितता को एक अलग तरीके से मॉडल करने का प्रयास करते हैं।[26]
यह भी देखें
- वैकल्पिक समुच्चय सिद्धांत
- अस्पष्टीकरण
- अस्पष्ट अवधारणा
- अस्पष्ट गणित
- अस्पष्ट समुच्चय ऑपरेशन
- अस्पष्ट सबलजेब्रा
- अंतराल परिमित तत्व
- रैखिक आंशिक जानकारी
- बहु समुच्चय
- न्यूरो अस्पष्ट
- किसी न किसी अस्पष्ट संकरण
- मोटा समुच्चय
- सोरेनसेन समानता सूचकांक
- टाइप -2 फ़ज़ी सेट और सिस्टम
- अनिश्चितता
संदर्भ
- ↑ L. A. Zadeh (1965) "Fuzzy sets" Archived 2015-08-13 at the Wayback Machine. Information and Control 8 (3) 338–353.
- ↑ Klaua, D. (1965) Über einen Ansatz zur mehrwertigen Mengenlehre. Monatsb. Deutsch. Akad. Wiss. Berlin 7, 859–876. A recent in-depth analysis of this paper has been provided by Gottwald, S. (2010). "An early approach toward graded identity and graded membership in set theory". Fuzzy Sets and Systems. 161 (18): 2369–2379. doi:10.1016/j.fss.2009.12.005.
- ↑ D. Dubois and H. Prade (1988) Fuzzy Sets and Systems. Academic Press, New York.
- ↑ Liang, Lily R.; Lu, Shiyong; Wang, Xuena; Lu, Yi; Mandal, Vinay; Patacsil, Dorrelyn; Kumar, Deepak (2006). "FM-test: A fuzzy-set-theory-based approach to differential gene expression data analysis". BMC Bioinformatics. 7 (Suppl 4): S7. doi:10.1186/1471-2105-7-S4-S7. PMC 1780132. PMID 17217525.
- ↑ "AAAI". Archived from the original on August 5, 2008.
- ↑ 6.0 6.1 6.2 Ismat Beg, Samina Ashraf: Similarity measures for fuzzy sets, at: Applied and Computational Mathematics, March 2009, available on Research Gate since November 23rd, 2016
- ↑ 7.0 7.1 7.2 7.3 N.R. Vemuri, A.S. Hareesh, M.S. Srinath: Set Difference and Symmetric Difference of Fuzzy Sets, in: Fuzzy Sets Theory and Applications 2014, Liptovský Ján, Slovak Republic
- ↑ Goguen, Joseph A., 196, "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18: 145–174
- ↑ Bui Cong Cuong, Vladik Kreinovich, Roan Thi Ngan: A classification of representable t-norm operators for picture fuzzy sets, in: Departmental Technical Reports (CS). Paper 1047, 2016
- ↑ Tridiv Jyoti Neog, Dusmanta Kumar Sut: Complement of an Extended Fuzzy Set, in: International Journal of Computer Applications (097 5–8887), Volume 29 No.3, September 2011
- ↑ 11.0 11.1 11.2 Yanase J, Triantaphyllou E (2019). "A Systematic Survey of Computer-Aided Diagnosis in Medicine: Past and Present Developments". Expert Systems with Applications. 138: 112821. doi:10.1016/j.eswa.2019.112821. S2CID 199019309.
- ↑ Smarandache, Florentin (1998). Neutrosophy: Neutrosophic Probability, Set, and Logic: Analytic Synthesis & Synthetic Analysis. American Research Press. ISBN 978-1879585638.
- ↑ 13.0 13.1 Yanase J, Triantaphyllou E (2019). "मेडिसिन में कंप्यूटर एडेड डायग्नोसिस के भविष्य के लिए सात प्रमुख चुनौतियाँ।". International Journal of Medical Informatics. 129: 413–422. doi:10.1016/j.ijmedinf.2019.06.017. PMID 31445285. S2CID 198287435.
- ↑ Yager, Ronald R. (June 2013). "पायथागॉरियन फ़ज़ी उपसमुच्चय". 2013 Joint IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS). IEEE: 57–61. doi:10.1109/IFSA-NAFIPS.2013.6608375. ISBN 978-1-4799-0348-1. S2CID 36286152.
- ↑ Yager, Ronald R (2013). "बहुमानदंड निर्णय लेने में पायथागॉरियन सदस्यता ग्रेड". IEEE Transactions on Fuzzy Systems. 22 (4): 958–965. doi:10.1109/TFUZZ.2013.2278989. S2CID 37195356.
- ↑ Yager, Ronald R. (December 2015). पायथागॉरियन फ़ज़ी सेट के गुण और अनुप्रयोग।. Springer, Cham. pp. 119–136. ISBN 978-3-319-26302-1.
- ↑ Siegfried Gottwald, 2001. A Treatise on Many-Valued Logics. Baldock, Hertfordshire, England: Research Studies Press Ltd., ISBN 978-0-86380-262-1
- ↑ "The concept of a linguistic variable and its application to approximate reasoning," Information Sciences 8: 199–249, 301–357; 9: 43–80.
- ↑ 19.0 19.1 "Fuzzy sets as a basis for a theory of possibility," Fuzzy Sets and Systems
- ↑ J. A. Goguen "Categories of fuzzy sets: applications of non-Cantorian set theory" PhD Thesis University of California, Berkeley, 1968
- ↑ Michael Winter "Goguen Categories:A Categorical Approach to L-fuzzy Relations" 2007 Springer ISBN 9781402061639
- ↑ 22.0 22.1 Michael Winter "Representation theory of Goguen categories" Fuzzy Sets and Systems Volume 138, Issue 1, 16 August 2003, Pages 85–126
- ↑ Goguen, J.A., "L-fuzzy sets". Journal of Mathematical Analysis and Applications 18(1):145–174, 1967
- ↑ Xuecheng, Liu (1992). "फ़ज़ी सेट और उनके संबंधों की एंट्रॉपी, दूरी माप और समानता माप". Fuzzy Sets and Systems. 52 (3): 305–318. doi:10.1016/0165-0114(92)90239-Z.
- ↑ Li, Xiang (2015). "फ़ज़ी क्रॉस-एन्ट्रॉपी". Journal of Uncertainty Analysis and Applications. 3. doi:10.1186/s40467-015-0029-5.
- ↑ Burgin & Chunihin 1997; Kerre 2001; Deschrijver & Kerre 2003.
ग्रन्थसूची
- Alkhazaleh, S. and Salleh, A.R. Fuzzy Soft Multiset Theory, Abstract and Applied Analysis, 2012, article ID 350600, 20 p.
- Atanassov, K. T. (1983) Intuitionistic fuzzy sets, VII ITKR's Session, Sofia (deposited in Central Sci.-Technical Library of Bulg. Acad. of Sci., 1697/84) (in Bulgarian)
- Atanassov, K. (1986) Intuitionistic Fuzzy Sets, Fuzzy Sets and Systems, v. 20, No. 1, pp. 87–96
- Baruah, Hemanta K. (2011) The Theory of Fuzzy Sets: Beliefs and Realities, International Journal of Energy, Information and Communications, Vol, 2, Issue 2, 1 – 22.
- Baruah, Hemanta K. (2012) An Introduction to the Theory of Imprecise Sets: the Mathematics of Partial Presence, International Journal of Computational and Mathematical Sciences, Vol. 2, No. 2, 110 – 124.
- Bezdek, J.C. (1978). "Fuzzy partitions and relations and axiomatic basis for clustering". Fuzzy Sets and Systems. 1 (2): 111–127. doi:10.1016/0165-0114(78)90012-X.
- Blizard, W.D. (1989) Real-valued Multisets and Fuzzy Sets, Fuzzy Sets and Systems, v. 33, pp. 77–97
- Brown, J.G. (1971) A Note on Fuzzy Sets, Information and Control, v. 18, pp. 32–39
- Brutoczki Kornelia: Fuzzy Logic (Diploma) – Although this script has a lot of oddities and intracies due to its incompleteness, it may be used a template for exercise in removing these issues.
- Burgin, M. Theory of Named Sets as a Foundational Basis for Mathematics, in Structures in Mathematical Theories, San Sebastian, 1990, pp. 417–420
- Burgin, M.; Chunihin, A. (1997). "Named Sets in the Analysis of Uncertainty". Methodological and Theoretical Problems of Mathematics and Information Sciences. Kiev: 72–85.
- Gianpiero Cattaneo and Davide Ciucci, "Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets" in J.J. Alpigini et al. (Eds.): RSCTC 2002, LNAI 2475, pp. 77–84, 2002. doi:10.1007/3-540-45813-1_10
- Chamorro-Martínez, J. et al.: A discussion on fuzzy cardinality and quantification. Some applications in image processing, SciVerse ScienceDirect: Fuzzy Sets and Systems 257 (2014) 85–101, 30 May 2013
- Chapin, E.W. (1974) Set-valued Set Theory, I, Notre Dame J. Formal Logic, v. 15, pp. 619–634
- Chapin, E.W. (1975) Set-valued Set Theory, II, Notre Dame J. Formal Logic, v. 16, pp. 255–267
- Chris Cornelis, Martine De Cock and Etienne E. Kerre, [Intuitionistic fuzzy rough sets: at the crossroads of imperfect knowledge], Expert Systems, v. 20, issue 5, pp. 260–270, 2003
- Cornelis, C., Deschrijver, C., and Kerre, E. E. (2004) Implication in intuitionistic and interval-valued fuzzy set theory: construction, classification, application, International Journal of Approximate Reasoning, v. 35, pp. 55–95
- De Cock, Martine; Bodenhofer, Ulrich; Kerre, Etienne E. (1–4 October 2000). Modelling Linguistic Expressions Using Fuzzy Relations. Proceedings of the 6th International Conference on Soft Computing. Iizuka, Japan. pp. 353–360. CiteSeerX 10.1.1.32.8117.
- Demirci, M. (1999) Genuine Sets, Fuzzy Sets and Systems, v. 105, pp. 377–384
- Deschrijver, G.; Kerre, E.E. (2003). "On the relationship between some extensions of fuzzy set theory". Fuzzy Sets and Systems. 133 (2): 227–235. doi:10.1016/S0165-0114(02)00127-6.
- Didier Dubois, Henri M. Prade, ed. (2000). Fundamentals of fuzzy sets. The Handbooks of Fuzzy Sets Series. Vol. 7. Springer. ISBN 978-0-7923-7732-0.
- Feng F. Generalized Rough Fuzzy Sets Based on Soft Sets, Soft Computing, July 2010, Volume 14, Issue 9, pp 899–911
- Gentilhomme, Y. (1968) Les ensembles flous en linguistique, Cahiers Linguistique Theoretique Appliqee, 5, pp. 47–63
- Gogen, J.A. (1967) L-fuzzy Sets, Journal Math. Analysis Appl., v. 18, pp. 145–174
- Gottwald, S. (2006). "Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches". Studia Logica. 82 (2): 211–244. doi:10.1007/s11225-006-7197-8. S2CID 11931230.. Gottwald, S. (2006). "Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part II: Category Theoretic Approaches". Studia Logica. 84: 23–50. doi:10.1007/s11225-006-9001-1. S2CID 10453751. preprint..
- Grattan-Guinness, I. (1975) Fuzzy membership mapped onto interval and many-valued quantities. Z. Math. Logik. Grundladen Math. 22, pp. 149–160.
- Grzymala-Busse, J. Learning from examples based on rough multisets, in Proceedings of the 2nd International Symposium on Methodologies for Intelligent Systems, Charlotte, NC, USA, 1987, pp. 325–332
- Gylys, R. P. (1994) Quantal sets and sheaves over quantales, Liet. Matem. Rink., v. 34, No. 1, pp. 9–31.
- Ulrich Höhle, Stephen Ernest Rodabaugh, ed. (1999). Mathematics of fuzzy sets: logic, topology, and measure theory. The Handbooks of Fuzzy Sets Series. Vol. 3. Springer. ISBN 978-0-7923-8388-8.
- Jahn, K. U. (1975) Intervall-wertige Mengen, Math.Nach. 68, pp. 115–132
- Kaufmann, Arnold. Introduction to the theory of fuzzy subsets. Vol. 2. Academic Pr, 1975.
- Kerre, E.E. (2001). "A first view on the alternatives of fuzzy set theory". In B. Reusch; K-H. Temme (eds.). Computational Intelligence in Theory and Practice. Heidelberg: Physica-Verlag. pp. 55–72. doi:10.1007/978-3-7908-1831-4_4. ISBN 978-3-7908-1357-9.
- George J. Klir; Bo Yuan (1995). Fuzzy sets and fuzzy logic: theory and applications. Prentice Hall. ISBN 978-0-13-101171-7.
- Kuzmin, V.B. (1982). "Building Group Decisions in Spaces of Strict and Fuzzy Binary Relations" (in русский). Nauka, Moscow.
- Lake, J. (1976) Sets, fuzzy sets, multisets and functions, J. London Math. Soc., II Ser., v. 12, pp. 323–326
- Meng, D., Zhang, X. and Qin, K. Soft rough fuzzy sets and soft fuzzy rough sets, 'Computers & Mathematics with Applications', v. 62, issue 12, 2011, pp. 4635–4645
- Miyamoto, S. Fuzzy Multisets and their Generalizations, in 'Multiset Processing', LNCS 2235, pp. 225–235, 2001
- Molodtsov, O. (1999) Soft set theory – first results, Computers & Mathematics with Applications, v. 37, No. 4/5, pp. 19–31
- Moore, R.E. Interval Analysis, New York, Prentice-Hall, 1966
- Nakamura, A. (1988) Fuzzy rough sets, 'Notes on Multiple-valued Logic in Japan', v. 9, pp. 1–8
- Narinyani, A.S. Underdetermined Sets – A new datatype for knowledge representation, Preprint 232, Project VOSTOK, issue 4, Novosibirsk, Computing Center, USSR Academy of Sciences, 1980
- Pedrycz, W. Shadowed sets: representing and processing fuzzy sets, IEEE Transactions on System, Man, and Cybernetics, Part B, 28, 103–109, 1998.
- Radecki, T. Level Fuzzy Sets, 'Journal of Cybernetics', Volume 7, Issue 3–4, 1977
- Radzikowska, A.M. and Etienne E. Kerre, E.E. On L-Fuzzy Rough Sets, Artificial Intelligence and Soft Computing – ICAISC 2004, 7th International Conference, Zakopane, Poland, June 7–11, 2004, Proceedings; 01/2004
- Salii, V.N. (1965). "Binary L-relations" (PDF). Izv. Vysh. Uchebn. Zaved. Matematika (in русский). 44 (1): 133–145.
- Ramakrishnan, T.V., and Sabu Sebastian (2010) 'A study on multi-fuzzy sets', Int. J. Appl. Math. 23, 713–721.
- Sabu Sebastian and Ramakrishnan, T. V.(2010) Multi-fuzzy sets, Int. Math. Forum 50, 2471–2476.
- Sabu Sebastian and Ramakrishnan, T. V.(2011) Multi-fuzzy sets: an extension of fuzzy sets, Fuzzy Inf.Eng. 1, 35–43.
- Sabu Sebastian and Ramakrishnan, T. V.(2011) Multi-fuzzy extensions of functions, Advance in Adaptive Data Analysis 3, 339–350.
- Sabu Sebastian and Ramakrishnan, T. V.(2011) Multi-fuzzy extension of crisp functions using bridge functions, Ann. Fuzzy Math. Inform. 2 (1), 1–8
- Sambuc, R. Fonctions φ-floues: Application a l'aide au diagnostic en pathologie thyroidienne, Ph.D. Thesis Univ. Marseille, France, 1975.
- Seising, Rudolf: The Fuzzification of Systems. The Genesis of Fuzzy Set Theory and Its Initial Applications—Developments up to the 1970s (Studies in Fuzziness and Soft Computing, Vol. 216) Berlin, New York, [et al.]: Springer 2007.
- Smith, N.J.J. (2004) Vagueness and blurry sets, 'J. of Phil. Logic', 33, pp. 165–235
- Werro, Nicolas: Fuzzy Classification of Online Customers, University of Fribourg, Switzerland, 2008, Chapter 2
- Yager, R. R. (1986) On the Theory of Bags, International Journal of General Systems, v. 13, pp. 23–37
- Yao, Y.Y., Combination of rough and fuzzy sets based on α-level sets, in: Rough Sets and Data Mining: Analysis for Imprecise Data, Lin, T.Y. and Cercone, N. (Eds.), Kluwer Academic Publishers, Boston, pp. 301–321, 1997.
- Y. Y. Yao, A comparative study of fuzzy sets and rough sets, Information Sciences, v. 109, Issue 1–4, 1998, pp. 227 – 242
- Zadeh, L. (1975) The concept of a linguistic variable and its application to approximate reasoning–I, Inform. Sci., v. 8, pp. 199–249
- Hans-Jürgen Zimmermann (2001). Fuzzy set theory—and its applications (4th ed.). Kluwer. ISBN 978-0-7923-7435-0.