फजी लॉजिक: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|System for reasoning about vagueness}} {{use dmy dates|date=November 2022}} {{About|the scientific theory of that name||Fuzzy logic (disambiguation)}} फ...")
 
No edit summary
Line 1: Line 1:
{{short description|System for reasoning about vagueness}}
{{short description|System for reasoning about vagueness}}
{{use dmy dates|date=November 2022}}
 
{{About|the scientific theory of that name||Fuzzy logic (disambiguation)}}
{{About|the scientific theory of that name||Fuzzy logic (disambiguation)}}
फ़ज़ी लॉजिक कई-मूल्यवान तर्क का एक रूप है जिसमें चर का सत्य मान 0 और 1 के बीच कोई भी [[वास्तविक संख्या]] हो सकती है। इसे आंशिक सत्य की अवधारणा को संभालने के लिए नियोजित किया जाता है, जहाँ सत्य मान पूरी तरह से सत्य और पूरी तरह से गलत के बीच हो सकता है। .<ref>{{cite book |last1=Novák, V. |last2=Perfilieva, I. |last3=Močkoř, J.  |title=Mathematical principles of fuzzy logic |date=1999 |publisher=Kluwer Academic |location=Dordrecht |isbn=978-0-7923-8595-0 }}</ref> इसके विपरीत, [[बूलियन बीजगणित]] में, चर के सत्य मान केवल [[पूर्णांक]] मान 0 या 1 हो सकते हैं।
फ़ज़ी लॉजिक कई-मूल्यवान तर्क का रूप है जिसमें चर का सत्य मान 0 और 1 के बीच कोई भी [[वास्तविक संख्या]] हो सकती है। इसे आंशिक सत्य की अवधारणा को संभालने के लिए नियोजित किया जाता है, जहाँ सत्य मान पूरी तरह से सत्य और पूरी तरह से गलत के बीच हो सकता है। .<ref>{{cite book |last1=Novák, V. |last2=Perfilieva, I. |last3=Močkoř, J.  |title=Mathematical principles of fuzzy logic |date=1999 |publisher=Kluwer Academic |location=Dordrecht |isbn=978-0-7923-8595-0 }}</ref> इसके विपरीत, [[बूलियन बीजगणित]] में, चर के सत्य मान केवल [[पूर्णांक]] मान 0 या 1 हो सकते हैं।


