"अस्पष्ट तर्क": अवतरणों में अंतर
Content deleted Content added
Sanjeev bot (वार्ता | योगदान) छो अल्प चिह्न सुधार |
Sanjeev bot (वार्ता | योगदान) छो बॉट: डॉट (.) के स्थान पर पूर्णविराम (।) और लाघव चिह्न प्रयुक्त किये। |
||
पंक्ति 7:
== ट्रुथ की डिग्रियां ==
ट्रुथ और [[प्रोबैबिलिटिज़]] (संभावनाओं) की दोनों डिग्रियों का रेंज 0 और 1 के बीच होता है और इसलिए शुरू-शुरू में ये एक जैसे लग सकते
एक प्रोबैबिलिस्टिक सेटिंग सबसे पहले गिलास के पूरा भरा होने के लिए एक [[स्केलर]] वेरिएबल (अदिश परिवर्तनीय) को परिभाषित करेगा और फिर प्रोबैबिलिटी (अधिसम्भाव्यता) का वर्णन करते हुए कंडीशनल डिस्ट्रीब्यूशंस को परिभाषित करेगा जिसे कोई व्यक्ति एक विशिष्ट पूर्णता के स्तर को दर्शाकर गिलास को भरा हुआ कहेगा. हालांकि, कुछ घटना के घटित होने की स्वीकृति के बिना इस मॉडल का कोई अर्थ नहीं है, उदाहरण के लिए, कुछ मिनट के बाद, गिलास आधा खाली हो जाएगा. ध्यान दें कि कंडीशनिंग को एक स्पेसिफिक ऑब्ज़र्वर (विशिष्ट पर्यवेक्षक) को रखकर प्राप्त किया जा सकता है जो गिलास के लिए स्तर और नियतात्मक पर्यवेक्षकों के एक वितरण (डिस्ट्रीब्यूशन) या दोनों का अनियमित रूप से चयन करता है. परिणामस्वरूप, प्रोबैबिलिटी (अधिसम्भाव्यता) (अधिसम्भाव्यता) में साधारणतः फ़ज़ीनेस के सिवा कुछ नहीं है, ये तो मात्र अलग-अलग अवधारणाएं हैं जो बाहर से एक जैसी लगती हैं क्योंकि इनमें वास्तविक संख्याओं [0, 1] के एक जैसे अन्तराल का प्रयोग होता है. [[डे मॉर्गन]] (De Morgan) के प्रमेय में दोहरी प्रयोज्यता और अनियमित वेरिएबल्स के गुण
=== ट्रुथ वैल्यूज़ का अनुप्रयोग ===
एक बेसिक अनुप्रयोग, एक [[सतत परिवर्तनीय]] के उप-श्रेणियों को परिलक्ष्यित कर सकता है. उदाहरण के लिए, [[एंटी-लॉक ब्रेक]] के [[तापमान]] के मापन में विशेष तापमान की श्रेणियों को परिभाषित करने वाले कई अलग मेम्बरशिप (सदस्यता) वाले फंक्शंस का समावेश हो सकता है जो ब्रेक्स को अच्छी तरह से नियंत्रित करने के लिए आवश्यक होते
[[चित्र:Fuzzy logic temperature en.svg|thumb|center|फ़ज़ी लॉजिक तापमान]]
पंक्ति 19:
जबकि गणित में वेरिएबल्स साधारणतः संख्यात्मक वैल्यूज़ को ग्रहण करते हैं लेकिन फ़ज़ी लॉजिक के अनुप्रयोगों में, गैर-संख्यात्मक ''भाषाई वेरिएबल्स (भाषाई अस्थिरता)'' का प्रायः नियमों और तथ्यों की अभिव्यक्ति की सुविधा प्रदान करने के लिए प्रयोग किया जाता है.<ref>ज़ादेह, एल.ए. et al. 1996 ''फ़ज़ी सेट्स, फ़ज़ी लॉजिक, फ़ज़ी सिस्टम्स'', वर्ल्ड साइंटिफिक प्रेस, ISBN 981-02-2421-4</ref>
एक भाषाई वेरिएबल जैसे कि ''एज'' (उम्र), में ''यंग'' या ''युवा'' अथवा इसके विपरीत ओल्ड या वृद्ध जैसा एक वैल्यू शामिल हो सकता है. हालांकि, भाषाई वेरिएबल्स (भाषाई अस्थिरता) की सबसे बड़ी प्रयोज्यता यही है कि प्राथमिक शर्तों पर लागू भाषाई हेजेज के माध्यम से इसे संशोधित किया जा सकता है. भाषाई हेजेज कुछ कार्यों के साथ संबद्ध हो सकते
अधिक जानकारी के लिए संदर्भ देखें.
पंक्ति 35:
यदि (IF) तापमान गर्म है (IS) तो (THEN) पंखे की गति बढ़ा दें
</blockquote>
इसमें कोई "ELSE" (अन्यथा) नहीं है - सभी नियमों का मूल्यांकन किया जाता है क्योंकि तापमान एक ही समय पर अलग-अलग डिग्रियों में "कोल्ड" (शीतल) और "नोर्मल" (सामान्य) हो सकते
[[बूलीयन लॉजिक]] के AND (और), OR (या) तथा NOT (नहीं) [[प्रचालक]], फ़ज़ी लॉजिक में मौजूद होते हैं जिन्हें आम तौर पर मिनिमम (न्यूनतम), मैक्सिमम (उच्चतम) और कंप्लीमेंट (पूरक) के रूप में परिभाषित किया जाता है; जब उन्हें इस तरह से परिभाषित किया जाता है तब उन्हें ''ज़ादेह प्रचालक '' कहा जाता है. इसलिए फ़ज़ी वेरिएबल्स x और y के लिए:
पंक्ति 44:
</blockquote>
अन्य प्रचालक भी हैं जो स्वभावतः भाषाई होते हैं उन्हें ''हेजेज़'' कहते हैं और उनका भी अनुप्रयोग किया जा सकता है. ये आम तौर पर एड्वर्ब्स (क्रिया-विशेषण) होते हैं, जैसे - "वेरी" (बहुत) या "समव्हाट" (कुछ-कुछ), जो एक गणितीय [[सूत्र]] का प्रयोग करके सेट के अर्थ को संशोधित कर देते
अनुप्रयोग में, [[प्रोग्रामिंग लैंग्वेज]] [[प्रोलोग]] (Prolog) को इसके फैसिलिटिज़ के साथ फ़ज़ी लॉजिक{{Fact|date=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]] स्टेटमेंट्स में फ़ज़ी ऐस्पेक्ट्स को शामिल करने के उद्देश्य से कुछ संरचनाओं को परिभाषित करते हैं, जैसे फ़ज़ी कंडीशंस, फ़ज़ी कम्पैरेटर्स, फ़ज़ी कांस्टैंट्स, फ़ज़ी कंस्ट्रेंट्स, फ़ज़ी थ्रेसहोल्ड्स, भाषाई लेबल्स और अन्य.
== गणितीय फ़ज़ी लॉजिक ==
[[गणितीय लॉजिक]] में, "फ़ज़ी लॉजिक" के कई [[औपचारिक सिस्टम्स]] हैं; उनमें से अधिकांश तथाकथित [[टी-नोर्म फ़ज़ी लॉजिक्स]] से संबंधित
=== प्रोपोज़िशनल फ़ज़ी लॉजिक्स ===
पंक्ति 57:
सबसे महत्वपूर्ण प्रोपोज़िशनल फ़ज़ी लॉजिक्स हैं:
* [[मोनोइडल टी-नोर्म-आधारित प्रोपोज़िशनल फ़ज़ी लॉजिक]], लॉजिक का एक एक्सिओमेटाइज़ेशन है जहां [[कंजंक्शन]] (संयोजन) को एक लेफ्ट कंटीन्युअस (सतत) टी-नोर्म द्वारा परिभाषित किया जाता है और इम्प्लिकेशन (निहितार्थ) को [[टी-नोर्म]] के रेसिडुअम (अवशेष) के रूप में परिभाषित किया जाता है. इसके [[मॉडल्स]] [[MTL-अल्जेब्रास]] के अनुरूप होते हैं जो प्रिलाइनियर कम्युटेटिव बाउंडेड इंटीग्रल [[रेसिडुएटेड लेटिसेस]] होते
* [[बेसिक प्रोपोज़िशनल फ़ज़ी लॉजिक]], MTL लॉजिक का ही एक विस्तार है जहां [[कंजंक्शन]] को एक सतत टी-नोर्म के द्वारा परिभाषित किया जाता है और इम्प्लिकेशन को [[टी-नोर्म]] के रेसिडुअम के रूप में भी परिभाषित किया जाता है. इसके [[मॉडल्स]], [[BL-अल्जेब्रास]] के अनुरूप होते
* [[ल्युकासिएविक्ज़ फ़ज़ी लॉजिक]] (Łukasiewicz fuzzy logic),बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहां स्टैंडर्ड कंजंक्शन, ल्युकासिएविक्ज़ टी-नोर्म होता है. इसमें बेसिक फ़ज़ी लॉजिक के एक्सिओम्स के साथ डबल निगेशन के एक्सिओम भी होते हैं और इसके मॉडल्स, [[MV-अल्जेब्रास]] के अनुरूप होते
* [[गोडेल फ़ज़ी लॉजिक]], बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहां कंजंक्शन, [[गोडेल]] टी-नोर्म होता है. इसमें BL के एक्सिओम्स के साथ-साथ कंजंक्शन के आइडेम्पोटेंस का एक एक्सिओम भी होता है और इसके मॉडल्स को [[G-अल्जेब्रास]] कहा जाता है.
* [[प्रोडक्ट फ़ज़ी लॉजिक]], बेसिक फ़ज़ी लॉजिक BL का विस्तार है जहां कंजंक्शन, प्रोडक्ट टी-नोर्म होता है. इसमें BL के एक्सिओम्स के साथ-साथ कंजंक्शन के कैंसेलेटिविटी के लिए एक और एक्सिओम भी होता है और इसके मॉडल्स को [[प्रोडक्ट अल्जेब्रास]] कहा जाता है.
पंक्ति 65:
=== प्रेडिकेट फ़ज़ी लॉजिक्स ===
ये उपरोक्त-उल्लिखित फ़ज़ी लॉजिक में [[यूनिवर्सल]] और [[एक्ज़िस्टेंशियल क्वांटिफाइयर्स]] को ठीक उसी प्रकार से योग करके इसका विस्तार करते हैं जिस प्रकार से [[प्रोपोज़िशनल लॉजिक]] से [[प्रेडिकेट लॉजिक]] निर्मित होता है. [[टी-नोर्म फ़ज़ी लॉजिक्स]] में यूनिवर्सल (रेस्प. एक्ज़िस्टेंशियल) क्वांटिफाइयर के सिमेंटिक्स, क्वांटिफाइड उप-सूत्र के उदाहरणों के ट्रुथ डिग्रियों के [[इन्फिमम]] (रेस्प. [[सुप्रीमम]]) होते
=== हाइयर-ऑर्डर फ़ज़ी लॉजिक्स ===
पंक्ति 75:
=== फ़ज़ी लॉजिक के लिए डिसाइडेबिलिटी के मुद्दे ===
"डिसाइडेबल सबसेट" और "[[रिकर्सिवली इन्युमरेबल सबसेट]]" की धारणा, [[क्लासिकल मैथमेटिक्स]] और [[क्लासिकल लॉजिक]] के मूलभूत विचार
सेट ''S'' का फ़ज़ी सबसेट ''S'' <math>\rightarrow</math>[0,1], ''रिकर्सिवली इन्युमरेबल'' होता है यदि रिकर्सिव मैप ''h'' : ''S'' ×''N'' <math>\rightarrow</math>''Ü'', इस तरह से मौजूद हो कि ''S'' में प्रत्येक ''x'' के लिए, ''n'' के संदर्भ में फंक्शन h(x,''n'') बढ़ रहा हो और ''s'' (''x'') = lim ''h'' (''x'', ''n'') हो.
हम कहते हैं कि ''s'', ''डिसाइडेबल'' है यदि ''s'' और इसका पूरक –''s'' दोनों ही रिकर्सिवली इन्युमरेबल हो. L-सबसेट्स के सामान्य मामले में ऐसी एक थ्यौरी का विस्तार, गेर्ला 2006 में प्रस्तावित है.
प्रस्तावित परिभाषाएं, फ़ज़ी लॉजिक के साथ अच्छी तरह से संबंधित
'''प्रमेय.''' कोई भी एक्सिओमेटाइज़ेबल फ़ज़ी थ्यौरी, रिकर्सिवली इन्युमरेबल होता है. विशेष रूप से, लॉजिक के आधार पर ट्रू फार्मूलों (सच के सूत्र) का फ़ज़ी सेट, इस तथ्य के बावजूद रिकर्सिवली इन्युमरेबल होता है कि वैलिड फार्मूलों (वैध सूत्रों) का क्रिस्प सेट आम तौर पर रिकर्सिवली इन्युमरेबल नहीं होता है. इसके अलावा, कोई भी एक्सिओमेटाइज़ेबल और कम्प्लीट थ्यौरी, डिसाइडेबल होता है.
पंक्ति 112:
=== प्रोबैबिलिटी (अधिसम्भाव्यता) को व्यक्त करने का एक नया तरीका ===
:फ़ज़ी लॉजिक और प्रोबैबिलिटी (अधिसम्भाव्यता), अनिश्चितता को व्यक्त करने के अलग-अलग तरीकें
::ध्यान दें, हालांकि, कि फ़ज़ी लॉजिक, प्रोबैबिलिटी (अधिसम्भाव्यता) के प्रति विवादास्पद नहीं बल्कि कुछ-कुछ पूरक होता है (cf.<ref>नोवाक, वी. आर फ़ज़ी सेट्स ए रिज़नेबल टूल फॉर मॉडलिंग वेग फेनोमेना?,
फ़ज़ी सेट्स ऐंड सिस्टम्स 156 (2005) 341—348.</ref>)
|