"अस्पष्ट तर्क": अवतरणों में अंतर
Content deleted Content added
Sanjeev bot (वार्ता | योगदान) छो बॉट: विराम चिह्नों के बाद खाली स्थान का प्रयोग किया। |
Sanjeev bot (वार्ता | योगदान) छो बॉट: अनुभाग शीर्षक एकरूपता। |
||
पंक्ति 20:
एक भाषाई वेरिएबल जैसे कि ''एज'' (उम्र), में ''यंग'' या ''युवा'' अथवा इसके विपरीत ओल्ड या वृद्ध जैसा एक वैल्यू शामिल हो सकता है। हालांकि, भाषाई वेरिएबल्स (भाषाई अस्थिरता) की सबसे बड़ी प्रयोज्यता यही है कि प्राथमिक शर्तों पर लागू भाषाई हेजेज के माध्यम से इसे संशोधित किया जा सकता है। भाषाई हेजेज कुछ कार्यों के साथ संबद्ध हो सकते हैं। उदाहरण के लिए, L. A. ज़ादेह ने मेम्बरशिप कार्य के वर्ग को लेने का सुझाव दिया. हालांकि, यह मॉडल अच्छी तरह से काम नहीं करता है।
अधिक जानकारी के लिए
== उदाहरण ==
पंक्ति 48:
अनुप्रयोग में, [[प्रोग्रामिंग लैंग्वेज]] [[प्रोलोग]] (Prolog) को इसके फैसिलिटिज़ के साथ फ़ज़ी लॉजिक{{Fact|date=May 2009}} को कार्यान्वित करने के लिए अच्छी तरह से गिअर किया जाता है ताकि "नियमों" के एक डेटाबेस को स्थापित किया जा सके जो लॉजिक को घटाने के लिए पूछे जाते हैं। इस तरह की प्रोग्रामिंग को [[लॉजिक प्रोग्रामिंग]] के रूप में जाना जाता है।
जब एक बार फ़ज़ी रिलेशंस को परिभाषित कर दिया जाता है, तब फ़ज़ी [[रिलेशनल डेटाबेस]] को विकसित करना संभव हो जाता है। प्रथम फ़ज़ी रिलेशनल डेटाबेस, FRDB को [[मारिया ज़ेमांकोवा]] के शोध प्रबंध में देखा गया। बाद में, बकल्स-पेट्री मॉडल (Buckles-Petry model), प्रेड-टेस्टेमेल मॉडल (Prade-Testemale Model), उमानो-फुकामी मॉडल (Umano-Fukami model) या जे. एम. मेडिना (J.M. Medina), एम. ए. विला et al. द्वारा GEFRED मॉडल जैसे कुछ अन्य मॉडलों का उद्भव हुआ। फ़ज़ी डेटाबेस के
== गणितीय फ़ज़ी लॉजिक ==
पंक्ति 76:
=== फ़ज़ी लॉजिक के लिए डिसाइडेबिलिटी के मुद्दे ===
"डिसाइडेबल सबसेट" और "[[रिकर्सिवली इन्युमरेबल सबसेट]]" की धारणा, [[क्लासिकल मैथमेटिक्स]] और [[क्लासिकल लॉजिक]] के मूलभूत विचार हैं। उसके बाद, फ़ज़ी सेट थ्यौरी के ऐसी अवधारणाओं के एक उपयुक्त विस्तार का प्रश्न उठता है। ''फ़ज़ी [[ट्यूरिंग मशीन]]'' (Turing machine), ''मार्कोव नोर्मल फ़ज़ी एल्गोरिदम'' और ''फ़ज़ी प्रोग्राम'' के धारणाओं के आधार पर इ. एस.सैंटोस ने ऐसी एक दिशा में एक पहला प्रस्ताव रखा (सैंटोस 1970 देखें). उसके बाद, एल. बायासिनो और जी. गेर्ला ने सिद्ध किया कि ऐसी परिभाषा पर्याप्त नहीं है और इसलिए निम्नलिखित परिभाषा का प्रस्ताव दिया. ''Ü'', [0,1] में रैशनल संख्याओं के सेट को सूचित करता है।
सेट ''S'' का फ़ज़ी सबसेट ''S'' <math>\rightarrow</math>[0,1], ''रिकर्सिवली इन्युमरेबल'' होता है यदि रिकर्सिव मैप ''h'' : ''S'' ×''N'' <math>\rightarrow</math>''Ü'', इस तरह से मौजूद हो कि ''S'' में प्रत्येक ''x'' के लिए, ''n'' के
हम कहते हैं कि ''s'', ''डिसाइडेबल'' है यदि ''s'' और इसका पूरक –''s'' दोनों ही रिकर्सिवली इन्युमरेबल हो. L-सबसेट्स के सामान्य मामले में ऐसी एक थ्यौरी का विस्तार, गेर्ला 2006 में प्रस्तावित है।
प्रस्तावित परिभाषाएं, फ़ज़ी लॉजिक के साथ अच्छी तरह से संबंधित हैं। वास्तव में, निम्नलिखित प्रमेय सच साबित होते हैं (यदि फ़ज़ी लॉजिक के डिडक्शन अपारेटस (कटौती करने वाले साधन), कुछ स्पष्ट कार्यसाधकता को अच्छी तरह से संतुष्ट करते हों).
पंक्ति 207:
'''लिंक्स वाले पृष्ठ'''
* [http://www.lcc.uma.es/~ppgg/FSQL/ वेब पेज अबाउट FSQL]: [[FSQL]] के
'''सॉफ्टवेयर और उपकरण'''
|