फ़ज़ी लॉजिक शब्द की शुरुआत 1965 में ईरानी अज़रबैजानी गणितज्ञ लोत्फ़ी ए. ज़ादेह द्वारा [[फ़ज़ी सेट सिद्धांत]] के प्रस्ताव के साथ की गई थी।<ref>{{cite encyclopedia |url=http://plato.stanford.edu/entries/logic-fuzzy/ |title=Fuzzy Logic |access-date=2008-09-30 |encyclopedia=Stanford Encyclopedia of Philosophy |publisher=Bryant University |date=2006-07-23 }}</ref><ref>{{cite q | last1=Zadeh |first1=L. A. | author-link1 = Lotfi A. Zadeh | Q25938993 | journal = [[Information and Computation|Information and Control]] | doi-access = free }}</ref> हालांकि, फ़ज़ी लॉजिक का अध्ययन 1920 के दशक से किया गया था, जैसा कि लुकासिविक्ज़ लॉजिक|अनंत-मूल्यवान लॉजिक—खास तौर पर जान लुकासिविज़|लुकासिविक्ज़ और [[अल्फ्रेड टार्स्की]] द्वारा।<ref>{{cite journal | last1 = Pelletier | first1 = Francis Jeffry | year = 2000 | title = Review of ''Metamathematics of fuzzy logics'' | url = https://www.sfu.ca/~jeffpell/papers/ReviewHajek.pdf | journal = The Bulletin of Symbolic Logic | volume = 6 | issue = 3 | pages = 342–346 | jstor = 421060 | doi = 10.2307/421060 | url-status = live | archive-url = https://web.archive.org/web/20160303172812/http://www.sfu.ca/~jeffpell/papers/ReviewHajek.pdf | archive-date = 2016-03-03 }}</ref>
फ़ज़ी लॉजिक शब्द की शुरुआत 1965 में ईरानी अज़रबैजानी गणितज्ञ लोत्फ़ी ए. ज़ादेह द्वारा [[फ़ज़ी सेट सिद्धांत]] के प्रस्ताव के साथ की गई थी।<ref>{{cite encyclopedia |url=http://plato.stanford.edu/entries/logic-fuzzy/ |title=Fuzzy Logic |access-date=2008-09-30 |encyclopedia=Stanford Encyclopedia of Philosophy |publisher=Bryant University |date=2006-07-23 }}</ref><ref>{{cite q | last1=Zadeh |first1=L. A. | author-link1 = Lotfi A. Zadeh | Q25938993 | journal = [[Information and Computation|Information and Control]] | doi-access = free }}</ref> चूंकि, फ़ज़ी लॉजिक का अध्ययन 1920 के दशक से किया गया था, जैसा कि लुकासिविक्ज़ लॉजिक|अनंत-मूल्यवान लॉजिक—खास तौर पर जान लुकासिविज़|लुकासिविक्ज़ और [[अल्फ्रेड टार्स्की]] द्वारा।<ref>{{cite journal | last1 = Pelletier | first1 = Francis Jeffry | year = 2000 | title = Review of ''Metamathematics of fuzzy logics'' | url = https://www.sfu.ca/~jeffpell/papers/ReviewHajek.pdf | journal = The Bulletin of Symbolic Logic | volume = 6 | issue = 3 | pages = 342–346 | jstor = 421060 | doi = 10.2307/421060 | url-status = live | archive-url = https://web.archive.org/web/20160303172812/http://www.sfu.ca/~jeffpell/papers/ReviewHajek.pdf | archive-date = 2016-03-03 }}</ref>
फ़ज़ी लॉजिक इस अवलोकन पर आधारित है कि लोग सटीक और गैर-संख्यात्मक जानकारी के आधार पर निर्णय लेते हैं। फ़ज़ी मॉडल या सेट [[अस्पष्टता]] और सटीक जानकारी का प्रतिनिधित्व करने के गणितीय साधन हैं (इसलिए फ़ज़ी शब्द)। इन मॉडलों में डेटा और सूचना को पहचानने, प्रतिनिधित्व करने, हेरफेर करने, व्याख्या करने और उपयोग करने की क्षमता है जो अस्पष्ट हैं और निश्चितता की कमी है।<ref>{{Cite web |title=What is Fuzzy Logic? "Mechanical Engineering Discussion Forum" |url=https://mechanicalsite.com/157/what-is-fuzzy-logic |url-status=dead |archive-url=https://web.archive.org/web/20181111173944/https://mechanicalsite.com/157/what-is-fuzzy-logic |archive-date=2018-11-11 |access-date=2018-11-11 |website=mechanicalsite.com}}</ref><ref name="Babuška2012">{{cite book |author=Babuška |first=Robert |url=https://books.google.com/books?id=-nzrCAAAQBAJ |title=नियंत्रण के लिए फ़ज़ी मॉडलिंग|publisher=Springer Science & Business Media |year=1998 |isbn=978-94-011-4868-9}}</रेफरी>
फ़ज़ी लॉजिक इस अवलोकन पर आधारित है कि लोग त्रुटिहीन और गैर-संख्यात्मक जानकारी के आधार पर निर्णय लेते हैं। फ़ज़ी मॉडल या सेट [[अस्पष्टता]] और त्रुटिहीन जानकारी का प्रतिनिधित्व करने के गणितीय साधन हैं (इसलिए फ़ज़ी शब्द)। इन मॉडलों में डेटा और सूचना को पहचानने, प्रतिनिधित्व करने, हेरफेर करने, व्याख्या करने और उपयोग करने की क्षमता है जो अस्पष्ट हैं और निश्चितता की कमी है।<ref>{{Cite web |title=What is Fuzzy Logic? "Mechanical Engineering Discussion Forum" |url=https://mechanicalsite.com/157/what-is-fuzzy-logic |url-status=dead |archive-url=https://web.archive.org/web/20181111173944/https://mechanicalsite.com/157/what-is-fuzzy-logic |archive-date=2018-11-11 |access-date=2018-11-11 |website=mechanicalsite.com}}</ref><ref name="Babuška2012">{{cite book |author=Babuška |first=Robert |url=https://books.google.com/books?id=-nzrCAAAQBAJ |title=नियंत्रण के लिए फ़ज़ी मॉडलिंग|publisher=Springer Science & Business Media |year=1998 |isbn=978-94-011-4868-9}}</रेफरी>


[[नियंत्रण सिद्धांत]] से लेकर कृत्रिम बुद्धिमत्ता तक, कई क्षेत्रों में फ़ज़ी लॉजिक लागू किया गया है।
[[नियंत्रण सिद्धांत]] से लेकर कृत्रिम बुद्धिमत्ता तक, कई क्षेत्रों में फ़ज़ी लॉजिक लागू किया गया है।
Line 11: Line 11:
== सिंहावलोकन ==
== सिंहावलोकन ==
[[शास्त्रीय तर्क]] केवल उन निष्कर्षों की अनुमति देता है जो सत्य या असत्य हैं। हालाँकि, चर उत्तरों के साथ प्रस्ताव भी हैं, जैसे कि लोगों के एक समूह को एक रंग की पहचान करने के लिए कहने पर मिल सकता है। ऐसे उदाहरणों में, सत्य अयथार्थ या आंशिक ज्ञान से तर्क के परिणाम के रूप में प्रकट होता है जिसमें नमूना उत्तरों को स्पेक्ट्रम पर मैप किया जाता है।<ref>{{cite web| url-status = live| archive-url = https://web.archive.org/web/20211205194241/https://www.youtube.com/watch?v=cGdRB1r_iC0| archive-date = 2021-12-05| url = https://www.youtube.com/watch?v=cGdRB1r_iC0| title = Fuzzy Logic| website = [[YouTube]]| access-date = 2020-05-11}}</ref>
[[शास्त्रीय तर्क]] केवल उन निष्कर्षों की अनुमति देता है जो सत्य या असत्य हैं। हालाँकि, चर उत्तरों के साथ प्रस्ताव भी हैं, जैसे कि लोगों के एक समूह को एक रंग की पहचान करने के लिए कहने पर मिल सकता है। ऐसे उदाहरणों में, सत्य अयथार्थ या आंशिक ज्ञान से तर्क के परिणाम के रूप में प्रकट होता है जिसमें नमूना उत्तरों को स्पेक्ट्रम पर मैप किया जाता है।<ref>{{cite web| url-status = live| archive-url = https://web.archive.org/web/20211205194241/https://www.youtube.com/watch?v=cGdRB1r_iC0| archive-date = 2021-12-05| url = https://www.youtube.com/watch?v=cGdRB1r_iC0| title = Fuzzy Logic| website = [[YouTube]]| access-date = 2020-05-11}}</ref>
सत्य की डिग्री और प्रायिकता दोनों की सीमा 0 और 1 के बीच होती है और इसलिए पहली बार में समान लग सकती है, लेकिन फ़ज़ी लॉजिक सत्य की डिग्री का उपयोग अस्पष्टता के गणितीय मॉडल के रूप में करता है, जबकि संभाव्यता अज्ञानता का एक गणितीय मॉडल है।<ref>{{Cite book|url=https://books.google.com/books?id=QBBADwAAQBAJ&q=Both+degrees+of+truth+and+probabilities+range+between+0+and+1+and+hence+may+seem+similar+at+first,+but+fuzzy+logic+uses+degrees+of+truth+as+a+mathematical+model+of+vagueness,+while+probability+is+a+mathematical+model+of+ignorance&pg=SA4-PA13|title=Handbook of Research for Fluid and Solid Mechanics: Theory, Simulation, and Experiment|last1=Asli|first1=Kaveh Hariri|last2=Aliyev|first2=Soltan Ali Ogli|last3=Thomas|first3=Sabu|last4=Gopakumar|first4=Deepu A.|date=2017-11-23|publisher=CRC Press|isbn=9781315341507|language=en}}</ref>
सत्य की डिग्री और प्रायिकता दोनों की सीमा 0 और 1 के बीच होती है और इसलिए पहली बार में समान लग सकती है, किन्तु फ़ज़ी लॉजिक सत्य की डिग्री का उपयोग अस्पष्टता के गणितीय मॉडल के रूप में करता है, जबकि संभाव्यता अज्ञानता का गणितीय मॉडल है।<ref>{{Cite book|url=https://books.google.com/books?id=QBBADwAAQBAJ&q=Both+degrees+of+truth+and+probabilities+range+between+0+and+1+and+hence+may+seem+similar+at+first,+but+fuzzy+logic+uses+degrees+of+truth+as+a+mathematical+model+of+vagueness,+while+probability+is+a+mathematical+model+of+ignorance&pg=SA4-PA13|title=Handbook of Research for Fluid and Solid Mechanics: Theory, Simulation, and Experiment|last1=Asli|first1=Kaveh Hariri|last2=Aliyev|first2=Soltan Ali Ogli|last3=Thomas|first3=Sabu|last4=Gopakumar|first4=Deepu A.|date=2017-11-23|publisher=CRC Press|isbn=9781315341507|language=en}}</ref>




=== सत्य मान लागू करना ===
=== सत्य मान लागू करना ===
एक बुनियादी अनुप्रयोग एक [[चर (गणित)]] की विभिन्न उप-श्रेणियों की विशेषता हो सकती है। उदाहरण के लिए, [[लॉक - रोधी ब्रेकिंग प्रणाली]] के लिए एक तापमान माप | एंटी-लॉक ब्रेक में ब्रेक को ठीक से नियंत्रित करने के लिए आवश्यक विशेष तापमान रेंज को परिभाषित करने वाले कई अलग-अलग सदस्यता कार्य हो सकते हैं। प्रत्येक फ़ंक्शन समान तापमान मान को 0 से 1 श्रेणी में सत्य मान पर मैप करता है। इन सत्य मानों का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि ब्रेक को कैसे नियंत्रित किया जाना चाहिए।<ref>{{Cite book|url=https://books.google.com/books?id=-ZXJDQAAQBAJ&q=For+instance,+a+temperature+measurement+for+anti-lock+brakes+might+have+several+separate+membership+functions+defining+particular+temperature+ranges+needed+to+control+the+brakes+properly.+Each+function+maps+the+same+temperature+value+to+a+truth+value+in+the+0+to+1+range.+These+truth+values+can+then+be+used+to+determine+how+the+brakes+should+be+controlled&pg=PA47|title=Optical Character Recognition Systems for Different Languages with Soft Computing|last1=Chaudhuri|first1=Arindam|last2=Mandaviya|first2=Krupa|last3=Badelia|first3=Pratixa|last4=Ghosh|first4=Soumya K.|date=2016-12-23|publisher=Springer|isbn=9783319502526|language=en}}</ref> फ़ज़ी सेट सिद्धांत अनिश्चितता का प्रतिनिधित्व करने के लिए एक साधन प्रदान करता है।
एक बुनियादी अनुप्रयोग [[चर (गणित)]] की विभिन्न उप-श्रेणियों की विशेषता हो सकती है। उदाहरण के लिए, [[लॉक - रोधी ब्रेकिंग प्रणाली]] के लिए तापमान माप | एंटी-लॉक ब्रेक में ब्रेक को ठीक से नियंत्रित करने के लिए आवश्यक विशेष तापमान रेंज को परिभाषित करने वाले कई अलग-अलग सदस्यता कार्य हो सकते हैं। प्रत्येक फ़ंक्शन समान तापमान मान को 0 से 1 श्रेणी में सत्य मान पर मैप करता है। इन सत्य मानों का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि ब्रेक को कैसे नियंत्रित किया जाना चाहिए।<ref>{{Cite book|url=https://books.google.com/books?id=-ZXJDQAAQBAJ&q=For+instance,+a+temperature+measurement+for+anti-lock+brakes+might+have+several+separate+membership+functions+defining+particular+temperature+ranges+needed+to+control+the+brakes+properly.+Each+function+maps+the+same+temperature+value+to+a+truth+value+in+the+0+to+1+range.+These+truth+values+can+then+be+used+to+determine+how+the+brakes+should+be+controlled&pg=PA47|title=Optical Character Recognition Systems for Different Languages with Soft Computing|last1=Chaudhuri|first1=Arindam|last2=Mandaviya|first2=Krupa|last3=Badelia|first3=Pratixa|last4=Ghosh|first4=Soumya K.|date=2016-12-23|publisher=Springer|isbn=9783319502526|language=en}}</ref> फ़ज़ी सेट सिद्धांत अनिश्चितता का प्रतिनिधित्व करने के लिए साधन प्रदान करता है।


=== भाषाई चर ===
=== भाषाई चर ===
फ़ज़ी लॉजिक अनुप्रयोगों में, गैर-संख्यात्मक मानों का उपयोग अक्सर नियमों और तथ्यों की अभिव्यक्ति को सुविधाजनक बनाने के लिए किया जाता है।<ref>{{cite book |last1=Zadeh |first1=L. A. |display-authors=etal |title=Fuzzy Sets, Fuzzy Logic, Fuzzy Systems |date=1996 |publisher=World Scientific Press |isbn=978-981-02-2421-9 }}</ref>
फ़ज़ी लॉजिक अनुप्रयोगों में, गैर-संख्यात्मक मानों का उपयोग अधिकांशतःनियमों और तथ्यों की अभिव्यक्ति को सुविधाजनक बनाने के लिए किया जाता है।<ref>{{cite book |last1=Zadeh |first1=L. A. |display-authors=etal |title=Fuzzy Sets, Fuzzy Logic, Fuzzy Systems |date=1996 |publisher=World Scientific Press |isbn=978-981-02-2421-9 }}</ref>
एक भाषाई चर जैसे उम्र युवा और उसके विलोम पुराने जैसे मूल्यों को स्वीकार कर सकता है। क्योंकि प्राकृतिक भाषाओं में फज़ी वैल्यू स्केल को व्यक्त करने के लिए हमेशा पर्याप्त मूल्य शब्द नहीं होते हैं, [[विशेषण]] या क्रियाविशेषणों के साथ भाषाई मूल्यों को संशोधित करना आम बात है। उदाहरण के लिए, हम हेज (भाषाविज्ञान) का उपयोग कर सकते हैं और कुछ हद तक पुराने या कुछ नए अतिरिक्त मूल्यों का निर्माण कर सकते हैं।<ref>{{cite journal |last1=Zadeh |first1=L. A. |title=The concept of a linguistic variable and its application to approximate reasoning—I |journal=Information Sciences |date=January 1975 |volume=8 |issue=3 |pages=199–249 |doi=10.1016/0020-0255(75)90036-5 }}</ref>
एक भाषाई चर जैसे उम्र युवा और उसके विलोम पुराने जैसे मूल्यों को स्वीकार कर सकता है। क्योंकि प्राकृतिक भाषाओं में फज़ी वैल्यू स्केल को व्यक्त करने के लिए हमेशा पर्याप्त मूल्य शब्द नहीं होते हैं, [[विशेषण]] या क्रियाविशेषणों के साथ भाषाई मूल्यों को संशोधित करना आम बात है। उदाहरण के लिए, हम हेज (भाषाविज्ञान) का उपयोग कर सकते हैं और कुछ हद तक पुराने या कुछ नए अतिरिक्त मूल्यों का निर्माण कर सकते हैं।<ref>{{cite journal |last1=Zadeh |first1=L. A. |title=The concept of a linguistic variable and its application to approximate reasoning—I |journal=Information Sciences |date=January 1975 |volume=8 |issue=3 |pages=199–249 |doi=10.1016/0020-0255(75)90036-5 }}</ref>


Line 34: Line 34:
फ़ज़िफिकेशन कुछ हद तक सदस्यता के साथ फ़ज़ी सेट के लिए सिस्टम के संख्यात्मक इनपुट को असाइन करने की प्रक्रिया है। सदस्यता की यह डिग्री अंतराल [0,1] के भीतर कहीं भी हो सकती है। यदि यह 0 है तो मान दिए गए फ़ज़ी सेट से संबंधित नहीं है, और यदि यह 1 है तो मान पूरी तरह फ़ज़ी सेट के अंतर्गत आता है। 0 और 1 के बीच का कोई भी मान अनिश्चितता की डिग्री का प्रतिनिधित्व करता है जो मान सेट में होता है। इन अस्पष्ट सेटों को आम तौर पर शब्दों द्वारा वर्णित किया जाता है, और इसलिए फ़ज़ी सेटों को सिस्टम इनपुट निर्दिष्ट करके, हम इसके साथ भाषाई रूप से प्राकृतिक तरीके से तर्क कर सकते हैं।
फ़ज़िफिकेशन कुछ हद तक सदस्यता के साथ फ़ज़ी सेट के लिए सिस्टम के संख्यात्मक इनपुट को असाइन करने की प्रक्रिया है। सदस्यता की यह डिग्री अंतराल [0,1] के भीतर कहीं भी हो सकती है। यदि यह 0 है तो मान दिए गए फ़ज़ी सेट से संबंधित नहीं है, और यदि यह 1 है तो मान पूरी तरह फ़ज़ी सेट के अंतर्गत आता है। 0 और 1 के बीच का कोई भी मान अनिश्चितता की डिग्री का प्रतिनिधित्व करता है जो मान सेट में होता है। इन अस्पष्ट सेटों को आम तौर पर शब्दों द्वारा वर्णित किया जाता है, और इसलिए फ़ज़ी सेटों को सिस्टम इनपुट निर्दिष्ट करके, हम इसके साथ भाषाई रूप से प्राकृतिक तरीके से तर्क कर सकते हैं।


उदाहरण के लिए, नीचे दी गई छवि में भावों के अर्थ ठंडे, गर्म और गर्म तापमान पैमाने के मानचित्रण कार्यों द्वारा दर्शाए गए हैं। उस पैमाने पर एक बिंदु के तीन सत्य मान हैं - तीन कार्यों में से प्रत्येक के लिए एक। छवि में लंबवत रेखा एक विशेष तापमान का प्रतिनिधित्व करती है जिसे तीन तीर (सत्य मान) गेज करते हैं। चूँकि लाल तीर शून्य की ओर इशारा करता है, इस तापमान की व्याख्या गर्म नहीं के रूप में की जा सकती है; यानी फ़ज़ी सेट हॉट में इस तापमान की शून्य सदस्यता है। नारंगी तीर (0.2 की ओर इशारा करते हुए) इसे थोड़ा गर्म और नीला तीर (0.8 की ओर इशारा करते हुए) काफी ठंडा बता सकता है। इसलिए, इस तापमान में फ़ज़ी सेट वार्म में 0.2 सदस्यता और फ़ज़ी सेट कोल्ड में 0.8 सदस्यता होती है। प्रत्येक फ़ज़ी सेट के लिए असाइन की गई सदस्यता की डिग्री फ़ज़ीफ़िकेशन का परिणाम है।
उदाहरण के लिए, नीचे दी गई छवि में भावों के अर्थ ठंडे, गर्म और गर्म तापमान पैमाने के मानचित्रण कार्यों द्वारा दर्शाए गए हैं। उस पैमाने पर बिंदु के तीन सत्य मान हैं - तीन कार्यों में से प्रत्येक के लिए एक। छवि में लंबवत रेखा विशेष तापमान का प्रतिनिधित्व करती है जिसे तीन तीर (सत्य मान) गेज करते हैं। चूँकि लाल तीर शून्य की ओर इशारा करता है, इस तापमान की व्याख्या गर्म नहीं के रूप में की जा सकती है; अर्थात फ़ज़ी सेट हॉट में इस तापमान की शून्य सदस्यता है। नारंगी तीर (0.2 की ओर इशारा करते हुए) इसे थोड़ा गर्म और नीला तीर (0.8 की ओर इशारा करते हुए) अधिक  ठंडा बता सकता है। इसलिए, इस तापमान में फ़ज़ी सेट वार्म में 0.2 सदस्यता और फ़ज़ी सेट कोल्ड में 0.8 सदस्यता होती है। प्रत्येक फ़ज़ी सेट के लिए असाइन की गई सदस्यता की डिग्री फ़ज़ीफ़िकेशन का परिणाम है।


[[Image:Fuzzy logic temperature en.svg|thumb|center|upright=1.5|फ़ज़ी लॉजिक तापमान]][[फजी सेट]] को अक्सर त्रिभुज या समलम्बाकार के आकार के वक्र के रूप में परिभाषित किया जाता है, क्योंकि प्रत्येक मान में एक ढलान होगी जहाँ मूल्य बढ़ रहा है, एक चोटी जहाँ मान 1 के बराबर है (जिसकी लंबाई 0 या अधिक हो सकती है) और एक ढलान जहाँ मूल्य घट रहा है।<ref>{{Cite journal |last1=Xiao |first1=Zhi |last2=Xia |first2=Sisi |last3=Gong |first3=Ke |last4=Li |first4=Dan |date=2012-12-01 |title=The trapezoidal fuzzy soft set and its application in MCDM |url=https://www.sciencedirect.com/science/article/pii/S0307904X12000510 |journal=Applied Mathematical Modelling |language=en |volume=36 |issue=12 |pages=5846–5847 |doi=10.1016/j.apm.2012.01.036 |issn=0307-904X|doi-access=free }}</ref> उन्हें [[सिग्मॉइड फ़ंक्शन]] का उपयोग करके भी परिभाषित किया जा सकता है।<ref>{{cite web|last1=Wierman|first1=Mark J.|title=An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory|url=https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf|publisher=Creighton University|access-date=16 July 2016|url-status=live|archive-url=https://web.archive.org/web/20120730155249/https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf|archive-date=30 July 2012}}</ref> [[लॉजिस्टिक फंक्शन]] के रूप में परिभाषित एक सामान्य मामला है
[[Image:Fuzzy logic temperature en.svg|thumb|center|upright=1.5|फ़ज़ी लॉजिक तापमान]][[फजी सेट]] को अधिकांशतःत्रिभुज या समलम्बाकार के आकार के वक्र के रूप में परिभाषित किया जाता है, क्योंकि प्रत्येक मान में ढलान होगी जहाँ मूल्य बढ़ रहा है, चोटी जहाँ मान 1 के बराबर है (जिसकी लंबाई 0 या अधिक हो सकती है) और ढलान जहाँ मूल्य घट रहा है।<ref>{{Cite journal |last1=Xiao |first1=Zhi |last2=Xia |first2=Sisi |last3=Gong |first3=Ke |last4=Li |first4=Dan |date=2012-12-01 |title=The trapezoidal fuzzy soft set and its application in MCDM |url=https://www.sciencedirect.com/science/article/pii/S0307904X12000510 |journal=Applied Mathematical Modelling |language=en |volume=36 |issue=12 |pages=5846–5847 |doi=10.1016/j.apm.2012.01.036 |issn=0307-904X|doi-access=free }}</ref> उन्हें [[सिग्मॉइड फ़ंक्शन]] का उपयोग करके भी परिभाषित किया जा सकता है।<ref>{{cite web|last1=Wierman|first1=Mark J.|title=An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory|url=https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf|publisher=Creighton University|access-date=16 July 2016|url-status=live|archive-url=https://web.archive.org/web/20120730155249/https://www.creighton.edu/fileadmin/user/CCAS/programs/fuzzy_math/docs/MOU.pdf|archive-date=30 July 2012}}</ref> [[लॉजिस्टिक फंक्शन]] के रूप में परिभाषित सामान्य मामला है


: <math> S(x) = \frac{1}{1 + e^{-x}} </math>
: <math> S(x) = \frac{1}{1 + e^{-x}} </math>
Line 49: Line 49:
==== फजी लॉजिक ऑपरेटर्स ====
==== फजी लॉजिक ऑपरेटर्स ====


फ़ज़ी लॉजिक सदस्यता मूल्यों के साथ इस तरह काम करता है जो [[बूलियन तर्क]] की नकल करता है। इसके लिए, बेसिक [[ऑपरेटर (कंप्यूटर प्रोग्रामिंग)]] के AND, OR, NOT के लिए प्रतिस्थापन उपलब्ध होना चाहिए। इसके कई तरीके हैं। एक सामान्य प्रतिस्थापन कहा जाता है{{vanchor|Zadeh operator}}एस:
फ़ज़ी लॉजिक सदस्यता मूल्यों के साथ इस तरह काम करता है जो [[बूलियन तर्क]] की नकल करता है। इसके लिए, बेसिक [[ऑपरेटर (कंप्यूटर प्रोग्रामिंग)]] के AND, OR, NOT के लिए प्रतिस्थापन उपलब्ध होना चाहिए। इसके कई तरीके हैं। सामान्य प्रतिस्थापन कहा जाता है{{vanchor|Zadeh operator}}एस:


{| class="wikitable"
{| class="wikitable"
Line 69: Line 69:


अन्य ऑपरेटर भी हैं, प्रकृति में अधिक भाषाई, जिन्हें हेजेज कहा जाता है जिन्हें लागू किया जा सकता है। ये आम तौर पर क्रियाविशेषण होते हैं जैसे बहुत, या कुछ हद तक, जो [[गणितीय सूत्र]] का उपयोग करके सेट के अर्थ को संशोधित करते हैं।<ref>{{Cite journal |last=Zadeh |first=L. A. |date=January 1972 |title=A Fuzzy-Set-Theoretic Interpretation of Linguistic Hedges |url=http://dx.doi.org/10.1080/01969727208542910 |journal=Journal of Cybernetics |volume=2 |issue=3 |pages= 4–34|doi=10.1080/01969727208542910 |issn=0022-0280}}</ref>
अन्य ऑपरेटर भी हैं, प्रकृति में अधिक भाषाई, जिन्हें हेजेज कहा जाता है जिन्हें लागू किया जा सकता है। ये आम तौर पर क्रियाविशेषण होते हैं जैसे बहुत, या कुछ हद तक, जो [[गणितीय सूत्र]] का उपयोग करके सेट के अर्थ को संशोधित करते हैं।<ref>{{Cite journal |last=Zadeh |first=L. A. |date=January 1972 |title=A Fuzzy-Set-Theoretic Interpretation of Linguistic Hedges |url=http://dx.doi.org/10.1080/01969727208542910 |journal=Journal of Cybernetics |volume=2 |issue=3 |pages= 4–34|doi=10.1080/01969727208542910 |issn=0022-0280}}</ref>
हालांकि, एक मनमाना विकल्प तालिका हमेशा फ़ज़ी लॉजिक फ़ंक्शन को परिभाषित नहीं करती है। कागज में (जैतसेव, एट अल),<ref>{{ Cite journal | last1 = Zaitsev | first1 = D. A. | author2 = Sarbei, V. G. | author3 = Sleptsov, A. I. | year = 1998 | title = Synthesis of continuous-valued logic functions defined in tabular form | journal = [[Cybernetics and Systems Analysis]] | volume = 34 | issue = 2 | pages = 190–195 | doi = 10.1007/BF02742068 | s2cid = 120220846 }}</ref> यह पहचानने के लिए एक मानदंड तैयार किया गया है कि क्या दी गई पसंद तालिका फ़ज़ी लॉजिक फ़ंक्शन को परिभाषित करती है और फ़ज़ी लॉजिक फ़ंक्शन सिंथेसिस का एक सरल एल्गोरिदम न्यूनतम और अधिकतम घटकों की प्रस्तुत अवधारणाओं के आधार पर प्रस्तावित किया गया है। एक फ़ज़ी लॉजिक फ़ंक्शन न्यूनतम के घटकों के संयोजन का प्रतिनिधित्व करता है, जहां न्यूनतम का एक घटक इस क्षेत्र में फ़ंक्शन मान से अधिक या उसके बराबर वर्तमान क्षेत्र के चर का एक संयोजन है (असमानता में फ़ंक्शन मान के दाईं ओर, सहित) फ़ंक्शन मान)।
चूंकि, मनमाना विकल्प तालिका हमेशा फ़ज़ी लॉजिक फ़ंक्शन को परिभाषित नहीं करती है। कागज में (जैतसेव, एट अल),<ref>{{ Cite journal | last1 = Zaitsev | first1 = D. A. | author2 = Sarbei, V. G. | author3 = Sleptsov, A. I. | year = 1998 | title = Synthesis of continuous-valued logic functions defined in tabular form | journal = [[Cybernetics and Systems Analysis]] | volume = 34 | issue = 2 | pages = 190–195 | doi = 10.1007/BF02742068 | s2cid = 120220846 }}</ref> यह पहचानने के लिए मानदंड तैयार किया गया है कि क्या दी गई पसंद तालिका फ़ज़ी लॉजिक फ़ंक्शन को परिभाषित करती है और फ़ज़ी लॉजिक फ़ंक्शन सिंथेसिस का सरल एल्गोरिदम न्यूनतम और अधिकतम घटकों की प्रस्तुत अवधारणाओं के आधार पर प्रस्तावित किया गया है। फ़ज़ी लॉजिक फ़ंक्शन न्यूनतम के घटकों के संयोजन का प्रतिनिधित्व करता है, जहां न्यूनतम का घटक इस क्षेत्र में फ़ंक्शन मान से अधिक या उसके बराबर वर्तमान क्षेत्र के चर का संयोजन है (असमानता में फ़ंक्शन मान के दाईं ओर, सहित) फ़ंक्शन मान)।


AND/OR ऑपरेटरों का एक और सेट गुणन पर आधारित है, जहां
AND/OR ऑपरेटरों का और सेट गुणन पर आधारित है, जहां


<वाक्यविन्यास लैंग = पाठ>
<वाक्यविन्यास लैंग = पाठ>
Line 87: Line 87:
AND/OR/NOT में से किन्हीं दो को देखते हुए, तीसरा प्राप्त करना संभव है। AND के सामान्यीकरण को t-मानक के रूप में जाना जाता है।
AND/OR/NOT में से किन्हीं दो को देखते हुए, तीसरा प्राप्त करना संभव है। AND के सामान्यीकरण को t-मानक के रूप में जाना जाता है।


==== अगर-तो नियम ====
==== यदि-तो नियम ====
{{Main|Fuzzy rule}}
{{Main|Fuzzy rule}}
IF-THEN नियम वांछित आउटपुट सत्य मानों के लिए इनपुट या गणना किए गए सत्य मानों को मैप करते हैं। उदाहरण:
IF-THEN नियम वांछित आउटपुट सत्य मानों के लिए इनपुट या गणना किए गए सत्य मानों को मैप करते हैं। उदाहरण:
Line 97: Line 97:
</वाक्यविन्यास हाइलाइट>
</वाक्यविन्यास हाइलाइट>


एक निश्चित तापमान को देखते हुए, फ़ज़ी वेरिएबल हॉट का एक निश्चित सत्य मान होता है, जिसे उच्च चर में कॉपी किया जाता है।
एक निश्चित तापमान को देखते हुए, फ़ज़ी वेरिएबल हॉट का निश्चित सत्य मान होता है, जिसे उच्च चर में कॉपी किया जाता है।


यदि कोई आउटपुट चर कई THEN भागों में होता है, तो संबंधित IF भागों के मानों को OR ऑपरेटर का उपयोग करके संयोजित किया जाता है।
यदि कोई आउटपुट चर कई THEN भागों में होता है, तो संबंधित IF भागों के मानों को OR ऑपरेटर का उपयोग करके संयोजित किया जाता है।
Line 103: Line 103:
==== डीफजिफिकेशन ====
==== डीफजिफिकेशन ====
{{Main|Defuzzification}}
{{Main|Defuzzification}}
लक्ष्य फ़ज़ी ट्रुथ वैल्यूज़ से एक सतत चर प्राप्त करना है।{{Citation needed|date=September 2017}}
लक्ष्य फ़ज़ी ट्रुथ वैल्यूज़ से सतत चर प्राप्त करना है।{{Citation needed|date=September 2017}}
यह आसान होगा यदि आउटपुट सत्य मान वास्तव में किसी दिए गए नंबर के फ़ज़िफिकेशन से प्राप्त किए गए हों।
यह आसान होगा यदि आउटपुट सत्य मान वास्तव में किसी दिए गए नंबर के फ़ज़िफिकेशन से प्राप्त किए गए हों।
चूंकि, हालांकि, सभी आउटपुट सत्य मूल्यों की स्वतंत्र रूप से गणना की जाती है, ज्यादातर मामलों में वे संख्याओं के ऐसे सेट का प्रतिनिधित्व नहीं करते हैं।{{Citation needed|date=September 2017}}
चूंकि, चूंकि, सभी आउटपुट सत्य मूल्यों की स्वतंत्र रूप से गणना की जाती है, ज्यादातर मामलों में वे संख्याओं के ऐसे सेट का प्रतिनिधित्व नहीं करते हैं।{{Citation needed|date=September 2017}}
एक को तब एक संख्या तय करनी होती है जो सत्य मान में एन्कोड किए गए इरादे से सबसे अच्छी तरह मेल खाती है।
एक को तब संख्या तय करनी होती है जो सत्य मान में एन्कोड किए गए इरादे से सबसे अच्छी तरह मेल खाती है।
उदाहरण के लिए, fan_speed के कई सत्य मानों के लिए, एक वास्तविक गति का पता लगाना चाहिए जो 'धीमी', 'मध्यम' और इसी तरह के चरों के संगणित सत्य मानों के लिए सबसे उपयुक्त हो। {{Citation needed | date = September 2017 }}
उदाहरण के लिए, fan_speed के कई सत्य मानों के लिए, वास्तविक गति का पता लगाना चाहिए जो 'धीमी', 'मध्यम' और इसी तरह के चरों के संगणित सत्य मानों के लिए सबसे उपयुक्त हो। {{Citation needed | date = September 2017 }}
इस उद्देश्य के लिए कोई एकल एल्गोरिथम नहीं है।
इस उद्देश्य के लिए कोई एकल एल्गोरिथम नहीं है।


Line 117: Line 117:


=== ताकगी-सुगेनो-कांग (टीएसके) ===
=== ताकगी-सुगेनो-कांग (टीएसके) ===
टीएसके प्रणाली<ref>{{cite journal |last1=Takagi |first1=Tomohiro |last2=Sugeno |first2=Michio |title=Fuzzy identification of systems and its applications to modeling and control |journal=IEEE Transactions on Systems, Man, and Cybernetics |date=January 1985 |volume=SMC-15 |issue=1 |pages=116–132 |doi=10.1109/TSMC.1985.6313399 |s2cid=3333100 }}</ref> ममदानी के समान है, लेकिन अस्पष्टीकरण प्रक्रिया फजी नियमों के निष्पादन में शामिल है। इन्हें भी अनुकूलित किया जाता है, ताकि इसके बजाय नियम के परिणाम को एक बहुपद समारोह (आमतौर पर स्थिर या रैखिक) के माध्यम से प्रदर्शित किया जा सके। एक स्थिर आउटपुट वाले नियम का एक उदाहरण होगा:<syntaxhighlight lang= text >
टीएसके प्रणाली<ref>{{cite journal |last1=Takagi |first1=Tomohiro |last2=Sugeno |first2=Michio |title=Fuzzy identification of systems and its applications to modeling and control |journal=IEEE Transactions on Systems, Man, and Cybernetics |date=January 1985 |volume=SMC-15 |issue=1 |pages=116–132 |doi=10.1109/TSMC.1985.6313399 |s2cid=3333100 }}</ref> ममदानी के समान है, किन्तु अस्पष्टीकरण प्रक्रिया फजी नियमों के निष्पादन में सम्मलित है। इन्हें भी अनुकूलित किया जाता है, जिससे कि इसके अतिरिक्त नियम के परिणाम को बहुपद समारोह (सामान्यतः स्थिर या रैखिक) के माध्यम से प्रदर्शित किया जा सके। स्थिर आउटपुट वाले नियम का उदाहरण होगा:<syntaxhighlight lang= text >
यदि तापमान बहुत ठंडा है = 2
यदि तापमान बहुत ठंडा है = 2
</syntaxhighlight>इस स्थिति में, आउटपुट परिणामी के स्थिरांक के बराबर होगा (उदाहरण 2)। अधिकांश परिदृश्यों में हमारे पास 2 या अधिक नियमों के साथ संपूर्ण नियम आधार होगा। यदि यह स्थिति है, तो पूरे नियम आधार का उत्पादन प्रत्येक नियम i (Y<sub>i</sub>), इसके पूर्ववर्ती के सदस्यता मूल्य के अनुसार भारित (एच<sub>i</sub>):
</syntaxhighlight>इस स्थिति में, आउटपुट परिणामी के स्थिरांक के बराबर होगा (उदाहरण 2)। अधिकांश परिदृश्यों में हमारे पास 2 या अधिक नियमों के साथ संपूर्ण नियम आधार होगा। यदि यह स्थिति है, तो पूरे नियम आधार का उत्पादन प्रत्येक नियम i (Y<sub>i</sub>), इसके पूर्ववर्ती के सदस्यता मूल्य के अनुसार भारित (एच<sub>i</sub>):


<math>\frac{\sum_i (h_i \cdot Y_i)}{\sum_i h_i}</math>
<math>\frac{\sum_i (h_i \cdot Y_i)}{\sum_i h_i}</math>
रैखिक आउटपुट वाले नियम का एक उदाहरण इसके बजाय होगा:<syntaxhighlight lang= text >
रैखिक आउटपुट वाले नियम का उदाहरण इसके अतिरिक्त होगा:<syntaxhighlight lang= text >
यदि तापमान बहुत ठंडा है और आर्द्रता अधिक है = 2 * तापमान + 1 * आर्द्रता
यदि तापमान बहुत ठंडा है और आर्द्रता अधिक है = 2 * तापमान + 1 * आर्द्रता
</syntaxhighlight>इस स्थिति में, नियम का आउटपुट परिणाम में फ़ंक्शन का परिणाम होगा। फ़ंक्शन के भीतर चर फ़ज़िफिकेशन के बाद सदस्यता मूल्यों का प्रतिनिधित्व करते हैं, क्रिस्प मूल्यों का नहीं। पहले की तरह, यदि हमारे पास 2 या अधिक नियमों के साथ संपूर्ण नियम आधार है, तो कुल आउटपुट प्रत्येक नियम के आउटपुट के बीच भारित औसत होगा।
</syntaxhighlight>इस स्थिति में, नियम का आउटपुट परिणाम में फ़ंक्शन का परिणाम होगा। फ़ंक्शन के भीतर चर फ़ज़िफिकेशन के बाद सदस्यता मूल्यों का प्रतिनिधित्व करते हैं, क्रिस्प मूल्यों का नहीं। पहले की तरह, यदि हमारे पास 2 या अधिक नियमों के साथ संपूर्ण नियम आधार है, तो कुल आउटपुट प्रत्येक नियम के आउटपुट के बीच भारित औसत होगा।


ममदानी पर टीएसके का उपयोग करने का मुख्य लाभ यह है कि यह कम्प्यूटेशनल रूप से कुशल है और अन्य एल्गोरिदम जैसे कि पीआईडी ​​​​नियंत्रण और अनुकूलन एल्गोरिदम के साथ अच्छी तरह से काम करता है। यह आउटपुट सतह की निरंतरता की गारंटी भी दे सकता है। हालांकि, ममदानी लोगों के साथ काम करने में अधिक सहज और आसान है। इसलिए, टीएसके आमतौर पर अन्य जटिल तरीकों के भीतर प्रयोग किया जाता है, जैसे कि अनुकूली न्यूरो फ़ज़ी इनफेरेंस सिस्टम में।
ममदानी पर टीएसके का उपयोग करने का मुख्य लाभ यह है कि यह कम्प्यूटेशनल रूप से कुशल है और अन्य एल्गोरिदम जैसे कि पीआईडी ​​​​नियंत्रण और अनुकूलन एल्गोरिदम के साथ अच्छी तरह से काम करता है। यह आउटपुट सतह की निरंतरता की गारंटी भी दे सकता है। चूंकि, ममदानी लोगों के साथ काम करने में अधिक सहज और आसान है। इसलिए, टीएसके सामान्यतः अन्य जटिल तरीकों के भीतर प्रयोग किया जाता है, जैसे कि अनुकूली न्यूरो फ़ज़ी इनफेरेंस सिस्टम में।


== इनपुट और फजी नियमों की आम सहमति बनाना ==
== इनपुट और फजी नियमों की आम सहमति बनाना ==


चूंकि फ़ज़ी सिस्टम आउटपुट सभी इनपुट और सभी नियमों की सहमति है, फ़ज़ी लॉजिक सिस्टम को अच्छी तरह से व्यवहार किया जा सकता है जब इनपुट मान उपलब्ध नहीं होते हैं या भरोसेमंद नहीं होते हैं। नियम आधार में प्रत्येक नियम में भार को वैकल्पिक रूप से जोड़ा जा सकता है और भार का उपयोग उस डिग्री को विनियमित करने के लिए किया जा सकता है जिस पर एक नियम आउटपुट मानों को प्रभावित करता है। ये नियम भार प्रत्येक नियम की प्राथमिकता, विश्वसनीयता या स्थिरता पर आधारित हो सकते हैं। ये नियम भार स्थिर हो सकते हैं या अन्य नियमों के आउटपुट के आधार पर भी गतिशील रूप से बदले जा सकते हैं।
चूंकि फ़ज़ी सिस्टम आउटपुट सभी इनपुट और सभी नियमों की सहमति है, फ़ज़ी लॉजिक सिस्टम को अच्छी तरह से व्यवहार किया जा सकता है जब इनपुट मान उपलब्ध नहीं होते हैं या भरोसेमंद नहीं होते हैं। नियम आधार में प्रत्येक नियम में भार को वैकल्पिक रूप से जोड़ा जा सकता है और भार का उपयोग उस डिग्री को विनियमित करने के लिए किया जा सकता है जिस पर नियम आउटपुट मानों को प्रभावित करता है। ये नियम भार प्रत्येक नियम की प्राथमिकता, विश्वसनीयता या स्थिरता पर आधारित हो सकते हैं। ये नियम भार स्थिर हो सकते हैं या अन्य नियमों के आउटपुट के आधार पर भी गतिशील रूप से बदले जा सकते हैं।


== अनुप्रयोग ==
== अनुप्रयोग ==


फ़ज़ी लॉजिक का उपयोग नियंत्रण प्रणालियों में किया जाता है ताकि विशेषज्ञों को अस्पष्ट नियमों का योगदान करने की अनुमति मिल सके जैसे कि यदि आप गंतव्य स्टेशन के करीब हैं और तेज़ी से आगे बढ़ रहे हैं, तो ट्रेन के ब्रेक दबाव में वृद्धि करें; इन अस्पष्ट नियमों [[नियंत्रण प्रणाली]] के भीतर संख्यात्मक रूप से परिष्कृत किया जा सकता है।
फ़ज़ी लॉजिक का उपयोग नियंत्रण प्रणालियों में किया जाता है जिससे कि विशेषज्ञों को अस्पष्ट नियमों का योगदान करने की अनुमति मिल सके जैसे कि यदि आप गंतव्य स्टेशन के करीब हैं और तेज़ी से आगे बढ़ रहे हैं, तो ट्रेन के ब्रेक दबाव में वृद्धि करें; इन अस्पष्ट नियमों [[नियंत्रण प्रणाली]] के भीतर संख्यात्मक रूप से परिष्कृत किया जा सकता है।


फ़ज़ी लॉजिक के कई शुरुआती सफल अनुप्रयोग जापान में लागू किए गए थे। पहला उल्लेखनीय अनुप्रयोग [[सेंदाई सबवे 1000 श्रृंखला]] पर था, जिसमें फ़ज़ी लॉजिक अर्थव्यवस्था, आराम और सवारी की सटीकता में सुधार करने में सक्षम था। इसका उपयोग सोनी पॉकेट कंप्यूटर, हेलीकॉप्टर उड़ान सहायता, सबवे सिस्टम नियंत्रण, ऑटोमोबाइल ईंधन दक्षता में सुधार, सिंगल-बटन वाशिंग मशीन नियंत्रण, वैक्यूम क्लीनर में स्वत: बिजली नियंत्रण, और भूकंप विज्ञान संस्थान के माध्यम से भूकंप की शीघ्र पहचान के लिए लिखावट की पहचान के लिए भी किया गया है। मौसम विज्ञान ब्यूरो, जापान।<ref>{{cite book |last1=Bansod |first1=Nitin A |last2=Kulkarni |first2=Marshall |last3=Patil |first3=S. H. |editor1-last=Bharati Vidyapeeth College of Engineering |title=Soft Computing |date=2005 |publisher=Allied Publishers |isbn=978-81-7764-632-0 |pages=73 |chapter-url=https://books.google.com/books?id=IkajJC9iGxMC&pg=PA73 |access-date=9 November 2018 |chapter=Soft Computing- A Fuzzy Logic Approach}}</ref>
फ़ज़ी लॉजिक के कई प्रारंभिक सफल अनुप्रयोग जापान में लागू किए गए थे। पहला उल्लेखनीय अनुप्रयोग [[सेंदाई सबवे 1000 श्रृंखला]] पर था, जिसमें फ़ज़ी लॉजिक अर्थव्यवस्था, आराम और सवारी की त्रुटिहीनता में सुधार करने में सक्षम था। इसका उपयोग सोनी पॉकेट कंप्यूटर, हेलीकॉप्टर उड़ान सहायता, सबवे सिस्टम नियंत्रण, ऑटोमोबाइल ईंधन दक्षता में सुधार, सिंगल-बटन वाशिंग मशीन नियंत्रण, वैक्यूम क्लीनर में स्वत: बिजली नियंत्रण, और भूकंप विज्ञान संस्थान के माध्यम से भूकंप की शीघ्र पहचान के लिए लिखावट की पहचान के लिए भी किया गया है। मौसम विज्ञान ब्यूरो, जापान।<ref>{{cite book |last1=Bansod |first1=Nitin A |last2=Kulkarni |first2=Marshall |last3=Patil |first3=S. H. |editor1-last=Bharati Vidyapeeth College of Engineering |title=Soft Computing |date=2005 |publisher=Allied Publishers |isbn=978-81-7764-632-0 |pages=73 |chapter-url=https://books.google.com/books?id=IkajJC9iGxMC&pg=PA73 |access-date=9 November 2018 |chapter=Soft Computing- A Fuzzy Logic Approach}}</ref>




=== कृत्रिम बुद्धि ===
=== कृत्रिम बुद्धि ===
{{Main articles|Neuro-fuzzy}}
{{Main articles|Neuro-fuzzy}}
एआई और फ़ज़ी लॉजिक, जब विश्लेषण किया जाता है, एक ही चीज़ हैं - तंत्रिका नेटवर्क का अंतर्निहित तर्क फ़ज़ी है। एक तंत्रिका नेटवर्क विभिन्न प्रकार के मूल्यवान इनपुट लेगा, उन्हें एक दूसरे के संबंध में अलग-अलग भार देगा, और एक निर्णय पर पहुंचेगा जिसका सामान्य रूप से भी मूल्य होता है। उस प्रक्रिया में कहीं भी या तो-या निर्णयों के अनुक्रम जैसा कुछ नहीं है जो गैर-फजी गणित, लगभग सभी कंप्यूटर प्रोग्रामिंग और डिजिटल इलेक्ट्रॉनिक्स की विशेषता है। 1980 के दशक में, शोधकर्ताओं को मशीन सीखने के लिए सबसे प्रभावी दृष्टिकोण के बारे में विभाजित किया गया था: सामान्य ज्ञान मॉडल या तंत्रिका नेटवर्क। पूर्व दृष्टिकोण के लिए बड़े निर्णय वृक्षों की आवश्यकता होती है और यह बाइनरी लॉजिक का उपयोग करता है, जिस हार्डवेयर पर यह चलता है उससे मेल खाता है। भौतिक उपकरण बाइनरी लॉजिक तक सीमित हो सकते हैं, लेकिन एआई इसकी गणना के लिए सॉफ्टवेयर का उपयोग कर सकता है। तंत्रिका नेटवर्क इस दृष्टिकोण को अपनाते हैं, जिसके परिणामस्वरूप जटिल स्थितियों के अधिक सटीक मॉडल मिलते हैं। तंत्रिका नेटवर्क ने जल्द ही कई इलेक्ट्रॉनिक उपकरणों पर अपना रास्ता खोज लिया।<ref>{{cite journal|last1=Elkan|first1=Charles|title=The paradoxical success of fuzzy logic|journal=IEEE Expert|date=1994|volume=9|issue=4|pages=3–49|doi=10.1109/64.336150|citeseerx=10.1.1.100.8402|s2cid=113687}}</ref>
एआई और फ़ज़ी लॉजिक, जब विश्लेषण किया जाता है, ही चीज़ हैं - तंत्रिका नेटवर्क का अंतर्निहित तर्क फ़ज़ी है। तंत्रिका नेटवर्क विभिन्न प्रकार के मूल्यवान इनपुट लेगा, उन्हें दूसरे के संबंध में अलग-अलग भार देगा, और निर्णय पर पहुंचेगा जिसका सामान्य रूप से भी मूल्य होता है। उस प्रक्रिया में कहीं भी या तो-या निर्णयों के अनुक्रम जैसा कुछ नहीं है जो गैर-फजी गणित, लगभग सभी कंप्यूटर प्रोग्रामिंग और डिजिटल इलेक्ट्रॉनिक्स की विशेषता है। 1980 के दशक में, शोधकर्ताओं को मशीन सीखने के लिए सबसे प्रभावी दृष्टिकोण के बारे में विभाजित किया गया था: सामान्य ज्ञान मॉडल या तंत्रिका नेटवर्क। पूर्व दृष्टिकोण के लिए बड़े निर्णय वृक्षों की आवश्यकता होती है और यह बाइनरी लॉजिक का उपयोग करता है, जिस हार्डवेयर पर यह चलता है उससे मेल खाता है। भौतिक उपकरण बाइनरी लॉजिक तक सीमित हो सकते हैं, किन्तु एआई इसकी गणना के लिए सॉफ्टवेयर का उपयोग कर सकता है। तंत्रिका नेटवर्क इस दृष्टिकोण को अपनाते हैं, जिसके परिणामस्वरूप जटिल स्थितियों के अधिक त्रुटिहीन मॉडल मिलते हैं। तंत्रिका नेटवर्क ने जल्द ही कई इलेक्ट्रॉनिक उपकरणों पर अपना रास्ता खोज लिया।<ref>{{cite journal|last1=Elkan|first1=Charles|title=The paradoxical success of fuzzy logic|journal=IEEE Expert|date=1994|volume=9|issue=4|pages=3–49|doi=10.1109/64.336150|citeseerx=10.1.1.100.8402|s2cid=113687}}</ref>




=== चिकित्सा निर्णय लेना ===
=== चिकित्सा निर्णय लेना ===


[[नैदानिक ​​निर्णय समर्थन प्रणाली]] में फ़ज़ी लॉजिक एक महत्वपूर्ण अवधारणा है। चूंकि चिकित्सा और स्वास्थ्य संबंधी डेटा व्यक्तिपरक या फजी हो सकता है, इसलिए इस डोमेन के अनुप्रयोगों में फ़ज़ी लॉजिक आधारित दृष्टिकोणों का उपयोग करके बहुत अधिक लाभ उठाने की क्षमता है।
[[नैदानिक ​​निर्णय समर्थन प्रणाली]] में फ़ज़ी लॉजिक महत्वपूर्ण अवधारणा है। चूंकि चिकित्सा और स्वास्थ्य संबंधी डेटा व्यक्तिपरक या फजी हो सकता है, इसलिए इस डोमेन के अनुप्रयोगों में फ़ज़ी लॉजिक आधारित दृष्टिकोणों का उपयोग करके बहुत अधिक लाभ उठाने की क्षमता है।


चिकित्सा निर्णय लेने के ढांचे के भीतर कई अलग-अलग पहलुओं में फ़ज़ी लॉजिक का उपयोग किया जा सकता है। ऐसे पहलू शामिल हैं<ref>{{cite journal |author1= Lin, K. P.|author2= Chang, H. F.|author3= Chen, T. L.|author4= Lu, Y. M.|author5 = Wang, C. H. | title = Intuitionistic fuzzy C-regression by using least squares support vector regression. | journal = Expert Systems with Applications | date = 2016 | volume = 64 |pages=296–304| doi = 10.1016/j.eswa.2016.07.040 }}</ref><ref>{{cite journal |author1= Deng, H.|author2= Deng, W.|author3= Sun, X.|author4= Ye, C.|author5= Zhou, X.| title = Adaptive intuitionistic fuzzy enhancement of brain tumor MR images | journal = Scientific Reports | date = 2016 | volume=6 | pages=35760 | doi=10.1038/srep35760 | pmid = 27786240 | pmc = 5082372 | doi-access=free| bibcode = 2016NatSR...635760D }}</ref><ref>{{cite journal |author=Vlachos, I. K.|author2= Sergiadis, G. D.| title = Intuitionistic fuzzy information–applications to pattern recognition. | journal = Pattern Recognition Letters | date = 2007 | volume= 28 | issue = 2 | pages= 197–206| doi = 10.1016/j.patrec.2006.07.004 | bibcode = 2007PaReL..28..197V }}</ref>{{clarify|reason=please summarise these refs- several are on a subscription basis|date=February 2022}} मेडिकल इमेज एनालिसिस, बायोमेडिकल सिग्नल एनालिसिस, [[छवि विभाजन]] में<ref name=wounds>{{Cite journal|last1=Gonzalez-Hidalgo|first1=Manuel|last2=Munar|first2=Marc|last3=Bibiloni|first3=Pedro|last4=Moya-Alcover|first4=Gabriel|last5=Craus-Miguel|first5=Andrea|last6=Segura-Sampedro|first6=Juan Jose|date=October 2019|title=Detection of infected wounds in abdominal surgery images using fuzzy logic and fuzzy sets|journal=2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)|location=Barcelona, Spain|publisher=IEEE|pages=99–106|doi=10.1109/WiMOB.2019.8923289|isbn=978-1-7281-3316-4|s2cid=208880793}}</ref> या संकेत, और सुविधा निष्कर्षण / छवियों का चयन<ref name=wounds/>या संकेत।<ref>{{cite journal | author = Das, S.|author2= Guha, D.|author3= Dutta, B.| title = Medical diagnosis with the aid of using fuzzy logic and intuitionistic fuzzy logic. | journal = Applied Intelligence | date = 2016 | volume= 45 | issue = 3 | pages= 850–867| doi = 10.1007/s10489-016-0792-0 | s2cid = 14590409 }}</ref>
चिकित्सा निर्णय लेने के ढांचे के भीतर कई अलग-अलग पहलुओं में फ़ज़ी लॉजिक का उपयोग किया जा सकता है। ऐसे पहलू सम्मलित हैं<ref>{{cite journal |author1= Lin, K. P.|author2= Chang, H. F.|author3= Chen, T. L.|author4= Lu, Y. M.|author5 = Wang, C. H. | title = Intuitionistic fuzzy C-regression by using least squares support vector regression. | journal = Expert Systems with Applications | date = 2016 | volume = 64 |pages=296–304| doi = 10.1016/j.eswa.2016.07.040 }}</ref><ref>{{cite journal |author1= Deng, H.|author2= Deng, W.|author3= Sun, X.|author4= Ye, C.|author5= Zhou, X.| title = Adaptive intuitionistic fuzzy enhancement of brain tumor MR images | journal = Scientific Reports | date = 2016 | volume=6 | pages=35760 | doi=10.1038/srep35760 | pmid = 27786240 | pmc = 5082372 | doi-access=free| bibcode = 2016NatSR...635760D }}</ref><ref>{{cite journal |author=Vlachos, I. K.|author2= Sergiadis, G. D.| title = Intuitionistic fuzzy information–applications to pattern recognition. | journal = Pattern Recognition Letters | date = 2007 | volume= 28 | issue = 2 | pages= 197–206| doi = 10.1016/j.patrec.2006.07.004 | bibcode = 2007PaReL..28..197V }}</ref>{{clarify|reason=please summarise these refs- several are on a subscription basis|date=February 2022}} मेडिकल इमेज एनालिसिस, बायोमेडिकल सिग्नल एनालिसिस, [[छवि विभाजन]] में<ref name=wounds>{{Cite journal|last1=Gonzalez-Hidalgo|first1=Manuel|last2=Munar|first2=Marc|last3=Bibiloni|first3=Pedro|last4=Moya-Alcover|first4=Gabriel|last5=Craus-Miguel|first5=Andrea|last6=Segura-Sampedro|first6=Juan Jose|date=October 2019|title=Detection of infected wounds in abdominal surgery images using fuzzy logic and fuzzy sets|journal=2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)|location=Barcelona, Spain|publisher=IEEE|pages=99–106|doi=10.1109/WiMOB.2019.8923289|isbn=978-1-7281-3316-4|s2cid=208880793}}</ref> या संकेत, और सुविधा निष्कर्षण / छवियों का चयन<ref name=wounds/>या संकेत।<ref>{{cite journal | author = Das, S.|author2= Guha, D.|author3= Dutta, B.| title = Medical diagnosis with the aid of using fuzzy logic and intuitionistic fuzzy logic. | journal = Applied Intelligence | date = 2016 | volume= 45 | issue = 3 | pages= 850–867| doi = 10.1007/s10489-016-0792-0 | s2cid = 14590409 }}</ref>
इस एप्लिकेशन क्षेत्र में सबसे बड़ा सवाल यह है कि फ़ज़ी लॉजिक का उपयोग करते समय कितनी उपयोगी जानकारी प्राप्त की जा सकती है। एक बड़ी चुनौती यह है कि आवश्यक फ़ज़ी डेटा कैसे प्राप्त किया जाए। यह तब और भी चुनौतीपूर्ण हो जाता है जब किसी को ऐसे डेटा को मनुष्यों (आमतौर पर, रोगियों) से प्राप्त करना होता है। जैसा कहा गया है {{blockquote|text="The envelope of what can be achieved and what cannot be achieved in medical diagnosis, ironically, is itself a fuzzy one" |source=Seven Challenges, 2019.<ref name=YT/>}} फ़ज़ी डेटा कैसे प्राप्त करें, और डेटा की सटीकता को कैसे मान्य करें, अभी भी फ़ज़ी लॉजिक के अनुप्रयोग से संबंधित एक सतत प्रयास है। फ़ज़ी डेटा की गुणवत्ता का आकलन करने की समस्या एक कठिन है। यही कारण है कि फ़ज़ी लॉजिक चिकित्सा निर्णय लेने के आवेदन क्षेत्र के भीतर एक अत्यधिक आशाजनक संभावना है, लेकिन अभी भी इसकी पूरी क्षमता हासिल करने के लिए और अधिक शोध की आवश्यकता है।<ref name=YT>{{Cite journal|last1=Yanase|first1=Juri|last2=Triantaphyllou|first2=Evangelos|date=2019|title=The Seven Key Challenges for the Future of Computer-Aided Diagnosis in Medicine|journal=International Journal of Medical Informatics|volume=129|pages=413–422|doi=10.1016/j.ijmedinf.2019.06.017|pmid=31445285|s2cid=198287435}}</ref> यद्यपि चिकित्सा निर्णय लेने में फ़ज़ी लॉजिक का उपयोग करने की अवधारणा रोमांचक है, फिर भी कई चुनौतियाँ हैं जो चिकित्सा निर्णय लेने के ढांचे के भीतर फ़ज़ी दृष्टिकोण का सामना करती हैं।
इस एप्लिकेशन क्षेत्र में सबसे बड़ा सवाल यह है कि फ़ज़ी लॉजिक का उपयोग करते समय कितनी उपयोगी जानकारी प्राप्त की जा सकती है। एक बड़ी चुनौती यह है कि आवश्यक फ़ज़ी डेटा कैसे प्राप्त किया जाए। यह तब और भी चुनौतीपूर्ण हो जाता है जब किसी को ऐसे डेटा को मनुष्यों (आमतौर पर, रोगियों) से प्राप्त करना होता है। जैसा कहा गया है {{blockquote|text="The envelope of what can be achieved and what cannot be achieved in medical diagnosis, ironically, is itself a fuzzy one" |source=Seven Challenges, 2019.<ref name=YT/>}} फ़ज़ी डेटा कैसे प्राप्त करें, और डेटा की त्रुटिहीनता को कैसे मान्य करें, अभी भी फ़ज़ी लॉजिक के अनुप्रयोग से संबंधित सतत प्रयास है। फ़ज़ी डेटा की गुणवत्ता का आकलन करने की समस्या कठिन है। यही कारण है कि फ़ज़ी लॉजिक चिकित्सा निर्णय लेने के आवेदन क्षेत्र के भीतर अत्यधिक आशाजनक संभावना है, किन्तु अभी भी इसकी पूरी क्षमता हासिल करने के लिए और अधिक शोध की आवश्यकता है।<ref name=YT>{{Cite journal|last1=Yanase|first1=Juri|last2=Triantaphyllou|first2=Evangelos|date=2019|title=The Seven Key Challenges for the Future of Computer-Aided Diagnosis in Medicine|journal=International Journal of Medical Informatics|volume=129|pages=413–422|doi=10.1016/j.ijmedinf.2019.06.017|pmid=31445285|s2cid=198287435}}</ref> यद्यपि चिकित्सा निर्णय लेने में फ़ज़ी लॉजिक का उपयोग करने की अवधारणा रोमांचक है, फिर भी कई चुनौतियाँ हैं जो चिकित्सा निर्णय लेने के ढांचे के भीतर फ़ज़ी दृष्टिकोण का सामना करती हैं।


==== छवि आधारित [[कंप्यूटर एडेड निदान]] ====
==== छवि आधारित [[कंप्यूटर एडेड निदान]] ====
फ़ज़ी लॉजिक का उपयोग करने वाले सामान्य अनुप्रयोग क्षेत्रों में से एक चिकित्सा में छवि-आधारित कंप्यूटर-एडेड डायग्नोसिस (CAD) है।<ref>{{Cite journal|last1=Yanase|first1=Juri|last2=Triantaphyllou|first2=Evangelos|date=2019|title=A Systematic Survey of Computer-Aided Diagnosis in Medicine: Past and Present Developments|journal=Expert Systems with Applications|volume=138|pages=112821|doi=10.1016/j.eswa.2019.112821|s2cid=199019309}}</ref> सीएडी अंतर-संबंधित उपकरणों का कम्प्यूटरीकृत सेट है जिसका उपयोग चिकित्सकों को उनके नैदानिक ​​निर्णय लेने में सहायता करने के लिए किया जा सकता है। उदाहरण के लिए, जब एक चिकित्सक को एक ऐसा घाव मिलता है जो असामान्य है लेकिन अभी भी विकास के बहुत प्रारंभिक चरण में है तो वह घाव को चिह्नित करने और इसकी प्रकृति का निदान करने के लिए सीएडी दृष्टिकोण का उपयोग कर सकता है। इस घाव की प्रमुख विशेषताओं का वर्णन करने के लिए फ़ज़ी लॉजिक अत्यधिक उपयुक्त हो सकता है।
फ़ज़ी लॉजिक का उपयोग करने वाले सामान्य अनुप्रयोग क्षेत्रों में से चिकित्सा में छवि-आधारित कंप्यूटर-एडेड डायग्नोसिस (CAD) है।<ref>{{Cite journal|last1=Yanase|first1=Juri|last2=Triantaphyllou|first2=Evangelos|date=2019|title=A Systematic Survey of Computer-Aided Diagnosis in Medicine: Past and Present Developments|journal=Expert Systems with Applications|volume=138|pages=112821|doi=10.1016/j.eswa.2019.112821|s2cid=199019309}}</ref> सीएडी अंतर-संबंधित उपकरणों का कम्प्यूटरीकृत सेट है जिसका उपयोग चिकित्सकों को उनके नैदानिक ​​निर्णय लेने में सहायता करने के लिए किया जा सकता है। उदाहरण के लिए, जब चिकित्सक को ऐसा घाव मिलता है जो असामान्य है किन्तु अभी भी विकास के बहुत प्रारंभिक चरण में है तो वह घाव को चिह्नित करने और इसकी प्रकृति का निदान करने के लिए सीएडी दृष्टिकोण का उपयोग कर सकता है। इस घाव की प्रमुख विशेषताओं का वर्णन करने के लिए फ़ज़ी लॉजिक अत्यधिक उपयुक्त हो सकता है।


=== फ़ज़ी डेटाबेस ===
=== फ़ज़ी डेटाबेस ===
एक बार फ़ज़ी संबंध परिभाषित हो जाने के बाद, फ़ज़ी [[संबंध का डेटाबेस]] विकसित करना संभव है। पहला फ़ज़ी रिलेशनल डेटाबेस, FRDB, [[मारिया ज़मानकोवा]] के शोध प्रबंध (1983) में दिखाई दिया। बाद में, कुछ अन्य मॉडल उत्पन्न हुए जैसे बकल्स-पेट्री मॉडल, प्रेड-टेस्टेमेल मॉडल, उमानो-फुकामी मॉडल या जेएम मदीना, एमए विला एट अल द्वारा जीईएफआरईडी मॉडल।
एक बार फ़ज़ी संबंध परिभाषित हो जाने के बाद, फ़ज़ी [[संबंध का डेटाबेस]] विकसित करना संभव है। पहला फ़ज़ी रिलेशनल डेटाबेस, FRDB, [[मारिया ज़मानकोवा]] के शोध प्रबंध (1983) में दिखाई दिया। बाद में, कुछ अन्य मॉडल उत्पन्न हुए जैसे बकल्स-पेट्री मॉडल, प्रेड-टेस्टेमेल मॉडल, उमानो-फुकामी मॉडल या जेएम मदीना, एमए विला एट अल द्वारा जीईएफआरईडी मॉडल।


अस्पष्ट पूछताछ भाषाओं को परिभाषित किया गया है, जैसे कि [[SQLf]] by P. Bosc et al। और J. Galindo et al द्वारा [[FSQL]]। SQL कथनों में फ़ज़ी पहलुओं को शामिल करने के लिए ये भाषाएँ कुछ संरचनाओं को परिभाषित करती हैं, जैसे फ़ज़ी स्थितियाँ, फ़ज़ी तुलनित्र, फ़ज़ी स्थिरांक, फ़ज़ी कंस्ट्रेंट, फ़ज़ी थ्रेसहोल्ड, भाषाई लेबल आदि।
अस्पष्ट पूछताछ भाषाओं को परिभाषित किया गया है, जैसे कि [[SQLf]] by P. Bosc et al। और J. Galindo et al द्वारा [[FSQL]]। SQL कथनों में फ़ज़ी पहलुओं को सम्मलित करने के लिए ये भाषाएँ कुछ संरचनाओं को परिभाषित करती हैं, जैसे फ़ज़ी स्थितियाँ, फ़ज़ी तुलनित्र, फ़ज़ी स्थिरांक, फ़ज़ी कंस्ट्रेंट, फ़ज़ी थ्रेसहोल्ड, भाषाई लेबल आदि।


== तार्किक विश्लेषण ==
== तार्किक विश्लेषण ==
Line 164: Line 164:
=== प्रस्तावित फ़ज़ी लॉजिक्स ===
=== प्रस्तावित फ़ज़ी लॉजिक्स ===
सबसे महत्वपूर्ण प्रस्तावक फ़ज़ी लॉजिक्स हैं:
सबसे महत्वपूर्ण प्रस्तावक फ़ज़ी लॉजिक्स हैं:
* [[एमटीएल (तर्क)]] |मोनॉयडल टी-नॉर्म-आधारित प्रोपोज़िशनल फ़ज़ी लॉजिक एमटीएल एक स्वयंसिद्ध प्रणाली है#तर्क का स्वयंसिद्धीकरण जहां [[तार्किक संयोजन]] को एक बाएं निरंतर टी-मानदंड द्वारा परिभाषित किया गया है और निहितार्थ को टी-मानदंड के अवशेष के रूप में परिभाषित किया गया है। इसकी [[संरचना (गणितीय तर्क)]] एमटीएल-बीजगणित के अनुरूप है जो पूर्व-रैखिक कम्यूटेटिव बाउंड इंटीग्रल [[अवशिष्ट जाली]] हैं।
* [[एमटीएल (तर्क)]] |मोनॉयडल टी-नॉर्म-आधारित प्रोपोज़िशनल फ़ज़ी लॉजिक एमटीएल स्वयंसिद्ध प्रणाली है#तर्क का स्वयंसिद्धीकरण जहां [[तार्किक संयोजन]] को बाएं निरंतर टी-मानदंड द्वारा परिभाषित किया गया है और निहितार्थ को टी-मानदंड के अवशेष के रूप में परिभाषित किया गया है। इसकी [[संरचना (गणितीय तर्क)]] एमटीएल-बीजगणित के अनुरूप है जो पूर्व-रैखिक कम्यूटेटिव बाउंड इंटीग्रल [[अवशिष्ट जाली]] हैं।
* [[बीएल (तर्क)]] बीएल एमटीएल तर्क का एक विस्तार है जहां संयोजन को निरंतर टी-मानदंड द्वारा परिभाषित किया जाता है, और निहितार्थ को टी-मानदंड के अवशेष के रूप में भी परिभाषित किया जाता है। इसके मॉडल बीएल-अलजेब्रस के अनुरूप हैं।
* [[बीएल (तर्क)]] बीएल एमटीएल तर्क का विस्तार है जहां संयोजन को निरंतर टी-मानदंड द्वारा परिभाषित किया जाता है, और निहितार्थ को टी-मानदंड के अवशेष के रूप में भी परिभाषित किया जाता है। इसके मॉडल बीएल-अलजेब्रस के अनुरूप हैं।
* लुकासिविक्ज़ फ़ज़ी लॉजिक|लुकासिविज़ फ़ज़ी लॉजिक बुनियादी फ़ज़ी लॉजिक बीएल का विस्तार है जहाँ मानक संयोजन लुकासिविज़ टी-नॉर्म है। इसमें बुनियादी फ़ज़ी लॉजिक के स्वयंसिद्ध और दोहरे निषेध का एक स्वयंसिद्ध है, और इसके मॉडल [[एमवी-बीजगणित]] के अनुरूप हैं।
* लुकासिविक्ज़ फ़ज़ी लॉजिक|लुकासिविज़ फ़ज़ी लॉजिक बुनियादी फ़ज़ी लॉजिक बीएल का विस्तार है जहाँ मानक संयोजन लुकासिविज़ टी-नॉर्म है। इसमें बुनियादी फ़ज़ी लॉजिक के स्वयंसिद्ध और दोहरे निषेध का स्वयंसिद्ध है, और इसके मॉडल [[एमवी-बीजगणित]] के अनुरूप हैं।
* गोडेल फ़ज़ी लॉजिक बेसिक फ़ज़ी लॉजिक बीएल का विस्तार है जहाँ संयुग्मन गोडेल टी-नॉर्म (यानी न्यूनतम) है। इसमें BL के स्वयंसिद्ध और संयुग्मन की निष्क्रियता का एक स्वयंसिद्ध है, और इसके मॉडल को G-अल्जेब्रस कहा जाता है।
* गोडेल फ़ज़ी लॉजिक बेसिक फ़ज़ी लॉजिक बीएल का विस्तार है जहाँ संयुग्मन गोडेल टी-नॉर्म (अर्थात न्यूनतम) है। इसमें BL के स्वयंसिद्ध और संयुग्मन की निष्क्रियता का स्वयंसिद्ध है, और इसके मॉडल को G-अल्जेब्रस कहा जाता है।
* उत्पाद फ़ज़ी लॉजिक बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहाँ संयोजन उत्पाद टी-नॉर्म है। इसमें BL के अभिगृहीत और संयोजन की रद्दीकरण के लिए एक अन्य अभिगृहीत है, और इसके मॉडल को उत्पाद बीजगणित कहा जाता है।
* उत्पाद फ़ज़ी लॉजिक बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहाँ संयोजन उत्पाद टी-नॉर्म है। इसमें BL के अभिगृहीत और संयोजन की रद्दीकरण के लिए अन्य अभिगृहीत है, और इसके मॉडल को उत्पाद बीजगणित कहा जाता है।
* मूल्यांकित सिंटैक्स के साथ फ़ज़ी लॉजिक (कभी-कभी पावेल्का लॉजिक भी कहा जाता है), EVŁ द्वारा निरूपित, गणितीय फ़ज़ी लॉजिक का एक और सामान्यीकरण है। जबकि उपरोक्त प्रकार के फ़ज़ी लॉजिक में पारंपरिक सिंटैक्स और कई-मूल्यवान शब्दार्थ हैं, EVŁ सिंटैक्स में भी मूल्यांकन किया जाता है। इसका मतलब है कि प्रत्येक सूत्र का मूल्यांकन होता है। EVŁ का स्वयंसिद्धीकरण लुकास्ज़ीविक्ज़ फ़ज़ी लॉजिक से उपजा है। शास्त्रीय गोडेल पूर्णता प्रमेय का एक सामान्यीकरण EVŁ में सिद्ध किया जा सकता है{{Citation needed|date=November 2020}}.
* मूल्यांकित सिंटैक्स के साथ फ़ज़ी लॉजिक (कभी-कभी पावेल्का लॉजिक भी कहा जाता है), EVŁ द्वारा निरूपित, गणितीय फ़ज़ी लॉजिक का और सामान्यीकरण है। जबकि उपरोक्त प्रकार के फ़ज़ी लॉजिक में पारंपरिक सिंटैक्स और कई-मूल्यवान शब्दार्थ हैं, EVŁ सिंटैक्स में भी मूल्यांकन किया जाता है। इसका मतलब है कि प्रत्येक सूत्र का मूल्यांकन होता है। EVŁ का स्वयंसिद्धीकरण लुकास्ज़ीविक्ज़ फ़ज़ी लॉजिक से उपजा है। मौलिक  गोडेल पूर्णता प्रमेय का सामान्यीकरण EVŁ में सिद्ध किया जा सकता है{{Citation needed|date=November 2020}}.


=== विधेय फजी लॉजिक्स ===
=== विधेय फजी लॉजिक्स ===
Line 175: Line 175:


=== निर्णायकता मुद्दे ===
=== निर्णायकता मुद्दे ===
[[शास्त्रीय गणित]] और शास्त्रीय तर्क के लिए एक निर्णायक उपसमुच्चय और पुनरावर्ती गणना योग्य उपसमुच्चय की धारणाएं बुनियादी हैं। इस प्रकार फ़ज़ी सेट थ्योरी के लिए उनके उपयुक्त विस्तार का प्रश्न एक महत्वपूर्ण है। इस तरह की दिशा में पहला प्रस्ताव ई.एस. सैंटोस द्वारा फ़ज़ी [[ट्यूरिंग मशीन]], मार्कोव सामान्य फ़ज़ी एल्गोरिथम और फ़ज़ी प्रोग्राम (सैंटोस 1970 देखें) की धारणाओं द्वारा किया गया था। क्रमिक रूप से, एल. बियासिनो और जी. गेरला ने तर्क दिया कि प्रस्तावित परिभाषाएँ संदिग्ध हैं। उदाहरण के लिए, में <ref>{{Cite journal|last=Gerla|first=G.|year=2016|title=Comments on some theories of fuzzy computation|journal= International Journal of General Systems|volume=45|issue=4|pages=372–392|doi=10.1080/03081079.2015.1076403|bibcode=2016IJGS...45..372G|s2cid=22577357}}</ref> one दिखाता है कि फ़ज़ी ट्यूरिंग मशीन फ़ज़ी लैंग्वेज थ्योरी के लिए पर्याप्त नहीं हैं क्योंकि प्राकृतिक फ़ज़ी लैंग्वेज सहज रूप से गणना योग्य हैं जिन्हें फ़ज़ी ट्यूरिंग मशीन द्वारा पहचाना नहीं जा सकता है। तब उन्होंने निम्नलिखित परिभाषाएँ प्रस्तावित कीं। [0,1] में परिमेय संख्याओं के समुच्चय को Ü से निरूपित करें। फिर एक फ़ज़ी उपसमुच्चय s : S <math>\rightarrow</math>[0,1] एक सेट S का पुनरावर्ती रूप से गणना योग्य है यदि एक पुनरावर्ती मानचित्र h : S×'N' <math>\rightarrow</math>Ü इस प्रकार मौजूद है कि, S में प्रत्येक x के लिए, फ़ंक्शन h(x,n) n और s(x) = lim h(x,n) के संबंध में बढ़ रहा है।
[[शास्त्रीय गणित|मौलिक  गणित]] और मौलिक  तर्क के लिए निर्णायक उपसमुच्चय और पुनरावर्ती गणना योग्य उपसमुच्चय की धारणाएं बुनियादी हैं। इस प्रकार फ़ज़ी सेट थ्योरी के लिए उनके उपयुक्त विस्तार का प्रश्न महत्वपूर्ण है। इस तरह की दिशा में पहला प्रस्ताव ई.एस. सैंटोस द्वारा फ़ज़ी [[ट्यूरिंग मशीन]], मार्कोव सामान्य फ़ज़ी एल्गोरिथम और फ़ज़ी प्रोग्राम (सैंटोस 1970 देखें) की धारणाओं द्वारा किया गया था। क्रमिक रूप से, एल. बियासिनो और जी. गेरला ने तर्क दिया कि प्रस्तावित परिभाषाएँ संदिग्ध हैं। उदाहरण के लिए, में <ref>{{Cite journal|last=Gerla|first=G.|year=2016|title=Comments on some theories of fuzzy computation|journal= International Journal of General Systems|volume=45|issue=4|pages=372–392|doi=10.1080/03081079.2015.1076403|bibcode=2016IJGS...45..372G|s2cid=22577357}}</ref> one दिखाता है कि फ़ज़ी ट्यूरिंग मशीन फ़ज़ी लैंग्वेज थ्योरी के लिए पर्याप्त नहीं हैं क्योंकि प्राकृतिक फ़ज़ी लैंग्वेज सहज रूप से गणना योग्य हैं जिन्हें फ़ज़ी ट्यूरिंग मशीन द्वारा पहचाना नहीं जा सकता है। तब उन्होंने निम्नलिखित परिभाषाएँ प्रस्तावित कीं। [0,1] में परिमेय संख्याओं के समुच्चय को Ü से निरूपित करें। फिर फ़ज़ी उपसमुच्चय s : S <math>\rightarrow</math>[0,1] सेट S का पुनरावर्ती रूप से गणना योग्य है यदि पुनरावर्ती मानचित्र h : S×'N' <math>\rightarrow</math>Ü इस प्रकार उपस्तिथ है कि, S में प्रत्येक x के लिए, फ़ंक्शन h(x,n) n और s(x) = lim h(x,n) के संबंध में बढ़ रहा है।
हम कहते हैं कि s निर्णायक है यदि दोनों s और इसके पूरक - पुनरावर्ती रूप से गणनीय हैं। एल-उपसमुच्चय के सामान्य मामले में इस तरह के सिद्धांत का विस्तार संभव है (गेरला 2006 देखें)।
हम कहते हैं कि s निर्णायक है यदि दोनों s और इसके पूरक - पुनरावर्ती रूप से गणनीय हैं। एल-उपसमुच्चय के सामान्य मामले में इस तरह के सिद्धांत का विस्तार संभव है (गेरला 2006 देखें)।
प्रस्तावित परिभाषाएँ फ़ज़ी लॉजिक से अच्छी तरह से संबंधित हैं। वास्तव में, निम्नलिखित प्रमेय सत्य है (बशर्ते कि फ़ज़ी लॉजिक का कटौती उपकरण कुछ स्पष्ट प्रभावशीलता संपत्ति को संतुष्ट करता है)।
प्रस्तावित परिभाषाएँ फ़ज़ी लॉजिक से अच्छी तरह से संबंधित हैं। वास्तव में, निम्नलिखित प्रमेय सत्य है (बशर्ते कि फ़ज़ी लॉजिक का कटौती उपकरण कुछ स्पष्ट प्रभावशीलता संपत्ति को संतुष्ट करता है)।


कोई भी स्वयंसिद्ध फ़ज़ी सिद्धांत पुनरावर्ती गणना योग्य है। विशेष रूप से, तार्किक रूप से सही सूत्रों का फ़ज़ी सेट पुनरावर्ती रूप से गणना योग्य है, इस तथ्य के बावजूद कि मान्य सूत्रों का कुरकुरा सेट सामान्य रूप से पुनरावर्ती रूप से गणना योग्य नहीं है। इसके अलावा, कोई भी स्वयंसिद्ध और पूर्ण सिद्धांत निर्णायक है।
कोई भी स्वयंसिद्ध फ़ज़ी सिद्धांत पुनरावर्ती गणना योग्य है। विशेष रूप से, तार्किक रूप से सही सूत्रों का फ़ज़ी सेट पुनरावर्ती रूप से गणना योग्य है, इस तथ्य के बावजूद कि मान्य सूत्रों का कुरकुरा सेट सामान्य रूप से पुनरावर्ती रूप से गणना योग्य नहीं है। इसके अतिरिक्त, कोई भी स्वयंसिद्ध और पूर्ण सिद्धांत निर्णायक है।


फ़ज़ी गणित के लिए एक चर्च थीसिस के लिए समर्थन देने के लिए यह एक खुला प्रश्न है, फ़ज़ी सबसेट के लिए पुनरावर्ती गणना की प्रस्तावित धारणा पर्याप्त है। इसे हल करने के लिए फ़ज़ी ग्रामर और फ़ज़ी ट्यूरिंग मशीन की धारणाओं का विस्तार आवश्यक है। एक अन्य खुला प्रश्न इस धारणा से शुरू करना है कि गोडेल के प्रमेयों का फ़ज़ी लॉजिक तक विस्तार खोजा जाए।
फ़ज़ी गणित के लिए चर्च थीसिस के लिए समर्थन देने के लिए यह खुला प्रश्न है, फ़ज़ी सबसेट के लिए पुनरावर्ती गणना की प्रस्तावित धारणा पर्याप्त है। इसे हल करने के लिए फ़ज़ी ग्रामर और फ़ज़ी ट्यूरिंग मशीन की धारणाओं का विस्तार आवश्यक है। अन्य खुला प्रश्न इस धारणा से प्रारंभ करना है कि गोडेल के प्रमेयों का फ़ज़ी लॉजिक तक विस्तार खोजा जाए।


== अन्य लॉजिक्स की तुलना में ==
== अन्य लॉजिक्स की तुलना में ==


=== संभावना ===
=== संभावना ===
फ़ज़ी लॉजिक और प्रायिकता अनिश्चितता के विभिन्न रूपों को संबोधित करते हैं। जबकि फ़ज़ी लॉजिक और संभाव्यता सिद्धांत दोनों कुछ प्रकार के व्यक्तिपरक विश्वास की डिग्री का प्रतिनिधित्व कर सकते हैं, फ़ज़ी सेट सिद्धांत फ़ज़ी सेट सदस्यता की अवधारणा का उपयोग करता है, अर्थात, अस्पष्ट रूप से परिभाषित सेट के भीतर कितना अवलोकन है, और संभाव्यता सिद्धांत व्यक्तिपरक संभाव्यता की अवधारणा का उपयोग करता है। , यानी, घटना की आवृत्ति या किसी घटना या स्थिति की संभावना {{clarify|date=April 2019}}. फ़ज़ी सेट की अवधारणा को बीसवीं सदी के मध्य में बर्कले में विकसित किया गया था <ref>{{cite web |url=https://www2.eecs.berkeley.edu/Faculty/Homepages/zadeh.html |title=Lotfi Zadeh Berkeley |url-status=live |archive-url=https://web.archive.org/web/20170211080227/https://www2.eecs.berkeley.edu/Faculty/Homepages/zadeh.html |archive-date=2017-02-11 }}</ref> संयुक्त रूप से अनिश्चितता और अस्पष्टता के मॉडलिंग के लिए संभाव्यता सिद्धांत की कमी की प्रतिक्रिया के रूप में।<ref>{{Cite journal |title=Fuzzy Sets |journal=Scholarpedia |volume=1 |issue=10 |pages=2031 |doi=10.4249/scholarpedia.2031 |year=2006 |last1=Mares |first1=Milan |bibcode=2006SchpJ...1.2031M |doi-access=free }}</ref>
फ़ज़ी लॉजिक और प्रायिकता अनिश्चितता के विभिन्न रूपों को संबोधित करते हैं। जबकि फ़ज़ी लॉजिक और संभाव्यता सिद्धांत दोनों कुछ प्रकार के व्यक्तिपरक विश्वास की डिग्री का प्रतिनिधित्व कर सकते हैं, फ़ज़ी सेट सिद्धांत फ़ज़ी सेट सदस्यता की अवधारणा का उपयोग करता है, अर्थात, अस्पष्ट रूप से परिभाषित सेट के भीतर कितना अवलोकन है, और संभाव्यता सिद्धांत व्यक्तिपरक संभाव्यता की अवधारणा का उपयोग करता है। , अर्थात, घटना की आवृत्ति या किसी घटना या स्थिति की संभावना {{clarify|date=April 2019}}. फ़ज़ी सेट की अवधारणा को बीसवीं सदी के मध्य में बर्कले में विकसित किया गया था <ref>{{cite web |url=https://www2.eecs.berkeley.edu/Faculty/Homepages/zadeh.html |title=Lotfi Zadeh Berkeley |url-status=live |archive-url=https://web.archive.org/web/20170211080227/https://www2.eecs.berkeley.edu/Faculty/Homepages/zadeh.html |archive-date=2017-02-11 }}</ref> संयुक्त रूप से अनिश्चितता और अस्पष्टता के मॉडलिंग के लिए संभाव्यता सिद्धांत की कमी की प्रतिक्रिया के रूप में।<ref>{{Cite journal |title=Fuzzy Sets |journal=Scholarpedia |volume=1 |issue=10 |pages=2031 |doi=10.4249/scholarpedia.2031 |year=2006 |last1=Mares |first1=Milan |bibcode=2006SchpJ...1.2031M |doi-access=free }}</ref>
[[बार्ट कोस्को]] फज़ीनेस बनाम प्रायिकता में दावा करता है<ref>{{cite web |last1=Kosko |first1=Bart |author-link1=Bart Kosko |title=Fuzziness vs. Probability |url=http://sipi.usc.edu/~kosko/Fuzziness_Vs_Probability.pdf |archive-url=https://web.archive.org/web/20060902032943/http://sipi.usc.edu/%7Ekosko/Fuzziness_Vs_Probability.pdf |archive-date=2006-09-02 |url-status=live |publisher=University of South California |access-date=9 November 2018 }}</ref> वह संभाव्यता सिद्धांत फ़ज़ी लॉजिक का एक उपसिद्धांत है, क्योंकि संभाव्यता सिद्धांत में पारस्परिक रूप से अनन्य सेट सदस्यता में विश्वास की डिग्री के प्रश्नों को फ़ज़ी सिद्धांत में गैर-पारस्परिक रूप से अनन्य श्रेणीबद्ध सदस्यता के कुछ मामलों के रूप में दर्शाया जा सकता है। उस संदर्भ में, वह फ़ज़ी सबसेटहुड की अवधारणा से बेयस प्रमेय को भी प्राप्त करता है। लोट्फी ए. ज़ादेह का तर्क है कि फ़ज़ी लॉजिक चरित्र में संभाव्यता से भिन्न है, और यह इसका प्रतिस्थापन नहीं है। उन्होंने संभाव्यता को फजी प्रायिकता के रूप में अस्पष्ट कर दिया और इसे [[संभावना सिद्धांत]] के लिए सामान्यीकृत भी किया।<ref>{{cite journal | last1 = Novák | first1 = V | year = 2005 | title = Are fuzzy sets a reasonable tool for modeling vague phenomena? | journal = Fuzzy Sets and Systems | volume = 156 | issue = 3| pages = 341–348 | doi=10.1016/j.fss.2005.05.029}}</ref>
[[बार्ट कोस्को]] फज़ीनेस बनाम प्रायिकता में प्रामाणित  करता है<ref>{{cite web |last1=Kosko |first1=Bart |author-link1=Bart Kosko |title=Fuzziness vs. Probability |url=http://sipi.usc.edu/~kosko/Fuzziness_Vs_Probability.pdf |archive-url=https://web.archive.org/web/20060902032943/http://sipi.usc.edu/%7Ekosko/Fuzziness_Vs_Probability.pdf |archive-date=2006-09-02 |url-status=live |publisher=University of South California |access-date=9 November 2018 }}</ref> वह संभाव्यता सिद्धांत फ़ज़ी लॉजिक का उपसिद्धांत है, क्योंकि संभाव्यता सिद्धांत में पारस्परिक रूप से अनन्य सेट सदस्यता में विश्वास की डिग्री के प्रश्नों को फ़ज़ी सिद्धांत में गैर-पारस्परिक रूप से अनन्य श्रेणीबद्ध सदस्यता के कुछ मामलों के रूप में दर्शाया जा सकता है। उस संदर्भ में, वह फ़ज़ी सबसेटहुड की अवधारणा से बेयस प्रमेय को भी प्राप्त करता है। लोट्फी ए. ज़ादेह का तर्क है कि फ़ज़ी लॉजिक चरित्र में संभाव्यता से भिन्न है, और यह इसका प्रतिस्थापन नहीं है। उन्होंने संभाव्यता को फजी प्रायिकता के रूप में अस्पष्ट कर दिया और इसे [[संभावना सिद्धांत]] के लिए सामान्यीकृत भी किया।<ref>{{cite journal | last1 = Novák | first1 = V | year = 2005 | title = Are fuzzy sets a reasonable tool for modeling vague phenomena? | journal = Fuzzy Sets and Systems | volume = 156 | issue = 3| pages = 341–348 | doi=10.1016/j.fss.2005.05.029}}</ref>
अधिक आम तौर पर, फ़ज़ी लॉजिक शास्त्रीय तर्क के कई अलग-अलग एक्सटेंशनों में से एक है, जिसका उद्देश्य शास्त्रीय तर्क के दायरे से बाहर अनिश्चितता के मुद्दों से निपटना है, कई डोमेन में संभाव्यता सिद्धांत की अनुपयुक्तता, और डेम्पस्टर-शेफ़र सिद्धांत के विरोधाभास।
अधिक आम तौर पर, फ़ज़ी लॉजिक मौलिक  तर्क के कई अलग-अलग एक्सटेंशनों में से है, जिसका उद्देश्य मौलिक  तर्क के दायरे से बाहर अनिश्चितता के मुद्दों से निपटना है, कई डोमेन में संभाव्यता सिद्धांत की अनुपयुक्तता, और डेम्पस्टर-शेफ़र सिद्धांत के विरोधाभास।


=== इकोरिथम्स ===
=== इकोरिथम्स ===
कम्प्यूटेशनल थिओरिस्ट [[लेस्ली बहादुर]] इकोरिथम्स शब्द का उपयोग यह बताने के लिए करता है कि कितने कम सटीक सिस्टम और फ़ज़ी लॉजिक (और कम मजबूत लॉजिक) जैसी तकनीकों को [[सीखने के एल्गोरिदम]] पर लागू किया जा सकता है। वैलेंट अनिवार्य रूप से मशीन लर्निंग को विकासवादी के रूप में पुनर्परिभाषित करता है। सामान्य उपयोग में, ईकोरिथम एल्गोरिदम हैं जो उनके अधिक जटिल वातावरण (इसलिए इको-) से सामान्यीकरण, अनुमान और समाधान तर्क को सरल बनाने के लिए सीखते हैं। फ़ज़ी लॉजिक की तरह, वे निरंतर चर या प्रणालियों को दूर करने के लिए उपयोग की जाने वाली विधियाँ हैं जो पूरी तरह से या पूरी तरह से समझने या समझने के लिए बहुत जटिल हैं।<!-- See in particular p.&nbsp;58 of the reference comparing induction/invariance, robust, mathematical and other logical limits in computing, where techniques including fuzzy logic and natural data selection (à la "computational Darwinism") can be used to short-cut computational complexity and limits in a "practical" way (such as the brake temperature example in this article). --><ref>{{cite book |last1=Valiant, Leslie |title=Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World |date=2013 |publisher=Basic Books |location=New York |isbn=978-0465032716 }}</ref> इकोरिथम्स और फ़ज़ी लॉजिक में भी संभावनाओं से अधिक संभावनाओं से निपटने की सामान्य संपत्ति होती है, हालांकि फीडबैक और [[फीडफॉरवर्ड नियंत्रण)]]नियंत्रण), मूल रूप से स्टोचैस्टिक वेट, उदाहरण के लिए, [[गतिशील प्रणाली]] से निपटने के दौरान दोनों की एक विशेषता है।
कम्प्यूटेशनल थिओरिस्ट [[लेस्ली बहादुर]] इकोरिथम्स शब्द का उपयोग यह बताने के लिए करता है कि कितने कम त्रुटिहीन सिस्टम और फ़ज़ी लॉजिक (और कम मजबूत लॉजिक) जैसी तकनीकों को [[सीखने के एल्गोरिदम]] पर लागू किया जा सकता है। वैलेंट अनिवार्य रूप से मशीन लर्निंग को विकासवादी के रूप में पुनर्परिभाषित करता है। सामान्य उपयोग में, ईकोरिथम एल्गोरिदम हैं जो उनके अधिक जटिल वातावरण (इसलिए इको-) से सामान्यीकरण, अनुमान और समाधान तर्क को सरल बनाने के लिए सीखते हैं। फ़ज़ी लॉजिक की तरह, वे निरंतर चर या प्रणालियों को दूर करने के लिए उपयोग की जाने वाली विधियाँ हैं जो पूरी तरह से या पूरी तरह से समझने या समझने के लिए बहुत जटिल हैं।<!-- See in particular p.&nbsp;58 of the reference comparing induction/invariance, robust, mathematical and other logical limits in computing, where techniques including fuzzy logic and natural data selection (à la "computational Darwinism") can be used to short-cut computational complexity and limits in a "practical" way (such as the brake temperature example in this article). --><ref>{{cite book |last1=Valiant, Leslie |title=Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World |date=2013 |publisher=Basic Books |location=New York |isbn=978-0465032716 }}</ref> इकोरिथम्स और फ़ज़ी लॉजिक में भी संभावनाओं से अधिक संभावनाओं से निपटने की सामान्य संपत्ति होती है, चूंकि फीडबैक और [[फीडफॉरवर्ड नियंत्रण)]]नियंत्रण), मूल रूप से स्टोचैस्टिक वेट, उदाहरण के लिए, [[गतिशील प्रणाली]] से निपटने के समय दोनों की विशेषता है।


=== गोडेल जी<sub>∞</sub> तर्क ===
=== गोडेल जी<sub>∞</sub> तर्क ===
{{further|Many-valued logic#Gödel logics Gk and G∞}}
{{further|Many-valued logic#Gödel logics Gk and G∞}}
एक अन्य तार्किक प्रणाली जहां सत्य मान 0 और 1 के बीच वास्तविक संख्याएं हैं और जहां AND और OR ऑपरेटरों को MIN और MAX से बदल दिया जाता है, वह गोडेल का जी है<sub>∞</sub> तर्क। इस तर्क में फ़ज़ी लॉजिक के साथ कई समानताएँ हैं लेकिन नकारात्मकता को अलग तरह से परिभाषित करता है और इसका एक आंतरिक निहितार्थ है। नकार <math>\neg_G</math> और निहितार्थ <math>\xrightarrow[G]{}</math> निम्नानुसार परिभाषित किया गया है:
एक अन्य तार्किक प्रणाली जहां सत्य मान 0 और 1 के बीच वास्तविक संख्याएं हैं और जहां AND और OR ऑपरेटरों को MIN और MAX से बदल दिया जाता है, वह गोडेल का जी है<sub>∞</sub> तर्क। इस तर्क में फ़ज़ी लॉजिक के साथ कई समानताएँ हैं किन्तु नकारात्मकता को अलग तरह से परिभाषित करता है और इसका आंतरिक निहितार्थ है। नकार <math>\neg_G</math> और निहितार्थ <math>\xrightarrow[G]{}</math> निम्नानुसार परिभाषित किया गया है:


: <math>\begin{align}
: <math>\begin{align}
Line 207: Line 207:
                           \end{cases}
                           \end{cases}
\end{align}</math>
\end{align}</math>
जो परिणामी तार्किक प्रणाली को [[अंतर्ज्ञानवादी तर्क]] के लिए एक मॉडल में बदल देता है, जिससे तार्किक प्रणालियों के सभी संभावित विकल्पों में विशेष रूप से अच्छी तरह से व्यवहार किया जाता है, जिसमें 0 और 1 के बीच वास्तविक संख्याएं सत्य मान के रूप में होती हैं। इस मामले में, निहितार्थ की व्याख्या की जा सकती है क्योंकि x, y से कम सत्य है और निषेध के रूप में x 0 से कम सत्य है या x सख्ती से गलत है, और किसी के लिए <math>x</math> और <math>y</math>, हमारे पास वह है <math> AND(x, x \mathrel{\xrightarrow[G]{}} y) = AND(x,y) </math>. विशेष रूप से, गोडेल तर्क में निषेध अब एक अंतर्वलन नहीं है और दोहरा निषेध किसी भी गैर-शून्य मान को 1 में मैप करता है।
जो परिणामी तार्किक प्रणाली को [[अंतर्ज्ञानवादी तर्क]] के लिए मॉडल में बदल देता है, जिससे तार्किक प्रणालियों के सभी संभावित विकल्पों में विशेष रूप से अच्छी तरह से व्यवहार किया जाता है, जिसमें 0 और 1 के बीच वास्तविक संख्याएं सत्य मान के रूप में होती हैं। इस मामले में, निहितार्थ की व्याख्या की जा सकती है क्योंकि x, y से कम सत्य है और निषेध के रूप में x 0 से कम सत्य है या x सख्ती से गलत है, और किसी के लिए <math>x</math> और <math>y</math>, हमारे पास वह है <math> AND(x, x \mathrel{\xrightarrow[G]{}} y) = AND(x,y) </math>. विशेष रूप से, गोडेल तर्क में निषेध अब अंतर्वलन नहीं है और दोहरा निषेध किसी भी गैर-शून्य मान को 1 में मैप करता है।


== क्षतिपूरक फ़ज़ी लॉजिक ==
== क्षतिपूरक फ़ज़ी लॉजिक ==


प्रतिपूरक फ़ज़ी लॉजिक (CFL) फ़ज़ी लॉजिक की एक शाखा है जिसमें संयोजन और संयोजन के लिए संशोधित नियम हैं। जब एक संयोजन या वियोग के एक घटक का सत्य मान बढ़ता या घटता है, तो दूसरे घटक को क्षतिपूर्ति के लिए घटाया या बढ़ाया जाता है। सत्य मूल्य में यह वृद्धि या कमी किसी अन्य घटक में वृद्धि या कमी से ऑफसेट हो सकती है। कुछ निश्चित सीमाएँ पूरी होने पर ऑफ़सेट ब्लॉक किया जा सकता है। समर्थकों का{{who|date=July 2015}} दावा है कि सीएफएल बेहतर कम्प्यूटेशनल सिमेंटिक व्यवहार और प्राकृतिक भाषा की नकल करने की अनुमति देता है।{{vague|date=July 2015}}<ref>{{cite web |url=http://web.mit.edu/6.863/www/fall2012/projects/writeups/semantic-similarity-betweenverbs.pdf |title=6.863 Final Project Writeup|author=Richardson, Mark|date=2010 |access-date=2015-10-02 |url-status=live |archive-url=https://web.archive.org/web/20151004060002/http://web.mit.edu/6.863/www/fall2012/projects/writeups/semantic-similarity-betweenverbs.pdf |archive-date=2015-10-04 }}</ref><ref>{{Cite journal|last=Veri|first=Francesco|year=2017|title=Fuzzy Multiple Attribute Conditions in fsQCA: Problems and Solutions|journal= Sociological Methods & Research|volume=49|issue=2|pages=312–355|doi=10.1177/0049124117729693|s2cid=125146607}}</ref>
प्रतिपूरक फ़ज़ी लॉजिक (CFL) फ़ज़ी लॉजिक की शाखा है जिसमें संयोजन और संयोजन के लिए संशोधित नियम हैं। जब संयोजन या वियोग के घटक का सत्य मान बढ़ता या घटता है, तो दूसरे घटक को क्षतिपूर्ति के लिए घटाया या बढ़ाया जाता है। सत्य मूल्य में यह वृद्धि या कमी किसी अन्य घटक में वृद्धि या कमी से ऑफसेट हो सकती है। कुछ निश्चित सीमाएँ पूरी होने पर ऑफ़सेट ब्लॉक किया जा सकता है। समर्थकों का{{who|date=July 2015}} प्रामाणित  है कि सीएफएल उत्तम कम्प्यूटेशनल सिमेंटिक व्यवहार और प्राकृतिक भाषा की नकल करने की अनुमति देता है।{{vague|date=July 2015}}<ref>{{cite web |url=http://web.mit.edu/6.863/www/fall2012/projects/writeups/semantic-similarity-betweenverbs.pdf |title=6.863 Final Project Writeup|author=Richardson, Mark|date=2010 |access-date=2015-10-02 |url-status=live |archive-url=https://web.archive.org/web/20151004060002/http://web.mit.edu/6.863/www/fall2012/projects/writeups/semantic-similarity-betweenverbs.pdf |archive-date=2015-10-04 }}</ref><ref>{{Cite journal|last=Veri|first=Francesco|year=2017|title=Fuzzy Multiple Attribute Conditions in fsQCA: Problems and Solutions|journal= Sociological Methods & Research|volume=49|issue=2|pages=312–355|doi=10.1177/0049124117729693|s2cid=125146607}}</ref>
जेसुस सेजस मोंटेरो (2011) के अनुसार प्रतिपूरक फ़ज़ी लॉजिक में चार निरंतर ऑपरेटर होते हैं: संयुग्मन (c); संयोजन (डी); फजी सख्त आदेश (या); और निषेध (एन)। संयुग्मन ज्यामितीय माध्य है और इसके दोहरे संयोजक और वियोगी संकारक हैं।<ref>{{cite journal |last1=Montero |first1=Jesús Cejas |title=La lógica difusa compensatoria |trans-title=The compensatory fuzzy logic |language=es |journal=Ingeniería Industrial |date=2011 |volume=32 |issue=2 |pages=157–162 |id={{Gale|A304726398}} |url=https://rii.cujae.edu.cu/index.php/revistaind/article/view/409 }}</ref>
जेसुस सेजस मोंटेरो (2011) के अनुसार प्रतिपूरक फ़ज़ी लॉजिक में चार निरंतर ऑपरेटर होते हैं: संयुग्मन (c); संयोजन (डी); फजी सख्त आदेश (या); और निषेध (एन)। संयुग्मन ज्यामितीय माध्य है और इसके दोहरे संयोजक और वियोगी संकारक हैं।<ref>{{cite journal |last1=Montero |first1=Jesús Cejas |title=La lógica difusa compensatoria |trans-title=The compensatory fuzzy logic |language=es |journal=Ingeniería Industrial |date=2011 |volume=32 |issue=2 |pages=157–162 |id={{Gale|A304726398}} |url=https://rii.cujae.edu.cu/index.php/revistaind/article/view/409 }}</ref>


Line 217: Line 217:
== मार्कअप भाषा मानकीकरण ==
== मार्कअप भाषा मानकीकरण ==


[[IEEE 1855]], IEEE मानक 1855–2016, [[अस्पष्ट मार्कअप भाषा]] (FML) नामक एक विशिष्ट भाषा के बारे में है।<ref>{{cite journal |last1=Acampora |first1=Giovanni |last2=Di Stefano |first2=Bruno |last3=Vitiello |first3=Autilia |title=IEEE 1855™: The First IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs] |journal=IEEE Computational Intelligence Magazine |date=November 2016 |volume=11 |issue=4 |pages=4–6 |doi=10.1109/MCI.2016.2602068 }}</ref> [[IEEE Standards Association]] द्वारा विकसित। FML एक फ़ज़ी लॉजिक सिस्टम को मानव-पठनीय और हार्डवेयर स्वतंत्र तरीके से मॉडलिंग करने की अनुमति देता है। FML एक्स्टेंसिबल मार्कअप लैंग्वेज ([[XML]]) पर आधारित है। FML के साथ फ़ज़ी सिस्टम के डिजाइनरों के पास इंटरऑपरेबल फ़ज़ी सिस्टम का वर्णन करने के लिए एक एकीकृत और उच्च-स्तरीय कार्यप्रणाली है। IEEE STANDARD 1855–2016 FML प्रोग्राम के सिंटैक्स और शब्दार्थ को परिभाषित करने के लिए [[W3C]] [[XML स्कीमा (W3C)]] परिभाषा भाषा का उपयोग करता है।
[[IEEE 1855]], IEEE मानक 1855–2016, [[अस्पष्ट मार्कअप भाषा]] (FML) नामक विशिष्ट भाषा के बारे में है।<ref>{{cite journal |last1=Acampora |first1=Giovanni |last2=Di Stefano |first2=Bruno |last3=Vitiello |first3=Autilia |title=IEEE 1855™: The First IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs] |journal=IEEE Computational Intelligence Magazine |date=November 2016 |volume=11 |issue=4 |pages=4–6 |doi=10.1109/MCI.2016.2602068 }}</ref> [[IEEE Standards Association]] द्वारा विकसित। FML फ़ज़ी लॉजिक सिस्टम को मानव-पठनीय और हार्डवेयर स्वतंत्र तरीके से मॉडलिंग करने की अनुमति देता है। FML एक्स्टेंसिबल मार्कअप लैंग्वेज ([[XML]]) पर आधारित है। FML के साथ फ़ज़ी सिस्टम के डिजाइनरों के पास इंटरऑपरेबल फ़ज़ी सिस्टम का वर्णन करने के लिए एकीकृत और उच्च-स्तरीय कार्यप्रणाली है। IEEE STANDARD 1855–2016 FML प्रोग्राम के सिंटैक्स और शब्दार्थ को परिभाषित करने के लिए [[W3C]] [[XML स्कीमा (W3C)]] परिभाषा भाषा का उपयोग करता है।


FML की शुरुआत से पहले, फ़ज़ी लॉजिक प्रैक्टिशनर अपने फ़ज़ी एल्गोरिदम के बारे में जानकारी का आदान-प्रदान कर सकते थे, अपने सॉफ़्टवेयर फ़ंक्शंस में [[फ़ज़ी कंट्रोल लैंग्वेज]] (FCL) के साथ संगत फॉर्म में पढ़ने, सही ढंग से पार्स करने और अपने काम के परिणाम को स्टोर करने की क्षमता जोड़कर। [[IEC 61131]] के भाग 7 द्वारा वर्णित और निर्दिष्ट।<ref name="Di Stefano2013">{{cite book |doi=10.1007/978-3-642-35488-5_1 |chapter=On the Need of a Standard Language for Designing Fuzzy Systems |title=On the Power of Fuzzy Markup Language |series=Studies in Fuzziness and Soft Computing |year=2013 |last1=Di Stefano |first1=Bruno N. |volume=296 |pages=3–15 |isbn=978-3-642-35487-8 }}</ref><ref name="AcamporaLoia2013">{{cite book |doi=10.1007/978-3-642-35488-5 |title=On the Power of Fuzzy Markup Language |series=Studies in Fuzziness and Soft Computing |year=2013 |volume=296 |isbn=978-3-642-35487-8 }}</ref>
FML की शुरुआत से पहले, फ़ज़ी लॉजिक प्रैक्टिशनर अपने फ़ज़ी एल्गोरिदम के बारे में जानकारी का आदान-प्रदान कर सकते थे, अपने सॉफ़्टवेयर फ़ंक्शंस में [[फ़ज़ी कंट्रोल लैंग्वेज]] (FCL) के साथ संगत फॉर्म में पढ़ने, सही ढंग से पार्स करने और अपने काम के परिणाम को स्टोर करने की क्षमता जोड़कर। [[IEC 61131]] के भाग 7 द्वारा वर्णित और निर्दिष्ट।<ref name="Di Stefano2013">{{cite book |doi=10.1007/978-3-642-35488-5_1 |chapter=On the Need of a Standard Language for Designing Fuzzy Systems |title=On the Power of Fuzzy Markup Language |series=Studies in Fuzziness and Soft Computing |year=2013 |last1=Di Stefano |first1=Bruno N. |volume=296 |pages=3–15 |isbn=978-3-642-35487-8 }}</ref><ref name="AcamporaLoia2013">{{cite book |doi=10.1007/978-3-642-35488-5 |title=On the Power of Fuzzy Markup Language |series=Studies in Fuzziness and Soft Computing |year=2013 |volume=296 |isbn=978-3-642-35487-8 }}</ref>

Revision as of 21:42, 20 February 2023

फ़ज़ी लॉजिक कई-मूल्यवान तर्क का रूप है जिसमें चर का सत्य मान 0 और 1 के बीच कोई भी वास्तविक संख्या हो सकती है। इसे आंशिक सत्य की अवधारणा को संभालने के लिए नियोजित किया जाता है, जहाँ सत्य मान पूरी तरह से सत्य और पूरी तरह से गलत के बीच हो सकता है। .[1] इसके विपरीत, बूलियन बीजगणित में, चर के सत्य मान केवल पूर्णांक मान 0 या 1 हो सकते हैं।

फ़ज़ी लॉजिक शब्द की शुरुआत 1965 में ईरानी अज़रबैजानी गणितज्ञ लोत्फ़ी ए. ज़ादेह द्वारा फ़ज़ी सेट सिद्धांत के प्रस्ताव के साथ की गई थी।[2][3] चूंकि, फ़ज़ी लॉजिक का अध्ययन 1920 के दशक से किया गया था, जैसा कि लुकासिविक्ज़ लॉजिक|अनंत-मूल्यवान लॉजिक—खास तौर पर जान लुकासिविज़|लुकासिविक्ज़ और अल्फ्रेड टार्स्की द्वारा।[4] फ़ज़ी लॉजिक इस अवलोकन पर आधारित है कि लोग त्रुटिहीन और गैर-संख्यात्मक जानकारी के आधार पर निर्णय लेते हैं। फ़ज़ी मॉडल या सेट अस्पष्टता और त्रुटिहीन जानकारी का प्रतिनिधित्व करने के गणितीय साधन हैं (इसलिए फ़ज़ी शब्द)। इन मॉडलों में डेटा और सूचना को पहचानने, प्रतिनिधित्व करने, हेरफेर करने, व्याख्या करने और उपयोग करने की क्षमता है जो अस्पष्ट हैं और निश्चितता की कमी है।[5]Cite error: Closing </ref> missing for <ref> tag सत्य की डिग्री और प्रायिकता दोनों की सीमा 0 और 1 के बीच होती है और इसलिए पहली बार में समान लग सकती है, किन्तु फ़ज़ी लॉजिक सत्य की डिग्री का उपयोग अस्पष्टता के गणितीय मॉडल के रूप में करता है, जबकि संभाव्यता अज्ञानता का गणितीय मॉडल है।[6]


सत्य मान लागू करना

एक बुनियादी अनुप्रयोग चर (गणित) की विभिन्न उप-श्रेणियों की विशेषता हो सकती है। उदाहरण के लिए, लॉक - रोधी ब्रेकिंग प्रणाली के लिए तापमान माप | एंटी-लॉक ब्रेक में ब्रेक को ठीक से नियंत्रित करने के लिए आवश्यक विशेष तापमान रेंज को परिभाषित करने वाले कई अलग-अलग सदस्यता कार्य हो सकते हैं। प्रत्येक फ़ंक्शन समान तापमान मान को 0 से 1 श्रेणी में सत्य मान पर मैप करता है। इन सत्य मानों का उपयोग यह निर्धारित करने के लिए किया जा सकता है कि ब्रेक को कैसे नियंत्रित किया जाना चाहिए।[7] फ़ज़ी सेट सिद्धांत अनिश्चितता का प्रतिनिधित्व करने के लिए साधन प्रदान करता है।

भाषाई चर

फ़ज़ी लॉजिक अनुप्रयोगों में, गैर-संख्यात्मक मानों का उपयोग अधिकांशतःनियमों और तथ्यों की अभिव्यक्ति को सुविधाजनक बनाने के लिए किया जाता है।[8] एक भाषाई चर जैसे उम्र युवा और उसके विलोम पुराने जैसे मूल्यों को स्वीकार कर सकता है। क्योंकि प्राकृतिक भाषाओं में फज़ी वैल्यू स्केल को व्यक्त करने के लिए हमेशा पर्याप्त मूल्य शब्द नहीं होते हैं, विशेषण या क्रियाविशेषणों के साथ भाषाई मूल्यों को संशोधित करना आम बात है। उदाहरण के लिए, हम हेज (भाषाविज्ञान) का उपयोग कर सकते हैं और कुछ हद तक पुराने या कुछ नए अतिरिक्त मूल्यों का निर्माण कर सकते हैं।[9]


फजी सिस्टम्स

ममदानी

सबसे प्रसिद्ध प्रणाली इब्राहिम ममदानी नियम-आधारित है।[10] यह निम्नलिखित नियमों का उपयोग करता है:

  1. फ़ज़ी सदस्यता कार्यों में सभी इनपुट मानों को फ़ज़ी करें।
  2. फ़ज़ी आउटपुट फ़ंक्शंस की गणना करने के लिए रूलबेस में सभी लागू नियमों को निष्पादित करें।
  3. कुरकुरा आउटपुट मान प्राप्त करने के लिए फ़ज़ी आउटपुट फ़ंक्शंस को डी-फ़ज़ी करें।

फजिफिकेशन

फ़ज़िफिकेशन कुछ हद तक सदस्यता के साथ फ़ज़ी सेट के लिए सिस्टम के संख्यात्मक इनपुट को असाइन करने की प्रक्रिया है। सदस्यता की यह डिग्री अंतराल [0,1] के भीतर कहीं भी हो सकती है। यदि यह 0 है तो मान दिए गए फ़ज़ी सेट से संबंधित नहीं है, और यदि यह 1 है तो मान पूरी तरह फ़ज़ी सेट के अंतर्गत आता है। 0 और 1 के बीच का कोई भी मान अनिश्चितता की डिग्री का प्रतिनिधित्व करता है जो मान सेट में होता है। इन अस्पष्ट सेटों को आम तौर पर शब्दों द्वारा वर्णित किया जाता है, और इसलिए फ़ज़ी सेटों को सिस्टम इनपुट निर्दिष्ट करके, हम इसके साथ भाषाई रूप से प्राकृतिक तरीके से तर्क कर सकते हैं।

उदाहरण के लिए, नीचे दी गई छवि में भावों के अर्थ ठंडे, गर्म और गर्म तापमान पैमाने के मानचित्रण कार्यों द्वारा दर्शाए गए हैं। उस पैमाने पर बिंदु के तीन सत्य मान हैं - तीन कार्यों में से प्रत्येक के लिए एक। छवि में लंबवत रेखा विशेष तापमान का प्रतिनिधित्व करती है जिसे तीन तीर (सत्य मान) गेज करते हैं। चूँकि लाल तीर शून्य की ओर इशारा करता है, इस तापमान की व्याख्या गर्म नहीं के रूप में की जा सकती है; अर्थात फ़ज़ी सेट हॉट में इस तापमान की शून्य सदस्यता है। नारंगी तीर (0.2 की ओर इशारा करते हुए) इसे थोड़ा गर्म और नीला तीर (0.8 की ओर इशारा करते हुए) अधिक ठंडा बता सकता है। इसलिए, इस तापमान में फ़ज़ी सेट वार्म में 0.2 सदस्यता और फ़ज़ी सेट कोल्ड में 0.8 सदस्यता होती है। प्रत्येक फ़ज़ी सेट के लिए असाइन की गई सदस्यता की डिग्री फ़ज़ीफ़िकेशन का परिणाम है।

फ़ज़ी लॉजिक तापमान

फजी सेट को अधिकांशतःत्रिभुज या समलम्बाकार के आकार के वक्र के रूप में परिभाषित किया जाता है, क्योंकि प्रत्येक मान में ढलान होगी जहाँ मूल्य बढ़ रहा है, चोटी जहाँ मान 1 के बराबर है (जिसकी लंबाई 0 या अधिक हो सकती है) और ढलान जहाँ मूल्य घट रहा है।[11] उन्हें सिग्मॉइड फ़ंक्शन का उपयोग करके भी परिभाषित किया जा सकता है।[12] लॉजिस्टिक फंक्शन के रूप में परिभाषित सामान्य मामला है

जिसमें निम्नलिखित समरूपता गुण है

इससे यह अनुसरण करता है


फजी लॉजिक ऑपरेटर्स

फ़ज़ी लॉजिक सदस्यता मूल्यों के साथ इस तरह काम करता है जो बूलियन तर्क की नकल करता है। इसके लिए, बेसिक ऑपरेटर (कंप्यूटर प्रोग्रामिंग) के AND, OR, NOT के लिए प्रतिस्थापन उपलब्ध होना चाहिए। इसके कई तरीके हैं। सामान्य प्रतिस्थापन कहा जाता हैZadeh operatorएस:

Boolean Fuzzy
AND(x,y) MIN(x,y)
OR(x,y) MAX(x,y)
NOT(x) 1 – x

TRUE/1 और FALSE/0 के लिए, फ़ज़ी एक्सप्रेशन बूलियन एक्सप्रेशन के समान परिणाम उत्पन्न करते हैं।

अन्य ऑपरेटर भी हैं, प्रकृति में अधिक भाषाई, जिन्हें हेजेज कहा जाता है जिन्हें लागू किया जा सकता है। ये आम तौर पर क्रियाविशेषण होते हैं जैसे बहुत, या कुछ हद तक, जो गणितीय सूत्र का उपयोग करके सेट के अर्थ को संशोधित करते हैं।[13] चूंकि, मनमाना विकल्प तालिका हमेशा फ़ज़ी लॉजिक फ़ंक्शन को परिभाषित नहीं करती है। कागज में (जैतसेव, एट अल),[14] यह पहचानने के लिए मानदंड तैयार किया गया है कि क्या दी गई पसंद तालिका फ़ज़ी लॉजिक फ़ंक्शन को परिभाषित करती है और फ़ज़ी लॉजिक फ़ंक्शन सिंथेसिस का सरल एल्गोरिदम न्यूनतम और अधिकतम घटकों की प्रस्तुत अवधारणाओं के आधार पर प्रस्तावित किया गया है। फ़ज़ी लॉजिक फ़ंक्शन न्यूनतम के घटकों के संयोजन का प्रतिनिधित्व करता है, जहां न्यूनतम का घटक इस क्षेत्र में फ़ंक्शन मान से अधिक या उसके बराबर वर्तमान क्षेत्र के चर का संयोजन है (असमानता में फ़ंक्शन मान के दाईं ओर, सहित) फ़ंक्शन मान)।

AND/OR ऑपरेटरों का और सेट गुणन पर आधारित है, जहां

<वाक्यविन्यास लैंग = पाठ> एक्स और वाई = एक्स * वाई एक्स = 1 - एक्स नहीं

इस तरह, एक्स या वाई = नहीं (और (नहीं (एक्स), नहीं (वाई))) एक्स या वाई = नहीं (और (1-एक्स, 1-वाई)) एक्स या वाई = नहीं ((1-एक्स) * (1-वाई)) x या y = 1-(1-x)*(1-y) x या y = x+y-xy </वाक्यविन्यास हाइलाइट>

AND/OR/NOT में से किन्हीं दो को देखते हुए, तीसरा प्राप्त करना संभव है। AND के सामान्यीकरण को t-मानक के रूप में जाना जाता है।

यदि-तो नियम

IF-THEN नियम वांछित आउटपुट सत्य मानों के लिए इनपुट या गणना किए गए सत्य मानों को मैप करते हैं। उदाहरण: <वाक्यविन्यास लैंग = पाठ> यदि तापमान बहुत ठंडा है तो पंखे की गति बंद कर दी जाती है यदि तापमान ठंडा है तो पंखे की गति धीमी है यदि तापमान गर्म है तो पंखे की गति मध्यम है यदि तापमान गर्म है तो पंखे की गति अधिक है </वाक्यविन्यास हाइलाइट>

एक निश्चित तापमान को देखते हुए, फ़ज़ी वेरिएबल हॉट का निश्चित सत्य मान होता है, जिसे उच्च चर में कॉपी किया जाता है।

यदि कोई आउटपुट चर कई THEN भागों में होता है, तो संबंधित IF भागों के मानों को OR ऑपरेटर का उपयोग करके संयोजित किया जाता है।

डीफजिफिकेशन

लक्ष्य फ़ज़ी ट्रुथ वैल्यूज़ से सतत चर प्राप्त करना है।[citation needed] यह आसान होगा यदि आउटपुट सत्य मान वास्तव में किसी दिए गए नंबर के फ़ज़िफिकेशन से प्राप्त किए गए हों। चूंकि, चूंकि, सभी आउटपुट सत्य मूल्यों की स्वतंत्र रूप से गणना की जाती है, ज्यादातर मामलों में वे संख्याओं के ऐसे सेट का प्रतिनिधित्व नहीं करते हैं।[citation needed] एक को तब संख्या तय करनी होती है जो सत्य मान में एन्कोड किए गए इरादे से सबसे अच्छी तरह मेल खाती है। उदाहरण के लिए, fan_speed के कई सत्य मानों के लिए, वास्तविक गति का पता लगाना चाहिए जो 'धीमी', 'मध्यम' और इसी तरह के चरों के संगणित सत्य मानों के लिए सबसे उपयुक्त हो।[citation needed] इस उद्देश्य के लिए कोई एकल एल्गोरिथम नहीं है।

एक सामान्य एल्गोरिदम है

  1. प्रत्येक सत्य मान के लिए, सदस्यता फ़ंक्शन को इस मान पर काटें
  2. OR ऑपरेटर का उपयोग करके परिणामी वक्रों को संयोजित करें
  3. वक्र के अंतर्गत क्षेत्र का केंद्र-भार ज्ञात करें
  4. इस केंद्र की x स्थिति अंतिम आउटपुट है।

ताकगी-सुगेनो-कांग (टीएसके)

टीएसके प्रणाली[15] ममदानी के समान है, किन्तु अस्पष्टीकरण प्रक्रिया फजी नियमों के निष्पादन में सम्मलित है। इन्हें भी अनुकूलित किया जाता है, जिससे कि इसके अतिरिक्त नियम के परिणाम को बहुपद समारोह (सामान्यतः स्थिर या रैखिक) के माध्यम से प्रदर्शित किया जा सके। स्थिर आउटपुट वाले नियम का उदाहरण होगा:

यदि तापमान बहुत ठंडा है = 2

इस स्थिति में, आउटपुट परिणामी के स्थिरांक के बराबर होगा (उदाहरण 2)। अधिकांश परिदृश्यों में हमारे पास 2 या अधिक नियमों के साथ संपूर्ण नियम आधार होगा। यदि यह स्थिति है, तो पूरे नियम आधार का उत्पादन प्रत्येक नियम i (Yi), इसके पूर्ववर्ती के सदस्यता मूल्य के अनुसार भारित (एचi):

रैखिक आउटपुट वाले नियम का उदाहरण इसके अतिरिक्त होगा:

यदि तापमान बहुत ठंडा है और आर्द्रता अधिक है = 2 * तापमान + 1 * आर्द्रता

इस स्थिति में, नियम का आउटपुट परिणाम में फ़ंक्शन का परिणाम होगा। फ़ंक्शन के भीतर चर फ़ज़िफिकेशन के बाद सदस्यता मूल्यों का प्रतिनिधित्व करते हैं, क्रिस्प मूल्यों का नहीं। पहले की तरह, यदि हमारे पास 2 या अधिक नियमों के साथ संपूर्ण नियम आधार है, तो कुल आउटपुट प्रत्येक नियम के आउटपुट के बीच भारित औसत होगा।

ममदानी पर टीएसके का उपयोग करने का मुख्य लाभ यह है कि यह कम्प्यूटेशनल रूप से कुशल है और अन्य एल्गोरिदम जैसे कि पीआईडी ​​​​नियंत्रण और अनुकूलन एल्गोरिदम के साथ अच्छी तरह से काम करता है। यह आउटपुट सतह की निरंतरता की गारंटी भी दे सकता है। चूंकि, ममदानी लोगों के साथ काम करने में अधिक सहज और आसान है। इसलिए, टीएसके सामान्यतः अन्य जटिल तरीकों के भीतर प्रयोग किया जाता है, जैसे कि अनुकूली न्यूरो फ़ज़ी इनफेरेंस सिस्टम में।

इनपुट और फजी नियमों की आम सहमति बनाना

चूंकि फ़ज़ी सिस्टम आउटपुट सभी इनपुट और सभी नियमों की सहमति है, फ़ज़ी लॉजिक सिस्टम को अच्छी तरह से व्यवहार किया जा सकता है जब इनपुट मान उपलब्ध नहीं होते हैं या भरोसेमंद नहीं होते हैं। नियम आधार में प्रत्येक नियम में भार को वैकल्पिक रूप से जोड़ा जा सकता है और भार का उपयोग उस डिग्री को विनियमित करने के लिए किया जा सकता है जिस पर नियम आउटपुट मानों को प्रभावित करता है। ये नियम भार प्रत्येक नियम की प्राथमिकता, विश्वसनीयता या स्थिरता पर आधारित हो सकते हैं। ये नियम भार स्थिर हो सकते हैं या अन्य नियमों के आउटपुट के आधार पर भी गतिशील रूप से बदले जा सकते हैं।

अनुप्रयोग

फ़ज़ी लॉजिक का उपयोग नियंत्रण प्रणालियों में किया जाता है जिससे कि विशेषज्ञों को अस्पष्ट नियमों का योगदान करने की अनुमति मिल सके जैसे कि यदि आप गंतव्य स्टेशन के करीब हैं और तेज़ी से आगे बढ़ रहे हैं, तो ट्रेन के ब्रेक दबाव में वृद्धि करें; इन अस्पष्ट नियमों नियंत्रण प्रणाली के भीतर संख्यात्मक रूप से परिष्कृत किया जा सकता है।

फ़ज़ी लॉजिक के कई प्रारंभिक सफल अनुप्रयोग जापान में लागू किए गए थे। पहला उल्लेखनीय अनुप्रयोग सेंदाई सबवे 1000 श्रृंखला पर था, जिसमें फ़ज़ी लॉजिक अर्थव्यवस्था, आराम और सवारी की त्रुटिहीनता में सुधार करने में सक्षम था। इसका उपयोग सोनी पॉकेट कंप्यूटर, हेलीकॉप्टर उड़ान सहायता, सबवे सिस्टम नियंत्रण, ऑटोमोबाइल ईंधन दक्षता में सुधार, सिंगल-बटन वाशिंग मशीन नियंत्रण, वैक्यूम क्लीनर में स्वत: बिजली नियंत्रण, और भूकंप विज्ञान संस्थान के माध्यम से भूकंप की शीघ्र पहचान के लिए लिखावट की पहचान के लिए भी किया गया है। मौसम विज्ञान ब्यूरो, जापान।[16]


कृत्रिम बुद्धि

एआई और फ़ज़ी लॉजिक, जब विश्लेषण किया जाता है, ही चीज़ हैं - तंत्रिका नेटवर्क का अंतर्निहित तर्क फ़ज़ी है। तंत्रिका नेटवर्क विभिन्न प्रकार के मूल्यवान इनपुट लेगा, उन्हें दूसरे के संबंध में अलग-अलग भार देगा, और निर्णय पर पहुंचेगा जिसका सामान्य रूप से भी मूल्य होता है। उस प्रक्रिया में कहीं भी या तो-या निर्णयों के अनुक्रम जैसा कुछ नहीं है जो गैर-फजी गणित, लगभग सभी कंप्यूटर प्रोग्रामिंग और डिजिटल इलेक्ट्रॉनिक्स की विशेषता है। 1980 के दशक में, शोधकर्ताओं को मशीन सीखने के लिए सबसे प्रभावी दृष्टिकोण के बारे में विभाजित किया गया था: सामान्य ज्ञान मॉडल या तंत्रिका नेटवर्क। पूर्व दृष्टिकोण के लिए बड़े निर्णय वृक्षों की आवश्यकता होती है और यह बाइनरी लॉजिक का उपयोग करता है, जिस हार्डवेयर पर यह चलता है उससे मेल खाता है। भौतिक उपकरण बाइनरी लॉजिक तक सीमित हो सकते हैं, किन्तु एआई इसकी गणना के लिए सॉफ्टवेयर का उपयोग कर सकता है। तंत्रिका नेटवर्क इस दृष्टिकोण को अपनाते हैं, जिसके परिणामस्वरूप जटिल स्थितियों के अधिक त्रुटिहीन मॉडल मिलते हैं। तंत्रिका नेटवर्क ने जल्द ही कई इलेक्ट्रॉनिक उपकरणों पर अपना रास्ता खोज लिया।[17]


चिकित्सा निर्णय लेना

नैदानिक ​​निर्णय समर्थन प्रणाली में फ़ज़ी लॉजिक महत्वपूर्ण अवधारणा है। चूंकि चिकित्सा और स्वास्थ्य संबंधी डेटा व्यक्तिपरक या फजी हो सकता है, इसलिए इस डोमेन के अनुप्रयोगों में फ़ज़ी लॉजिक आधारित दृष्टिकोणों का उपयोग करके बहुत अधिक लाभ उठाने की क्षमता है।

चिकित्सा निर्णय लेने के ढांचे के भीतर कई अलग-अलग पहलुओं में फ़ज़ी लॉजिक का उपयोग किया जा सकता है। ऐसे पहलू सम्मलित हैं[18][19][20][clarification needed] मेडिकल इमेज एनालिसिस, बायोमेडिकल सिग्नल एनालिसिस, छवि विभाजन में[21] या संकेत, और सुविधा निष्कर्षण / छवियों का चयन[21]या संकेत।[22]

इस एप्लिकेशन क्षेत्र में सबसे बड़ा सवाल यह है कि फ़ज़ी लॉजिक का उपयोग करते समय कितनी उपयोगी जानकारी प्राप्त की जा सकती है। एक बड़ी चुनौती यह है कि आवश्यक फ़ज़ी डेटा कैसे प्राप्त किया जाए। यह तब और भी चुनौतीपूर्ण हो जाता है जब किसी को ऐसे डेटा को मनुष्यों (आमतौर पर, रोगियों) से प्राप्त करना होता है। जैसा कहा गया है

"The envelope of what can be achieved and what cannot be achieved in medical diagnosis, ironically, is itself a fuzzy one"

— Seven Challenges, 2019.[23]

फ़ज़ी डेटा कैसे प्राप्त करें, और डेटा की त्रुटिहीनता को कैसे मान्य करें, अभी भी फ़ज़ी लॉजिक के अनुप्रयोग से संबंधित सतत प्रयास है। फ़ज़ी डेटा की गुणवत्ता का आकलन करने की समस्या कठिन है। यही कारण है कि फ़ज़ी लॉजिक चिकित्सा निर्णय लेने के आवेदन क्षेत्र के भीतर अत्यधिक आशाजनक संभावना है, किन्तु अभी भी इसकी पूरी क्षमता हासिल करने के लिए और अधिक शोध की आवश्यकता है।[23] यद्यपि चिकित्सा निर्णय लेने में फ़ज़ी लॉजिक का उपयोग करने की अवधारणा रोमांचक है, फिर भी कई चुनौतियाँ हैं जो चिकित्सा निर्णय लेने के ढांचे के भीतर फ़ज़ी दृष्टिकोण का सामना करती हैं।

छवि आधारित कंप्यूटर एडेड निदान

फ़ज़ी लॉजिक का उपयोग करने वाले सामान्य अनुप्रयोग क्षेत्रों में से चिकित्सा में छवि-आधारित कंप्यूटर-एडेड डायग्नोसिस (CAD) है।[24] सीएडी अंतर-संबंधित उपकरणों का कम्प्यूटरीकृत सेट है जिसका उपयोग चिकित्सकों को उनके नैदानिक ​​निर्णय लेने में सहायता करने के लिए किया जा सकता है। उदाहरण के लिए, जब चिकित्सक को ऐसा घाव मिलता है जो असामान्य है किन्तु अभी भी विकास के बहुत प्रारंभिक चरण में है तो वह घाव को चिह्नित करने और इसकी प्रकृति का निदान करने के लिए सीएडी दृष्टिकोण का उपयोग कर सकता है। इस घाव की प्रमुख विशेषताओं का वर्णन करने के लिए फ़ज़ी लॉजिक अत्यधिक उपयुक्त हो सकता है।

फ़ज़ी डेटाबेस

एक बार फ़ज़ी संबंध परिभाषित हो जाने के बाद, फ़ज़ी संबंध का डेटाबेस विकसित करना संभव है। पहला फ़ज़ी रिलेशनल डेटाबेस, FRDB, मारिया ज़मानकोवा के शोध प्रबंध (1983) में दिखाई दिया। बाद में, कुछ अन्य मॉडल उत्पन्न हुए जैसे बकल्स-पेट्री मॉडल, प्रेड-टेस्टेमेल मॉडल, उमानो-फुकामी मॉडल या जेएम मदीना, एमए विला एट अल द्वारा जीईएफआरईडी मॉडल।

अस्पष्ट पूछताछ भाषाओं को परिभाषित किया गया है, जैसे कि SQLf by P. Bosc et al। और J. Galindo et al द्वारा FSQL। SQL कथनों में फ़ज़ी पहलुओं को सम्मलित करने के लिए ये भाषाएँ कुछ संरचनाओं को परिभाषित करती हैं, जैसे फ़ज़ी स्थितियाँ, फ़ज़ी तुलनित्र, फ़ज़ी स्थिरांक, फ़ज़ी कंस्ट्रेंट, फ़ज़ी थ्रेसहोल्ड, भाषाई लेबल आदि।

तार्किक विश्लेषण

गणितीय तर्क में, फ़ज़ी लॉजिक की कई औपचारिक प्रणालियाँ हैं, जिनमें से अधिकांश टी-मानदंड फ़ज़ी लॉजिक के परिवार में हैं।

प्रस्तावित फ़ज़ी लॉजिक्स

सबसे महत्वपूर्ण प्रस्तावक फ़ज़ी लॉजिक्स हैं:

  • एमटीएल (तर्क) |मोनॉयडल टी-नॉर्म-आधारित प्रोपोज़िशनल फ़ज़ी लॉजिक एमटीएल स्वयंसिद्ध प्रणाली है#तर्क का स्वयंसिद्धीकरण जहां तार्किक संयोजन को बाएं निरंतर टी-मानदंड द्वारा परिभाषित किया गया है और निहितार्थ को टी-मानदंड के अवशेष के रूप में परिभाषित किया गया है। इसकी संरचना (गणितीय तर्क) एमटीएल-बीजगणित के अनुरूप है जो पूर्व-रैखिक कम्यूटेटिव बाउंड इंटीग्रल अवशिष्ट जाली हैं।
  • बीएल (तर्क) बीएल एमटीएल तर्क का विस्तार है जहां संयोजन को निरंतर टी-मानदंड द्वारा परिभाषित किया जाता है, और निहितार्थ को टी-मानदंड के अवशेष के रूप में भी परिभाषित किया जाता है। इसके मॉडल बीएल-अलजेब्रस के अनुरूप हैं।
  • लुकासिविक्ज़ फ़ज़ी लॉजिक|लुकासिविज़ फ़ज़ी लॉजिक बुनियादी फ़ज़ी लॉजिक बीएल का विस्तार है जहाँ मानक संयोजन लुकासिविज़ टी-नॉर्म है। इसमें बुनियादी फ़ज़ी लॉजिक के स्वयंसिद्ध और दोहरे निषेध का स्वयंसिद्ध है, और इसके मॉडल एमवी-बीजगणित के अनुरूप हैं।
  • गोडेल फ़ज़ी लॉजिक बेसिक फ़ज़ी लॉजिक बीएल का विस्तार है जहाँ संयुग्मन गोडेल टी-नॉर्म (अर्थात न्यूनतम) है। इसमें BL के स्वयंसिद्ध और संयुग्मन की निष्क्रियता का स्वयंसिद्ध है, और इसके मॉडल को G-अल्जेब्रस कहा जाता है।
  • उत्पाद फ़ज़ी लॉजिक बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहाँ संयोजन उत्पाद टी-नॉर्म है। इसमें BL के अभिगृहीत और संयोजन की रद्दीकरण के लिए अन्य अभिगृहीत है, और इसके मॉडल को उत्पाद बीजगणित कहा जाता है।
  • मूल्यांकित सिंटैक्स के साथ फ़ज़ी लॉजिक (कभी-कभी पावेल्का लॉजिक भी कहा जाता है), EVŁ द्वारा निरूपित, गणितीय फ़ज़ी लॉजिक का और सामान्यीकरण है। जबकि उपरोक्त प्रकार के फ़ज़ी लॉजिक में पारंपरिक सिंटैक्स और कई-मूल्यवान शब्दार्थ हैं, EVŁ सिंटैक्स में भी मूल्यांकन किया जाता है। इसका मतलब है कि प्रत्येक सूत्र का मूल्यांकन होता है। EVŁ का स्वयंसिद्धीकरण लुकास्ज़ीविक्ज़ फ़ज़ी लॉजिक से उपजा है। मौलिक गोडेल पूर्णता प्रमेय का सामान्यीकरण EVŁ में सिद्ध किया जा सकता है[citation needed].

विधेय फजी लॉजिक्स

प्रस्तावक कलन से पहले क्रम का तर्क बनाने के तरीके के समान, प्रेडिकेट फ़ज़ी लॉजिक फ़ज़ी सिस्टम को यूनिवर्सल क्वांटिफायर और अस्तित्वगत परिमाणक द्वारा एक्सटेंड करते हैं। टी-नॉर्म फज़ी लॉजिक्स में यूनिवर्सल क्वांटिफायर का सिमेंटिक्स क्वांटिफाइड सबफॉर्मुला के उदाहरणों की ट्रुथ डिग्रियों का सबसे कम है, जबकि अस्तित्व क्वांटिफायर का शब्दार्थ उसी का सर्वोच्च है।

निर्णायकता मुद्दे

मौलिक गणित और मौलिक तर्क के लिए निर्णायक उपसमुच्चय और पुनरावर्ती गणना योग्य उपसमुच्चय की धारणाएं बुनियादी हैं। इस प्रकार फ़ज़ी सेट थ्योरी के लिए उनके उपयुक्त विस्तार का प्रश्न महत्वपूर्ण है। इस तरह की दिशा में पहला प्रस्ताव ई.एस. सैंटोस द्वारा फ़ज़ी ट्यूरिंग मशीन, मार्कोव सामान्य फ़ज़ी एल्गोरिथम और फ़ज़ी प्रोग्राम (सैंटोस 1970 देखें) की धारणाओं द्वारा किया गया था। क्रमिक रूप से, एल. बियासिनो और जी. गेरला ने तर्क दिया कि प्रस्तावित परिभाषाएँ संदिग्ध हैं। उदाहरण के लिए, में [25] one दिखाता है कि फ़ज़ी ट्यूरिंग मशीन फ़ज़ी लैंग्वेज थ्योरी के लिए पर्याप्त नहीं हैं क्योंकि प्राकृतिक फ़ज़ी लैंग्वेज सहज रूप से गणना योग्य हैं जिन्हें फ़ज़ी ट्यूरिंग मशीन द्वारा पहचाना नहीं जा सकता है। तब उन्होंने निम्नलिखित परिभाषाएँ प्रस्तावित कीं। [0,1] में परिमेय संख्याओं के समुच्चय को Ü से निरूपित करें। फिर फ़ज़ी उपसमुच्चय s : S [0,1] सेट S का पुनरावर्ती रूप से गणना योग्य है यदि पुनरावर्ती मानचित्र h : S×'N' Ü इस प्रकार उपस्तिथ है कि, S में प्रत्येक x के लिए, फ़ंक्शन h(x,n) n और s(x) = lim h(x,n) के संबंध में बढ़ रहा है। हम कहते हैं कि s निर्णायक है यदि दोनों s और इसके पूरक - पुनरावर्ती रूप से गणनीय हैं। एल-उपसमुच्चय के सामान्य मामले में इस तरह के सिद्धांत का विस्तार संभव है (गेरला 2006 देखें)। प्रस्तावित परिभाषाएँ फ़ज़ी लॉजिक से अच्छी तरह से संबंधित हैं। वास्तव में, निम्नलिखित प्रमेय सत्य है (बशर्ते कि फ़ज़ी लॉजिक का कटौती उपकरण कुछ स्पष्ट प्रभावशीलता संपत्ति को संतुष्ट करता है)।

कोई भी स्वयंसिद्ध फ़ज़ी सिद्धांत पुनरावर्ती गणना योग्य है। विशेष रूप से, तार्किक रूप से सही सूत्रों का फ़ज़ी सेट पुनरावर्ती रूप से गणना योग्य है, इस तथ्य के बावजूद कि मान्य सूत्रों का कुरकुरा सेट सामान्य रूप से पुनरावर्ती रूप से गणना योग्य नहीं है। इसके अतिरिक्त, कोई भी स्वयंसिद्ध और पूर्ण सिद्धांत निर्णायक है।

फ़ज़ी गणित के लिए चर्च थीसिस के लिए समर्थन देने के लिए यह खुला प्रश्न है, फ़ज़ी सबसेट के लिए पुनरावर्ती गणना की प्रस्तावित धारणा पर्याप्त है। इसे हल करने के लिए फ़ज़ी ग्रामर और फ़ज़ी ट्यूरिंग मशीन की धारणाओं का विस्तार आवश्यक है। अन्य खुला प्रश्न इस धारणा से प्रारंभ करना है कि गोडेल के प्रमेयों का फ़ज़ी लॉजिक तक विस्तार खोजा जाए।

अन्य लॉजिक्स की तुलना में

संभावना

फ़ज़ी लॉजिक और प्रायिकता अनिश्चितता के विभिन्न रूपों को संबोधित करते हैं। जबकि फ़ज़ी लॉजिक और संभाव्यता सिद्धांत दोनों कुछ प्रकार के व्यक्तिपरक विश्वास की डिग्री का प्रतिनिधित्व कर सकते हैं, फ़ज़ी सेट सिद्धांत फ़ज़ी सेट सदस्यता की अवधारणा का उपयोग करता है, अर्थात, अस्पष्ट रूप से परिभाषित सेट के भीतर कितना अवलोकन है, और संभाव्यता सिद्धांत व्यक्तिपरक संभाव्यता की अवधारणा का उपयोग करता है। , अर्थात, घटना की आवृत्ति या किसी घटना या स्थिति की संभावना[clarification needed]. फ़ज़ी सेट की अवधारणा को बीसवीं सदी के मध्य में बर्कले में विकसित किया गया था [26] संयुक्त रूप से अनिश्चितता और अस्पष्टता के मॉडलिंग के लिए संभाव्यता सिद्धांत की कमी की प्रतिक्रिया के रूप में।[27] बार्ट कोस्को फज़ीनेस बनाम प्रायिकता में प्रामाणित करता है[28] वह संभाव्यता सिद्धांत फ़ज़ी लॉजिक का उपसिद्धांत है, क्योंकि संभाव्यता सिद्धांत में पारस्परिक रूप से अनन्य सेट सदस्यता में विश्वास की डिग्री के प्रश्नों को फ़ज़ी सिद्धांत में गैर-पारस्परिक रूप से अनन्य श्रेणीबद्ध सदस्यता के कुछ मामलों के रूप में दर्शाया जा सकता है। उस संदर्भ में, वह फ़ज़ी सबसेटहुड की अवधारणा से बेयस प्रमेय को भी प्राप्त करता है। लोट्फी ए. ज़ादेह का तर्क है कि फ़ज़ी लॉजिक चरित्र में संभाव्यता से भिन्न है, और यह इसका प्रतिस्थापन नहीं है। उन्होंने संभाव्यता को फजी प्रायिकता के रूप में अस्पष्ट कर दिया और इसे संभावना सिद्धांत के लिए सामान्यीकृत भी किया।[29] अधिक आम तौर पर, फ़ज़ी लॉजिक मौलिक तर्क के कई अलग-अलग एक्सटेंशनों में से है, जिसका उद्देश्य मौलिक तर्क के दायरे से बाहर अनिश्चितता के मुद्दों से निपटना है, कई डोमेन में संभाव्यता सिद्धांत की अनुपयुक्तता, और डेम्पस्टर-शेफ़र सिद्धांत के विरोधाभास।

इकोरिथम्स

कम्प्यूटेशनल थिओरिस्ट लेस्ली बहादुर इकोरिथम्स शब्द का उपयोग यह बताने के लिए करता है कि कितने कम त्रुटिहीन सिस्टम और फ़ज़ी लॉजिक (और कम मजबूत लॉजिक) जैसी तकनीकों को सीखने के एल्गोरिदम पर लागू किया जा सकता है। वैलेंट अनिवार्य रूप से मशीन लर्निंग को विकासवादी के रूप में पुनर्परिभाषित करता है। सामान्य उपयोग में, ईकोरिथम एल्गोरिदम हैं जो उनके अधिक जटिल वातावरण (इसलिए इको-) से सामान्यीकरण, अनुमान और समाधान तर्क को सरल बनाने के लिए सीखते हैं। फ़ज़ी लॉजिक की तरह, वे निरंतर चर या प्रणालियों को दूर करने के लिए उपयोग की जाने वाली विधियाँ हैं जो पूरी तरह से या पूरी तरह से समझने या समझने के लिए बहुत जटिल हैं।[30] इकोरिथम्स और फ़ज़ी लॉजिक में भी संभावनाओं से अधिक संभावनाओं से निपटने की सामान्य संपत्ति होती है, चूंकि फीडबैक और फीडफॉरवर्ड नियंत्रण)नियंत्रण), मूल रूप से स्टोचैस्टिक वेट, उदाहरण के लिए, गतिशील प्रणाली से निपटने के समय दोनों की विशेषता है।

गोडेल जी तर्क

एक अन्य तार्किक प्रणाली जहां सत्य मान 0 और 1 के बीच वास्तविक संख्याएं हैं और जहां AND और OR ऑपरेटरों को MIN और MAX से बदल दिया जाता है, वह गोडेल का जी है तर्क। इस तर्क में फ़ज़ी लॉजिक के साथ कई समानताएँ हैं किन्तु नकारात्मकता को अलग तरह से परिभाषित करता है और इसका आंतरिक निहितार्थ है। नकार और निहितार्थ निम्नानुसार परिभाषित किया गया है:

जो परिणामी तार्किक प्रणाली को अंतर्ज्ञानवादी तर्क के लिए मॉडल में बदल देता है, जिससे तार्किक प्रणालियों के सभी संभावित विकल्पों में विशेष रूप से अच्छी तरह से व्यवहार किया जाता है, जिसमें 0 और 1 के बीच वास्तविक संख्याएं सत्य मान के रूप में होती हैं। इस मामले में, निहितार्थ की व्याख्या की जा सकती है क्योंकि x, y से कम सत्य है और निषेध के रूप में x 0 से कम सत्य है या x सख्ती से गलत है, और किसी के लिए और , हमारे पास वह है . विशेष रूप से, गोडेल तर्क में निषेध अब अंतर्वलन नहीं है और दोहरा निषेध किसी भी गैर-शून्य मान को 1 में मैप करता है।

क्षतिपूरक फ़ज़ी लॉजिक

प्रतिपूरक फ़ज़ी लॉजिक (CFL) फ़ज़ी लॉजिक की शाखा है जिसमें संयोजन और संयोजन के लिए संशोधित नियम हैं। जब संयोजन या वियोग के घटक का सत्य मान बढ़ता या घटता है, तो दूसरे घटक को क्षतिपूर्ति के लिए घटाया या बढ़ाया जाता है। सत्य मूल्य में यह वृद्धि या कमी किसी अन्य घटक में वृद्धि या कमी से ऑफसेट हो सकती है। कुछ निश्चित सीमाएँ पूरी होने पर ऑफ़सेट ब्लॉक किया जा सकता है। समर्थकों का[who?] प्रामाणित है कि सीएफएल उत्तम कम्प्यूटेशनल सिमेंटिक व्यवहार और प्राकृतिक भाषा की नकल करने की अनुमति देता है।[vague][31][32] जेसुस सेजस मोंटेरो (2011) के अनुसार प्रतिपूरक फ़ज़ी लॉजिक में चार निरंतर ऑपरेटर होते हैं: संयुग्मन (c); संयोजन (डी); फजी सख्त आदेश (या); और निषेध (एन)। संयुग्मन ज्यामितीय माध्य है और इसके दोहरे संयोजक और वियोगी संकारक हैं।[33]


मार्कअप भाषा मानकीकरण

IEEE 1855, IEEE मानक 1855–2016, अस्पष्ट मार्कअप भाषा (FML) नामक विशिष्ट भाषा के बारे में है।[34] IEEE Standards Association द्वारा विकसित। FML फ़ज़ी लॉजिक सिस्टम को मानव-पठनीय और हार्डवेयर स्वतंत्र तरीके से मॉडलिंग करने की अनुमति देता है। FML एक्स्टेंसिबल मार्कअप लैंग्वेज (XML) पर आधारित है। FML के साथ फ़ज़ी सिस्टम के डिजाइनरों के पास इंटरऑपरेबल फ़ज़ी सिस्टम का वर्णन करने के लिए एकीकृत और उच्च-स्तरीय कार्यप्रणाली है। IEEE STANDARD 1855–2016 FML प्रोग्राम के सिंटैक्स और शब्दार्थ को परिभाषित करने के लिए W3C XML स्कीमा (W3C) परिभाषा भाषा का उपयोग करता है।

FML की शुरुआत से पहले, फ़ज़ी लॉजिक प्रैक्टिशनर अपने फ़ज़ी एल्गोरिदम के बारे में जानकारी का आदान-प्रदान कर सकते थे, अपने सॉफ़्टवेयर फ़ंक्शंस में फ़ज़ी कंट्रोल लैंग्वेज (FCL) के साथ संगत फॉर्म में पढ़ने, सही ढंग से पार्स करने और अपने काम के परिणाम को स्टोर करने की क्षमता जोड़कर। IEC 61131 के भाग 7 द्वारा वर्णित और निर्दिष्ट।[35][36]


यह भी देखें


संदर्भ

  1. Novák, V.; Perfilieva, I.; Močkoř, J. (1999). Mathematical principles of fuzzy logic. Dordrecht: Kluwer Academic. ISBN 978-0-7923-8595-0.
  2. "Fuzzy Logic". Stanford Encyclopedia of Philosophy. Bryant University. 2006-07-23. Retrieved 2008-09-30.
  3. Lua error in Module:Cite_Q at line 435: attempt to index field '?' (a nil value).
  4. Pelletier, Francis Jeffry (2000). "Review of Metamathematics of fuzzy logics" (PDF). The Bulletin of Symbolic Logic. 6 (3): 342–346. doi:10.2307/421060. JSTOR 421060. Archived (PDF) from the original on 2016-03-03.
  5. "What is Fuzzy Logic? "Mechanical Engineering Discussion Forum"". mechanicalsite.com. Archived from the original on 2018-11-11. Retrieved 2018-11-11.
  6. Asli, Kaveh Hariri; Aliyev, Soltan Ali Ogli; Thomas, Sabu; Gopakumar, Deepu A. (2017-11-23). Handbook of Research for Fluid and Solid Mechanics: Theory, Simulation, and Experiment (in English). CRC Press. ISBN 9781315341507.
  7. Chaudhuri, Arindam; Mandaviya, Krupa; Badelia, Pratixa; Ghosh, Soumya K. (2016-12-23). Optical Character Recognition Systems for Different Languages with Soft Computing (in English). Springer. ISBN 9783319502526.
  8. Zadeh, L. A.; et al. (1996). Fuzzy Sets, Fuzzy Logic, Fuzzy Systems. World Scientific Press. ISBN 978-981-02-2421-9.
  9. Zadeh, L. A. (January 1975). "The concept of a linguistic variable and its application to approximate reasoning—I". Information Sciences. 8 (3): 199–249. doi:10.1016/0020-0255(75)90036-5.
  10. Mamdani, E. H. (1974). "Application of fuzzy algorithms for control of simple dynamic plant". Proceedings of the Institution of Electrical Engineers. 121 (12): 1585–1588. doi:10.1049/PIEE.1974.0328.
  11. Xiao, Zhi; Xia, Sisi; Gong, Ke; Li, Dan (2012-12-01). "The trapezoidal fuzzy soft set and its application in MCDM". Applied Mathematical Modelling (in English). 36 (12): 5846–5847. doi:10.1016/j.apm.2012.01.036. ISSN 0307-904X.
  12. Wierman, Mark J. "An Introduction to the Mathematics of Uncertainty: including Set Theory, Logic, Probability, Fuzzy Sets, Rough Sets, and Evidence Theory" (PDF). Creighton University. Archived (PDF) from the original on 30 July 2012. Retrieved 16 July 2016.
  13. Zadeh, L. A. (January 1972). "A Fuzzy-Set-Theoretic Interpretation of Linguistic Hedges". Journal of Cybernetics. 2 (3): 4–34. doi:10.1080/01969727208542910. ISSN 0022-0280.
  14. Zaitsev, D. A.; Sarbei, V. G.; Sleptsov, A. I. (1998). "Synthesis of continuous-valued logic functions defined in tabular form". Cybernetics and Systems Analysis. 34 (2): 190–195. doi:10.1007/BF02742068. S2CID 120220846.
  15. Takagi, Tomohiro; Sugeno, Michio (January 1985). "Fuzzy identification of systems and its applications to modeling and control". IEEE Transactions on Systems, Man, and Cybernetics. SMC-15 (1): 116–132. doi:10.1109/TSMC.1985.6313399. S2CID 3333100.
  16. Bansod, Nitin A; Kulkarni, Marshall; Patil, S. H. (2005). "Soft Computing- A Fuzzy Logic Approach". In Bharati Vidyapeeth College of Engineering (ed.). Soft Computing. Allied Publishers. p. 73. ISBN 978-81-7764-632-0. Retrieved 9 November 2018.
  17. Elkan, Charles (1994). "The paradoxical success of fuzzy logic". IEEE Expert. 9 (4): 3–49. CiteSeerX 10.1.1.100.8402. doi:10.1109/64.336150. S2CID 113687.
  18. Lin, K. P.; Chang, H. F.; Chen, T. L.; Lu, Y. M.; Wang, C. H. (2016). "Intuitionistic fuzzy C-regression by using least squares support vector regression". Expert Systems with Applications. 64: 296–304. doi:10.1016/j.eswa.2016.07.040.
  19. Deng, H.; Deng, W.; Sun, X.; Ye, C.; Zhou, X. (2016). "Adaptive intuitionistic fuzzy enhancement of brain tumor MR images". Scientific Reports. 6: 35760. Bibcode:2016NatSR...635760D. doi:10.1038/srep35760. PMC 5082372. PMID 27786240.
  20. Vlachos, I. K.; Sergiadis, G. D. (2007). "Intuitionistic fuzzy information–applications to pattern recognition". Pattern Recognition Letters. 28 (2): 197–206. Bibcode:2007PaReL..28..197V. doi:10.1016/j.patrec.2006.07.004.
  21. 21.0 21.1 Gonzalez-Hidalgo, Manuel; Munar, Marc; Bibiloni, Pedro; Moya-Alcover, Gabriel; Craus-Miguel, Andrea; Segura-Sampedro, Juan Jose (October 2019). "Detection of infected wounds in abdominal surgery images using fuzzy logic and fuzzy sets". 2019 International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). Barcelona, Spain: IEEE: 99–106. doi:10.1109/WiMOB.2019.8923289. ISBN 978-1-7281-3316-4. S2CID 208880793.
  22. Das, S.; Guha, D.; Dutta, B. (2016). "Medical diagnosis with the aid of using fuzzy logic and intuitionistic fuzzy logic". Applied Intelligence. 45 (3): 850–867. doi:10.1007/s10489-016-0792-0. S2CID 14590409.
  23. 23.0 23.1 Yanase, Juri; Triantaphyllou, Evangelos (2019). "The Seven Key Challenges for the Future of Computer-Aided Diagnosis in Medicine". International Journal of Medical Informatics. 129: 413–422. doi:10.1016/j.ijmedinf.2019.06.017. PMID 31445285. S2CID 198287435.
  24. Yanase, Juri; Triantaphyllou, Evangelos (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.
  25. Gerla, G. (2016). "Comments on some theories of fuzzy computation". International Journal of General Systems. 45 (4): 372–392. Bibcode:2016IJGS...45..372G. doi:10.1080/03081079.2015.1076403. S2CID 22577357.
  26. "Lotfi Zadeh Berkeley". Archived from the original on 2017-02-11.
  27. Mares, Milan (2006). "Fuzzy Sets". Scholarpedia. 1 (10): 2031. Bibcode:2006SchpJ...1.2031M. doi:10.4249/scholarpedia.2031.
  28. Kosko, Bart. "Fuzziness vs. Probability" (PDF). University of South California. Archived (PDF) from the original on 2006-09-02. Retrieved 9 November 2018.
  29. Novák, V (2005). "Are fuzzy sets a reasonable tool for modeling vague phenomena?". Fuzzy Sets and Systems. 156 (3): 341–348. doi:10.1016/j.fss.2005.05.029.
  30. Valiant, Leslie (2013). Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World. New York: Basic Books. ISBN 978-0465032716.
  31. Richardson, Mark (2010). "6.863 Final Project Writeup" (PDF). Archived (PDF) from the original on 2015-10-04. Retrieved 2015-10-02.
  32. Veri, Francesco (2017). "Fuzzy Multiple Attribute Conditions in fsQCA: Problems and Solutions". Sociological Methods & Research. 49 (2): 312–355. doi:10.1177/0049124117729693. S2CID 125146607.
  33. Montero, Jesús Cejas (2011). "La lógica difusa compensatoria" [The compensatory fuzzy logic]. Ingeniería Industrial (in español). 32 (2): 157–162. Gale A304726398.
  34. Acampora, Giovanni; Di Stefano, Bruno; Vitiello, Autilia (November 2016). "IEEE 1855™: The First IEEE Standard Sponsored by IEEE Computational Intelligence Society [Society Briefs]". IEEE Computational Intelligence Magazine. 11 (4): 4–6. doi:10.1109/MCI.2016.2602068.
  35. Di Stefano, Bruno N. (2013). "On the Need of a Standard Language for Designing Fuzzy Systems". On the Power of Fuzzy Markup Language. Studies in Fuzziness and Soft Computing. Vol. 296. pp. 3–15. doi:10.1007/978-3-642-35488-5_1. ISBN 978-3-642-35487-8.
  36. On the Power of Fuzzy Markup Language. Studies in Fuzziness and Soft Computing. Vol. 296. 2013. doi:10.1007/978-3-642-35488-5. ISBN 978-3-642-35487-8.


ग्रन्थसूची


बाहरी संबंध