अस्पष्ट तर्क

अस्पष्ट तर्क (Fuzzy logic/फजी लॉजिक) एक प्रकार का बहु-मान तर्क (many-valued logic) है जिसमें चरों के सत्यमान (truth values) ० और १ के बीच में कुछ भी हो सकते हैं (न कि केवल ० या १)। इसका उपयोग 'आंशिक सत्य' की अवधारणा के अनुरूप है क्योंकि प्रायः हम जीवन में पाते हैं कि कोई तर्क न पूर्णतः 'सत्य' होता है न पूर्णतः 'असत्य'। इसके विपरीत बूलीय तर्क में चरों के मान या तो ० होते हैं या १। डिजिटल परिपथ बूलीय तर्क पर ही काम करते हैं। 'फजी लॉजिक' शब्दसमूह का उपयोग सबसे पहले १९६५ में लोट्फी जादेह (Lotfi Zadeh) ने अस्पष्ट समुच्चय-सिद्धान्त (फजी सेट थियरी) के प्रतिपादन के साथ किया था। http://plato.stanford.edu/entries/logic-fuzzy/ Fuzzy Logic 2008-09-29 Stanford Encyclopedia of Philosophy Stanford University 2006-07-23 https://web.archive.org/web/20100711052740/http://plato.stanford.edu/entries/logic-fuzzy/ 11 जुलाई 2010 live ज़ादेह, एल. ए. (1965). "फ़ज़ी सेट्स", इनफोर्मेशन ऐंड कंट्रोल 8 (3): 338–353. किन्तु अस्पष्ट तर्क का अध्ययन १९२० के दशक के समय से ही चल रहा था जिसको अनन्त-मान तर्क कहते थे। अस्पष्ट तर्क का उपयोग बहुत से क्षेत्रों में कुशलतापूर्वक किया जाता है जिसमें कुछ प्रमुख क्षेत्र हैं- नियंत्रण सिद्धान्त, कृत्रिम बुद्धि आदि। सत्य की कोटि (ट्रुथ की डिग्रियां) ट्रुथ और प्रोबैबिलिटिज़ (संभावनाओं) की दोनों डिग्रियों का रेंज 0 और 1 के बीच होता है और इसलिए शुरू-शुरू में ये एक जैसे लग सकते हैं। हालांकि, वैचारिक रूप से वे अलग होते हैं; ट्रुथ, अस्पष्ट रूप से परिभाषित सेट में मेम्बरशिप का प्रतिनिधित्व करता है जो प्रोबैबिलिटी (अधिसम्भाव्यता) थ्यौरी (संभाव्यता का सिद्धांत) की तरह किसी इवेंट (घटना) या कंडीशन (स्थिति) के लाइकलिहुड (अनुरूप) नहीं होता है। उदाहरण के लिए, 100 ml का एक गिलास लेते हैं जिसमें 30 ml जल है। तब हम दो अवधारणाओं पर विचार कर सकते हैं: एम्प्टी (खाली) और फुल (भरा हुआ)। इनमें से प्रत्येक के अर्थ को एक निश्चित फ़ज़ी सेट के द्वारा प्रदर्शित किया जा सकता है। उसके बाद ही कोई इस गिलास को 0.7 खाली और 0.3 भरे हुए गिलास के रूप में परिभाषित कर सकता है। ध्यान दें कि खालीपन की अवधारणा, सब्जेक्टिव (व्यक्तिपरक) होगी और इस प्रकार यह पर्यवेक्षक या डिज़ाइनर पर निर्भर करेगी। दूसरा डिज़ाइनर भी बराबर-बराबर अच्छी तरह से एक सेट मेम्बरशिप कार्य का डिजाइन करेगा जहां गिलास को 50 ml से कम के सभी वैल्यूज़ के लिए भरा हुआ माना जाएगा. यह समझना बहुत जरूरी है कि फ़ज़ी लॉजिक, ट्रुथ डिग्रियों को वेगनेस फेनोमेनन (अस्पष्टता की घटना) के एक गणितीय मॉडल के रूप में प्रयोग करता है जबकि प्रोबैबिलिटी (अधिसम्भाव्यता), रैंडमनेस का एक गणितीय मॉडल है। एक प्रोबैबिलिस्टिक सेटिंग सबसे पहले गिलास के पूरा भरा होने के लिए एक स्केलर वेरिएबल (अदिश परिवर्तनीय) को परिभाषित करेगा और फिर प्रोबैबिलिटी (अधिसम्भाव्यता) का वर्णन करते हुए कंडीशनल डिस्ट्रीब्यूशंस को परिभाषित करेगा जिसे कोई व्यक्ति एक विशिष्ट पूर्णता के स्तर को दर्शाकर गिलास को भरा हुआ कहेगा. हालांकि, कुछ घटना के घटित होने की स्वीकृति के बिना इस मॉडल का कोई अर्थ नहीं है, उदाहरण के लिए, कुछ मिनट के बाद, गिलास आधा खाली हो जाएगा. ध्यान दें कि कंडीशनिंग को एक स्पेसिफिक ऑब्ज़र्वर (विशिष्ट पर्यवेक्षक) को रखकर प्राप्त किया जा सकता है जो गिलास के लिए स्तर और नियतात्मक पर्यवेक्षकों के एक वितरण (डिस्ट्रीब्यूशन) या दोनों का अनियमित रूप से चयन करता है। परिणामस्वरूप, प्रोबैबिलिटी (अधिसम्भाव्यता) (अधिसम्भाव्यता) में साधारणतः फ़ज़ीनेस के सिवा कुछ नहीं है, ये तो मात्र अलग-अलग अवधारणाएं हैं जो बाहर से एक जैसी लगती हैं क्योंकि इनमें वास्तविक संख्याओं [0, 1] के एक जैसे अन्तराल का प्रयोग होता है। डे मॉर्गन (De Morgan) के प्रमेय में दोहरी प्रयोज्यता और अनियमित वेरिएबल्स के गुण हैं। फिर भी, चूंकि ऐसे प्रमेय बाइनरी लॉजिक स्टेट्स के गुणों के अनुरूप होते हैं, इसलिए व्यक्ति यह देख सकता है कि कहां पर भ्रम पैदा हो सकता है। ट्रुथ वैल्यूज़ का अनुप्रयोग एक बेसिक अनुप्रयोग, एक सतत परिवर्तनीय के उप-श्रेणियों को परिलक्ष्यित कर सकता है। उदाहरण के लिए, एंटी-लॉक ब्रेक के तापमान के मापन में विशेष तापमान की श्रेणियों को परिभाषित करने वाले कई अलग मेम्बरशिप (सदस्यता) वाले फंक्शंस का समावेश हो सकता है जो ब्रेक्स को अच्छी तरह से नियंत्रित करने के लिए आवश्यक होते हैं। प्रत्येक फंक्शन, एक ट्रुथ वैल्यू के उसी तापमान वैल्यू को चित्रित करता है जिसका रेंज 0 से 1 के बीच होता है। इन ट्रुथ वैल्यूज़ को तब ब्रेक्स को नियंत्रित करने के तरीक़ों को निर्धारित करने के लिए प्रयोग में लाया जा सकता है। केंद्र|अंगूठाकार|फ़ज़ी लॉजिक तापमान इस इमेज में, कोल्ड (शीतल), वार्म (उष्ण) और हॉट (गर्म) अभिव्यक्तियों के अर्थ को एक तापमान स्केल के फंक्शंस मैपिंग के ज़रिये दर्शाया गया है। उस स्केल पर के एक बिंदु में तीन "ट्रुथ वैल्यूज़" हैं — तीन फंक्शंस में से प्रत्येक के लिए एक-एक वैल्यू. इमेज की खड़ी रेखा एक विशेष तापमान को तीन तीर (ट्रुथ वैल्यूज़) गेज़ के माध्यम से दर्शाती है। चूंकि लाल तीर शून्य को सूचित करता है इसलिए इस तापमान को "नॉट हॉट" (गर्म नहीं) माना जा सकता है। नारंगी रंग का तीर (0.2 पर इशारा करते हुए) इसे "स्लाइट्ली वार्म" (हल्का उष्ण) और नीला तीर (0.8 पर इशारा करते हुए) इसे "फेयरली कोल्ड" (काफी शीतल) के रूप में वर्णित कर सकता है। भाषायी वेरिएबल्स (भाषाई अस्थिरता) (भाषाई अस्थिरता) जबकि गणित में वेरिएबल्स साधारणतः संख्यात्मक वैल्यूज़ को ग्रहण करते हैं लेकिन फ़ज़ी लॉजिक के अनुप्रयोगों में, गैर-संख्यात्मक भाषाई वेरिएबल्स (भाषाई अस्थिरता) का प्रायः नियमों और तथ्यों की अभिव्यक्ति की सुविधा प्रदान करने के लिए प्रयोग किया जाता है।ज़ादेह, एल.ए. et al. 1996 फ़ज़ी सेट्स, फ़ज़ी लॉजिक, फ़ज़ी सिस्टम्स, वर्ल्ड साइंटिफिक प्रेस, ISBN 981-02-2421-4 एक भाषायी वेरिएबल जैसे कि एज (उम्र), में यंग या युवा अथवा इसके विपरीत ओल्ड या वृद्ध जैसा एक वैल्यू शामिल हो सकता है। हालांकि, भाषायी वेरिएबल्स (भाषाई अस्थिरता) की सबसे बड़ी प्रयोज्यता यही है कि प्राथमिक शर्तों पर लागू भाषायी हेजेज के माध्यम से इसे संशोधित किया जा सकता है। भाषायी हेजेज कुछ कार्यों के साथ संबद्ध हो सकते हैं। उदाहरण के लिए, L. A. ज़ादेह ने मेम्बरशिप कार्य के वर्ग को लेने का सुझाव दिया। हालांकि, यह मॉडल अच्छी तरह से काम नहीं करता है। अधिक जानकारी के लिए सन्दर्भ देखें. उदाहरण फ़ज़ी सेट थ्यौरी, फ़ज़ी सेट्स पर फ़ज़ी प्रचालकों को परिभाषित करता है। इसके अनुप्रयोग में यही समस्या है कि उपयुक्त फ़ज़ी प्रचालक ज्ञात नहीं हो सकता है। इसी कारणवश, फ़ज़ी लॉजिक आम तौर पर IF-THEN (यदि-तो) नियमों का प्रयोग करता है या उसकी संरचना करता है, जैसे - फ़ज़ी एसोसिएटिव मेट्रिसेस. नियमों को आम तौर पर निम्न रूप से व्यक्त किया जाता है: IF वेरिएबल IS प्रोपर्टी THEN एक्शन उदाहरण के लिए, एक साधारण तापमान नियामक जो एक पंखे का प्रयोग करता है, उसे इस प्रकार देख सकते हैं: यदि (IF) तापमान बहुत शीतल है (IS) तो (THEN) पंखे को रोक दें यदि (IF) तापमान शीतल है (IS) तो (THEN) पंखे को धीमा कर दें यदि (IF) तापमान (IS) सामान्य है तो (THEN) इस स्तर को बनाए रखें यदि (IF) तापमान गर्म है (IS) तो (THEN) पंखे की गति बढ़ा दें इसमें कोई "ELSE" (अन्यथा) नहीं है - सभी नियमों का मूल्यांकन किया जाता है क्योंकि तापमान एक ही समय पर अलग-अलग डिग्रियों में "कोल्ड" (शीतल) और "नोर्मल" (सामान्य) हो सकते हैं। बूलीयन लॉजिक के AND (और), OR (या) तथा NOT (नहीं) प्रचालक, फ़ज़ी लॉजिक में मौजूद होते हैं जिन्हें आम तौर पर मिनिमम (न्यूनतम), मैक्सिमम (उच्चतम) और कंप्लीमेंट (पूरक) के रूप में परिभाषित किया जाता है; जब उन्हें इस तरह से परिभाषित किया जाता है तब उन्हें ज़ादेह प्रचालक कहा जाता है। इसलिए फ़ज़ी वेरिएबल्स x और y के लिए: NOT x = (1 - truth(x)) x AND y = minimum(truth(x), truth(y)) x OR y = maximum(truth(x), truth(y)) अन्य प्रचालक भी हैं जो स्वभावतः भाषायी होते हैं उन्हें हेजेज़ कहते हैं और उनका भी अनुप्रयोग किया जा सकता है। ये आम तौर पर एड्वर्ब्स (क्रिया-विशेषण) होते हैं, जैसे - "वेरी" (बहुत) या "समव्हाट" (कुछ-कुछ), जो एक गणितीय सूत्र का प्रयोग करके सेट के अर्थ को संशोधित कर देते हैं। अनुप्रयोग में, प्रोग्रामिंग लैंग्वेज प्रोलोग (Prolog) को इसके फैसिलिटिज़ के साथ फ़ज़ी लॉजिकMay 2009 को कार्यान्वित करने के लिए अच्छी तरह से गिअर किया जाता है ताकि "नियमों" के एक डेटाबेस को स्थापित किया जा सके जो लॉजिक को घटाने के लिए पूछे जाते हैं। इस तरह की प्रोग्रामिंग को लॉजिक प्रोग्रामिंग के रूप में जाना जाता है। जब एक बार फ़ज़ी रिलेशंस को परिभाषित कर दिया जाता है, तब फ़ज़ी रिलेशनल डेटाबेस को विकसित करना संभव हो जाता है। प्रथम फ़ज़ी रिलेशनल डेटाबेस, FRDB को मारिया ज़ेमांकोवा के शोध प्रबंध में देखा गया। बाद में, बकल्स-पेट्री मॉडल (Buckles-Petry model), प्रेड-टेस्टेमेल मॉडल (Prade-Testemale Model), उमानो-फुकामी मॉडल (Umano-Fukami model) या जे. एम. मेडिना (J.M. Medina), एम. ए. विला et al. द्वारा GEFRED मॉडल जैसे कुछ अन्य मॉडलों का उद्भव हुआ। फ़ज़ी डेटाबेस के सन्दर्भ में, कुछ फ़ज़ी क्वेरिंग लैंग्वेजों को परिभाषित किया गया है और पी. बोस्क (P. Bosc) et al. द्वारा SQLf पर और जे. गैलिंडो (J. Galindo) et al. द्वारा FSQL पर प्रकाश डाला गया है। ये लैंग्वेज, SQL स्टेटमेंट्स में फ़ज़ी ऐस्पेक्ट्स को शामिल करने के उद्देश्य से कुछ संरचनाओं को परिभाषित करते हैं, जैसे फ़ज़ी कंडीशंस, फ़ज़ी कम्पैरेटर्स, फ़ज़ी कांस्टैंट्स, फ़ज़ी कंस्ट्रेंट्स, फ़ज़ी थ्रेसहोल्ड्स, भाषायी लेबल्स और अन्य. गणितीय फ़ज़ी लॉजिक गणितीय लॉजिक में, "फ़ज़ी लॉजिक" के कई औपचारिक सिस्टम्स हैं; उनमें से अधिकांश तथाकथित टी-नोर्म फ़ज़ी लॉजिक्स से संबंधित हैं। प्रोपोज़िशनल फ़ज़ी लॉजिक्स सबसे महत्वपूर्ण प्रोपोज़िशनल फ़ज़ी लॉजिक्स हैं: मोनोइडल टी-नोर्म-आधारित प्रोपोज़िशनल फ़ज़ी लॉजिक, लॉजिक का एक एक्सिओमेटाइज़ेशन है जहां कंजंक्शन (संयोजन) को एक लेफ्ट कंटीन्युअस (सतत) टी-नोर्म द्वारा परिभाषित किया जाता है और इम्प्लिकेशन (निहितार्थ) को टी-नोर्म के रेसिडुअम (अवशेष) के रूप में परिभाषित किया जाता है। इसके मॉडल्स MTL-अल्जेब्रास के अनुरूप होते हैं जो प्रिलाइनियर कम्युटेटिव बाउंडेड इंटीग्रल रेसिडुएटेड लेटिसेस होते हैं। बेसिक प्रोपोज़िशनल फ़ज़ी लॉजिक, MTL लॉजिक का ही एक विस्तार है जहां कंजंक्शन को एक सतत टी-नोर्म के द्वारा परिभाषित किया जाता है और इम्प्लिकेशन को टी-नोर्म के रेसिडुअम के रूप में भी परिभाषित किया जाता है। इसके मॉडल्स, BL-अल्जेब्रास के अनुरूप होते हैं। ल्युकासिएविक्ज़ फ़ज़ी लॉजिक (Łukasiewicz fuzzy logic), बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहां स्टैंडर्ड कंजंक्शन, ल्युकासिएविक्ज़ टी-नोर्म होता है। इसमें बेसिक फ़ज़ी लॉजिक के एक्सिओम्स के साथ डबल निगेशन के एक्सिओम भी होते हैं और इसके मॉडल्स, MV-अल्जेब्रास के अनुरूप होते हैं। गोडेल फ़ज़ी लॉजिक, बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहां कंजंक्शन, गोडेल टी-नोर्म होता है। इसमें BL के एक्सिओम्स के साथ-साथ कंजंक्शन के आइडेम्पोटेंस का एक एक्सिओम भी होता है और इसके मॉडल्स को G-अल्जेब्रास कहा जाता है। प्रोडक्ट फ़ज़ी लॉजिक, बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहां कंजंक्शन, प्रोडक्ट टी-नोर्म होता है। इसमें BL के एक्सिओम्स के साथ-साथ कंजंक्शन के कैंसेलेटिविटी के लिए एक और एक्सिओम भी होता है और इसके मॉडल्स को प्रोडक्ट अल्जेब्रास कहा जाता है। मूल्यांकित वाक्यविन्यास वाला फ़ज़ी लॉजिक (कभी-कभी पावेल्का'स लॉजिक (Pavelka's logic) भी कहा जाता है), EVŁ द्वारा सूचित, गणितीय फ़ज़ी लॉजिक का एक और सामान्यीकरण है। जबकि फ़ज़ी लॉजिक के उपर्युक्त प्रकारों में परंपरागत वाक्यविन्यास और मेनी-वैल्यूड सिमेंटिक्स होते हैं, लेकिन EVŁ में, वाक्यविन्यास का भी मूल्यांकन किया जाता है। इसका अर्थ यही है कि प्रत्येक सूत्र का एक मूल्यांकन होता है। EVŁ के एक्सिओमेटाइज़ेशन की उत्पत्ति ल्युकास्ज़िएविक्ज़ फ़ज़ी लॉजिक से हुई है। क्लासिकल गोडेल कम्प्लीटनेस प्रमेय का सामान्यीकरण,EVŁ में प्रूवेबल (साध्य) होता है। प्रेडिकेट फ़ज़ी लॉजिक्स ये उपरोक्त-उल्लिखित फ़ज़ी लॉजिक में यूनिवर्सल और एक्ज़िस्टेंशियल क्वांटिफाइयर्स को ठीक उसी प्रकार से योग करके इसका विस्तार करते हैं जिस प्रकार से प्रोपोज़िशनल लॉजिक से प्रेडिकेट लॉजिक निर्मित होता है। टी-नोर्म फ़ज़ी लॉजिक्स में यूनिवर्सल (रेस्प. एक्ज़िस्टेंशियल) क्वांटिफाइयर के सिमेंटिक्स, क्वांटिफाइड उप-सूत्र के उदाहरणों के ट्रुथ डिग्रियों के इन्फिमम (रेस्प. सुप्रीमम) होते हैं। हाइयर-ऑर्डर फ़ज़ी लॉजिक्स ये लॉजिक्स, जिन्हें फ़ज़ी टाइप थ्यौरी भी कहा जाता है, प्रेडिकेट फ़ज़ी लॉजिक्स का विस्तार करते हैं ताकि प्रेडिकेट्स और हाइयर-ऑर्डर ऑब्जेक्ट्स को भी क्वांटिफाइ करने में सक्षम हो सके। फ़ज़ी टाइप थ्यौरी, बी. रसेल द्वारा शुरू की गई क्लासिकल सिंपल टाइप थ्यौरी का एक सामान्यीकरण है रसेल, बी. मैथमेटिकल लॉजिक ऐज़ बेस्ड ऑन द थ्यौरी ऑफ टाइप्स, अमेरिकन जर्नल ऑफ मैथमेटिक्स 30 (1908) 222-262. और इसका गणितीय रूप से सविस्तार ए. चर्च चर्च, ए. ए फोर्मुलेशन ऑफ द सिंपल थ्यौरी ऑफ टाइप्स, जे. सिम्ब. लॉजिक 5 (1940) 56—68. और एल.हेन्किनहेन्किन, एल. कम्प्लीटनेस इन द थ्यौरी ऑफ टाइप्स, जे सिम्ब. लॉजिक 15 (1950) 81-91. द्वारा किया गया है। फ़ज़ी लॉजिक के लिए डिसाइडेबिलिटी के मुद्दे "डिसाइडेबल सबसेट" और "रिकर्सिवली इन्युमरेबल सबसेट" की धारणा, क्लासिकल मैथमेटिक्स और क्लासिकल लॉजिक के मूलभूत विचार हैं। उसके बाद, फ़ज़ी सेट थ्यौरी के ऐसी अवधारणाओं के एक उपयुक्त विस्तार का प्रश्न उठता है। फ़ज़ी ट्यूरिंग मशीन (Turing machine), मार्कोव नोर्मल फ़ज़ी एल्गोरिदम और फ़ज़ी प्रोग्राम के धारणाओं के आधार पर इ. एस.सैंटोस ने ऐसी एक दिशा में एक पहला प्रस्ताव रखा (सैंटोस 1970 देखें)। उसके बाद, एल. बायासिनो और जी. गेर्ला ने सिद्ध किया कि ऐसी परिभाषा पर्याप्त नहीं है और इसलिए निम्नलिखित परिभाषा का प्रस्ताव दिया। Ü, [0,1] में रैशनल संख्याओं के सेट को सूचित करता है। सेट S का फ़ज़ी सबसेट S [0,1], रिकर्सिवली इन्युमरेबल होता है यदि रिकर्सिव मैप h : S ×N Ü, इस तरह से मौजूद हो कि S में प्रत्येक x के लिए, n के सन्दर्भ में फंक्शन h(x,n) बढ़ रहा हो और s (x) = lim h (x, n) हो। हम कहते हैं कि s, डिसाइडेबल है यदि s और इसका पूरक –s दोनों ही रिकर्सिवली इन्युमरेबल हो। L-सबसेट्स के सामान्य मामले में ऐसी एक थ्यौरी का विस्तार, गेर्ला 2006 में प्रस्तावित है। प्रस्तावित परिभाषाएं, फ़ज़ी लॉजिक के साथ अच्छी तरह से संबंधित हैं। वास्तव में, निम्नलिखित प्रमेय सच साबित होते हैं (यदि फ़ज़ी लॉजिक के डिडक्शन अपारेटस (कटौती करने वाले साधन), कुछ स्पष्ट कार्यसाधकता को अच्छी तरह से संतुष्ट करते हों)। प्रमेय. कोई भी एक्सिओमेटाइज़ेबल फ़ज़ी थ्यौरी, रिकर्सिवली इन्युमरेबल होता है। विशेष रूप से, लॉजिक के आधार पर ट्रू फार्मूलों (सच के सूत्र) का फ़ज़ी सेट, इस तथ्य के बावजूद रिकर्सिवली इन्युमरेबल होता है कि वैलिड फार्मूलों (वैध सूत्रों) का क्रिस्प सेट आम तौर पर रिकर्सिवली इन्युमरेबल नहीं होता है। इसके अलावा, कोई भी एक्सिओमेटाइज़ेबल और कम्प्लीट थ्यौरी, डिसाइडेबल होता है। फ़ज़ी लॉजिक के चर्च थीसिस (Church thesis) को समर्थन देने के लिए यह एक मुक्त प्रश्न है जो यह दावा करता है कि फ़ज़ी सबसेट्स के रिकर्सिव इन्युमरेबिलिटी की प्रस्तावित धारणा, एक पर्याप्त धारणा है। इस उद्देश्य के लिए, फ़ज़ी व्याकरण और फ़ज़ी ट्यूरिंग मशीन की धारणा पर आगे की जांच आवश्यक होनी चाहिए (उदाहरण के लिए वीडर्मंस पेपर देखें)। एक और मुक्त प्रश्न, फ़ज़ी लॉजिक में गोडेल के प्रमेयों के विस्तार को ढूंढने के लिए इस धारणा को शुरू करना है। अनुप्रयोग के क्षेत्र फ़ज़ी लॉजिक का प्रयोग निम्न के ऑपरेशन और प्रोग्रामिंग में किया जाता है: एयर कंडीशनर्स ऑटोमेटिक ट्रांसमिशन, ABS और क्रूज़ कंट्रोल के रूप में ऑटोमोबाइल और ऐसे वाहन सबसिस्टम्स टोक्यो मोनोरेल कैमरा डिजिटल इमेज प्रोसेसिंग, जैसे एज डिटेक्शन डिशवॉशर्स एलिवेटर्स कुछ माइक्रोकंट्रोलर्स और माइक्रोप्रोसेसर्स (उदाहरण के लिए, फ्रीस्केल 68HC12) पोलरिमेट्रिक वेदर रडार के हाइड्रोमिटिओर क्लासिफिकेशन एल्गोरिदम्स ऑफेंसिव टेक्स्ट को फ़िल्टर करने के लिए मेसेज बोर्ड्स और चैट रूम्स के लैंग्वेज फिल्टर्स लॉर्ड ऑफ द रिंग्स फिल्मों में प्रयुक्त मैसिव इंजिन जिससे बहुत बड़ी सेना के क्रमानुसार चाल या गति के साथ-साथ क्रमरहित चाल को दर्शाना संभव हुआ मिनरल डिपोज़िट एस्टीमेशन (खनिज़ के जमाव का आकलन या अनुमान) रिमोट सेंसिंग में पैटर्न रिकॉग्निशन राइस कूकर्स वीडियो गेम आर्टिफिशियल इंटेलिजेंस घरेलू उपकरण (जैसे - वॉशिंग मशीन) फ़ज़ी लॉजिक की आपत्तियां "इमप्रिसाइज़ लॉजिक" के समान फ़ज़ी लॉजिक, लॉजिक के किसी अन्य रूप की अपेक्षा कम प्रिसाइज़ नहीं होता है: यह इनहेरेंट्ली इमप्रिसाइज़ अवधारणाओं को हैंडल करने का एक संगठित और गणितीय पद्धति है। "कोल्डनेस" (शीतलता) की अवधारणा को समीकरण में व्यक्त नहीं किया जा सकता है क्योंकि यद्यपि तापमान, एक क्वांटिटी है लेकिन "कोल्डनेस" नहीं. हालांकि, लोगों को यह पता है कि "कोल्ड" क्या है और वे इस बात से सहमत है कि "कोल्ड" और "नॉट कोल्ड" में ज्यादा अंतर नहीं है जहां कोई वस्तु N डिग्रियों पर "कोल्ड" है लेकिन N+1 डिग्रियों पर "नॉट कोल्ड" है — बाइवैलेंस के सिद्धांत के अनुसार एक कॉन्सेप्ट क्लासिकल लॉजिक को आसानी से हैंडल नहीं किया जा सकता है। परिणाम में कोई सेट जवाब नहीं होता है इसलिए इसे 'फ़ज़ी' जवाब मान लिया जाता है। फ़ज़ी लॉजिक साधारणतया वेगनेस का एक गणितीय मॉडल है जिसे उपर्युक्त उदाहरण में साबित कर दिया गया है। प्रोबैबिलिटी (अधिसम्भाव्यता) को व्यक्त करने का एक नया तरीका फ़ज़ी लॉजिक और प्रोबैबिलिटी (अधिसम्भाव्यता), अनिश्चितता को व्यक्त करने के अलग-अलग तरीकें हैं। जबकि फ़ज़ी लॉजिक और प्रोबैबिलिटी (अधिसम्भाव्यता) थ्यौरी दोनों का प्रयोग सब्जेक्टिव बिलीफ को प्रकट करने के लिए किया जा सकता है लेकिन फ़ज़ी सेट थ्यौरी, फ़ज़ी सेट मेम्बरशिप (अर्थात्, एक सेट में कितना वेरिएबल है) की अवधारणा का प्रयोग करता है और प्रोबैबिलिटी (अधिसम्भाव्यता) थ्यौरी, सब्जेक्टिव प्रोबैबिलिटी (व्यक्तिपरक अधिसम्भाव्यता) (व्यक्तिपरक अधिसम्भाव्यता) (अर्थात, मुझे कैसे संभाव्य लगता है कि सेट में वैरिएबल है) की अवधारणा का प्रयोग करता है। हालांकि यह अंतर अधिकतर दार्शनिक है, फ़ज़ी लॉजिक से उत्पन्न पॉसिबिलिटी मेज़र (संभावना की माप), स्वाभाविक रूप से प्रोबैबिलिटी (अधिसम्भाव्यता) मेज़र (संभाव्यता की माप) से अलग है इसलिए वे प्रत्यक्ष रूप से समकक्ष नहीं हैं। हालांकि, ब्रुनो डे फिनेटी के कार्य से कई सांख्यिकीविद् सहमत है कि सिर्फ एक ही तरह की गणितीय अनिश्चितता की आवश्यकता है और इस प्रकार फ़ज़ी लॉजिक की कोई आवश्यकता नहीं है। दूसरी ओर, बार्ट कोस्को का तर्क है कि प्रोबैबिलिटी (अधिसम्भाव्यता), फ़ज़ी लॉजिक का एक सबथ्यौरी है क्योंकि प्रोबैबिलिटी, सिर्फ एक ही तरह की अनिश्चितता को हैंडल करती है। वह फ़ज़ी सबसेटहुड की अवधारणा से बायेस के प्रमेय की व्युत्पत्ति साबित होने का दावा भी करते हैं। लोत्फी ज़ादेह का तर्क है कि फ़ज़ी लॉजिक स्वभाव से प्रोबैबिलिटी (अधिसम्भाव्यता) से अलग होता है और यह इसकी जगह नहीं ले सकता है। उन्होंने प्रोबैबिलिटी (अधिसम्भाव्यता) को फ़ज़ी प्रोबैबिलिटी (अधिसम्भाव्यता) में फ़ज़ीफ़ाइ कर दिया और इसे उसमें सामान्यीकृत भी कर दिया जिसे प्रोबैबिलिटी (अधिसम्भाव्यता) थ्यौरी कहा जाता है। अनिश्चितता के अन्य तरीकों में डेम्प्स्टर-शेफर थ्यौरी (Dempster-Shafer theory) और रफ सेट्स शामिल हैं। ध्यान दें, हालांकि, कि फ़ज़ी लॉजिक, प्रोबैबिलिटी (अधिसम्भाव्यता) के प्रति विवादास्पद नहीं बल्कि कुछ-कुछ पूरक होता है (cf.नोवाक, वी. आर फ़ज़ी सेट्स ए रिज़नेबल टूल फॉर मॉडलिंग वेग फेनोमेना?, फ़ज़ी सेट्स ऐंड सिस्टम्स 156 (2005) 341—348.) बड़ी-बड़ी समस्याओं को मापने में कठिनाई इस आलोचना का मुख्य कारण यही है कि जो भी समस्याएं हैं, वे सब कंडीशनल पॉसिबिलिटी के साथ ही हैं लेकिन फ़ज़ी सेट थ्यौरी, कंडीशनल प्रोबैबिलिटी (अधिसम्भाव्यता) के समकक्ष है (हैल्पर्न (2003), सेक्शन 3.8 देखें). निष्कर्ष निकालने में यह कठिनाई पैदा करता है। हालांकि प्रोबैबिलिस्टिक प्रणालियों के साथ फ़ज़ी-आधारित सिस्टम्स के तुलनात्मक क्षेत्र में अभी तक अधिक अध्ययन नहीं हो पाया है। इन्हें भी देखें Thinking Brain.png आर्टिफिशियल इंटेलिजेंस आर्टिफिशियल न्यूरल नेटवर्क बायोलॉजिकली इंस्पायर्ड कंप्यूटिंग क्लाउड कंप्यूटिंग कॉम्ब्स मेथड कॉम्प्लेक्सिटी कॉन्सेप्ट माइनिंग कांटेक्स्चुअलिज़्म कंट्रोल सिस्टम डिफ़ज़ीफिकेशन डायनामिक लॉजिक एक्सपर्ट सिस्टम फ़ज़ी ऐसोसिएट मेट्रिक्स फ़ज़ी कॉन्सेप्ट फ़ज़ी कंट्रोल सिस्टम फ़ज़ी कंट्रोल लैंग्वेज फॉल्स डाइलेमा फ़ज़ी इलेक्ट्रॉनिक्स फ़ज़ी मैथमेटिक्स फ़ज़ी सेट फ़ज़ी सबअलजेब्रा फ़ज़ीCLIPS एक्सपर्ट सिस्टम मशीन लर्निंग मल्टी-वैल्यूड लॉजिक न्यूरो-फ़ज़ी पैराडोक्स ऑफ द हीप पर्स्पेक्टिज़्म पैटर्न रिकॉग्निशन पेट्र हैजेक रफ सेट टाइप-2 फ़ज़ी सेट्स और सिस्टम्स वेगनेस नोट्स ग्रंथ सूची Von Altrock Constantin Fuzzy logic and NeuroFuzzy applications explained https://archive.org/details/fuzzylogicneurof0000vona Prentice Hall PTR Upper Saddle River, NJ 1995 0-13-368465-2 Biacino L. Gerla, G. 2002 Fuzzy logic, continuity and effectiveness https://archive.org/details/archive-for-mathematical-logic_2002-10_41_7/page/643 Archive for Mathematical Logic 0933-5846 41 7 643–667 10.1007/s001530100128 Cox Earl The fuzzy systems handbook: a practitioner's guide to building, using, maintaining fuzzy systems https://archive.org/details/fuzzysystemshand0000coxe AP Professional Boston 1994 0-12-194270-8 Gerla Giangiacomo 2006 Effectiveness and Multivalued Logics https://archive.org/details/sim_journal-of-symbolic-logic_2006-03_71_1/page/137 Journal of Symbolic Logic 0022-4812 71 1 137–162 10.2178/jsl/1140641166 Hájek Petr Metamathematics of fuzzy logic Kluwer Dordrecht 1998 0792352386 Hájek Petr 1995 Fuzzy logic and arithmetical hierarchy Fuzzy Sets and Systems 0165-0114 3 8 359–363 10.1016/0165-0114(94)00299-M Halpern Joseph Y. Reasoning about uncertainty https://archive.org/details/reasoningaboutun0000halp MIT Press Cambridge, Mass 2003 0-262-08320-5 Höppner Frank Klawonn, F.; Kruse, R.; Runkler, T. Fuzzy cluster analysis: methods for classification, data analysis and image recognition https://archive.org/details/fuzzyclusteranal0000unse John Wiley New York 1999 0-471-98864-2 Ibrahim Ahmad M. Introduction to Applied Fuzzy Electronics https://archive.org/details/introductiontoap0000ibra Prentice Hall Englewood Cliffs, N.J 1997 0-13-206400-6 Klir George J. Folger, Tina A. George Klir Fuzzy sets, uncertainty, and information Prentice Hall Englewood Cliffs, N.J 1988 0-13-345984-5 registration https://archive.org/details/fuzzysetsuncerta00klir Klir George J. St Clair, Ute H.; Yuan, Bo Fuzzy set theory: foundations and applications https://archive.org/details/fuzzysettheoryfo0000klir Prentice Hall Englewood Cliffs, NJ 1997 0133410587 Klir George J. Yuan, Bo Fuzzy sets and fuzzy logic: theory and applications https://archive.org/details/fuzzysetsfuzzylo0000klir Prentice Hall PTR Upper Saddle River, NJ 1995 0-13-101171-5 Kosko Bart Bart Kosko Fuzzy thinking: the new science of fuzzy logic https://archive.org/details/fuzzythinkingnew00kosk_0 Hyperion New York 1993 0-7868-8021-X Kosko Bart Fuzzy Logic https://archive.org/details/sim_scientific-american_1993-07_269_1/page/76 Scientific American 1993 July 269 1 76–81 Montagna F. 2001 Three complexity problems in quantified fuzzy logic Studia Logica 0039-3215 68 1 143–152 10.1023/A:1011958407631 Mundici Daniele Cignoli, Roberto; D'Ottaviano, Itala M. L. Algebraic foundations of many-valued reasoning https://archive.org/details/algebraicfoundat0000cign Kluwer Academic Dodrecht 1999 0-7923-6009-5 Novák Vilém Fuzzy Sets and Their Applications Adam Hilger Bristol 1989 0-85274-583-4 registration https://archive.org/details/fuzzysetstheirap0000nova Novák Vilém 2005 On fuzzy type theory Fuzzy Sets and Systems 149 235–273 10.1016/j.fss.2004.03.027 Novák Vilém Perfilieva, Irina; Močkoř, Jiří Mathematical principles of fuzzy logic Kluwer Academic Dodrecht 1999 0-7923-8595-0 Passino Kevin M. Yurkovich, Stephen Fuzzy control Addison-Wesley Boston 1998 020118074X registration https://archive.org/details/fuzzycontrol0000pass Pu Pao Ming Liu Ying Ming Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence 1980 Journal of Mathematical Analysis and Applications 0022-247X 76 2 571–599 10.1016/0022-247X(80)90048-7 Santos Eugene S. 1970 Fuzzy Algorithms Information and Control 17 4 326-339 Scarpellini Bruno 1962 Die Nichaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz Journal of Symbolic Logic 0022-4812 27 2 159–170 10.2307/2964111 Steeb Willi-Hans The Nonlinear Workbook: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic with C++, Java and SymbolicC++ Programs: 4edition https://archive.org/details/nonlinearworkboo0000stee World Scientific 2008 981-281-852-9 Wiedermann J. 2004 Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines Theor. Comput. Sci. 317 61–69 10.1016/j.tcs.2003.12.004 Yager Ronald R. Filev, Dimitar P. Essentials of fuzzy modeling and control https://archive.org/details/essentialsoffuzz0000yage Wiley New York 1994 0-471-01761-2 Van Pelt Miles Fuzzy Logic Applied to Daily Life No No No No Press Seattle, WA 2008 0-252-16341-9 Wilkinson R.H. 1963 A method of generating functions of several variables using analog diode logic IEEE Transactions on Electronic Computers 12 112–129 10.1109/PGEC.1963.263419 Zadeh L.A. 1968 Fuzzy algorithms Information and Control 0019-9958 12 2 94–102 10.1016/S0019-9958(68)90211-8 Zadeh L.A. 1965 Fuzzy sets Information and Control 0019-9958 8 3 338-­353 10.1016/S0019-9958(65)90241-X Zemankova-Leech, M. Fuzzy Relational Data Bases Ph. D. Dissertation Florida State University 1983 Zimmermann H. Fuzzy set theory and its applications Kluwer Academic Publishers Boston 2001 0-7923-7435-5 बाहरी कड़ियाँ Logic अतिरिक्त लेख फ़ॉर्मल फ़ज़ी लॉजिक - सिटिज़नडियम में लेख फ़ज़ी लॉजिक - स्कॉलरपीडिया में लेख मॉडलिंग विथ वर्ड्स - स्कॉलरपीडिया में लेख फ़ज़ी लॉजिक - स्टैनफोर्ड इनसाइक्लोपीडिया ऑफ फिलोस्फी में लेख फ़ज़ी मैथ - फ़ज़ी लॉजिक का शुरुआती स्तर पर परिचय. फ़ज़ी लॉजिक और इंटरनेट ऑफ़ थिंग्स: I-o-T लिंक्स वाले पृष्ठ वेब पेज अबाउट FSQL: FSQL के सन्दर्भ और लिंक्स सॉफ्टवेयर और उपकरण डोटफ़ज़ी (DotFuzzy): ओपेन सोर्स फ़ज़ी लॉजिक लाइब्रेरी (C#) जेफ़ज़ीलॉजिक (JFuzzyLogic): ओपेन सोर्स फ़ज़ी लॉजिक पैकेज + FCL (सोर्सफोर्ज (sourceforge), जावा (java)) पीवाइफ़ज़ीलाइब (pyFuzzyLib): ओपेन सोर्स लाइब्रेरी टु राइट सॉफ्टवेयर विथ फ़ज़ी लॉजिक (पायथन (Python)) पीवाइफ़ज़ी (pyfuzzy): ओपेन सोर्स फ़ज़ी लॉजिक पैकेज (पायथन (Python)) रॉकऑन फ़ज़ी (RockOn Fuzzy): ओपेन सोर्स फ़ज़ी कंट्रोल ऐंड सिमुलेशन टूल (जावा (Java)) फ्री एदुकेशनल सॉफ्टवेयर ऐंड एप्लीकेशन नोट्स इंरेकोLAN फ़ज़ीमैथ (InrecoLAN FuzzyMath), फ़ज़ी लॉजिक ऐड-इन फॉर OpenOffice.org Calc ओपेन फ़ज़ी लॉजिक बेस्ड इन्फेरेंस इंजन ऐंड डाटा माइनिंग वेब सर्विस बेस्ड ऑन मेटारुल ओपेन सोर्स सॉफ्टवेयर "mbFuzzIT" (जावा (Java)) फ्री फ़ज़ी लॉजिक लाइब्रेरी (C++) ट्यूटोरियल्स फ़ज़ी लॉजिक ट्यूटोरियल MATLAB/सिमुलिंक ट्यूटोरियल के साथ [https://web.archive.org/web/20100412093212/http://www.calvin.edu/~pribeiro/othrlnks/Fuzzy/home.htm अनॅदर फ़ज़ी लॉजिक ट्यूटोरियल] फ़ज़ी लॉजिक इन यौर गेम - गेम प्रोग्रामिंग के उद्देश्य वाला ट्यूटोरियल. सिंपल टेस्ट टू चेक हाउ वेल यु अंडरस्टैंड इट अनुप्रयोग अनुसंधान लेख जो वर्णन करता है कि कैसे औद्योगिक दूरदर्शिता का एकीकरण इंटेलिजेंट एजेंटों और फ़ज़ी लॉजिक के साथ पूंजी का बजट निर्धारित करने में किया जा सकता है [https://web.archive.org/web/20100306181604/http://econpapers.repec.org/paper/pramprapa/4328.htm एक डॉक्टरी लेख जो वर्णन करता है कि कैसे फ़ज़ी लॉजिक को बहुत बड़ी औद्योगिक निवेश की लाभकारिता के विश्लेषण में लागू किया जा सकता है ] अनुसंधान केन्द्र इंस्टीट्युट फॉर रिसर्च ऐंड एप्लीकेशंस ऑफ फ़ज़ी मॉडलिंग यूरोपीय सेंटर फॉर सॉफ्ट कम्प्यूटिंग श्रेणी:अस्पष्ट तर्क श्रेणी:कृत्रिम बुद्धि श्रेणी:लॉजिक इन कंप्यूटर साइंस श्रेणी:नॉन-क्लासिक लॉजिक श्रेणी:प्रोबैबिलिटी (अधिसम्भाव्यता) इंटरप्रिटेशन श्रेणी:गूगल परियोजना