2011 में TCS के लिए फ़ज़ी लॉजिक की स्थिति क्या है?


18

मैं SIGACT न्यूज़ के लिए प्रकृति-प्रेरित और नवीन कम्प्यूटिंग की हैंडबुक की समीक्षा कर रहा हूं । यह बहुत दिलचस्प पढ़ा है। प्रत्येक अध्याय, हालांकि, स्वाद है, "यह मेरा अनुसंधान क्षेत्र है, और लानत है यह बहुत बढ़िया है!" तो मैं जो करने की कोशिश कर रहा हूं उसका कुछ हिस्सा प्रचार को अलग करना है, और पुस्तक की सामग्री का एक शांत मूल्यांकन करना है।

एक अध्याय फजी लॉजिक और फजी सिस्टम पर है, और वे कितने भयावह हैं। और शायद वे हैं, मैं स्पष्ट रूप से नहीं जानता। कंप्यूटर वैज्ञानिकों के चारों ओर घूमने से मुझे जो सहज ज्ञान हुआ है, वह यह है कि फजी लॉजिक और कंट्रोल सिस्टम के फजी मॉडलिंग, आदि, वे "मृत" हैं। " मुझे नहीं पता कि क्या यह सच है, हालांकि - और, भले ही यह सच हो, मुझे नहीं पता कि क्या यह "अच्छे कारण" के लिए सही है।

क्या कोई इसमें तौलना पसंद करेगा? फजी सिस्टम में अनुसंधान की वर्तमान स्थिति क्या है? क्या फजीकरण वास्तविक दुनिया अनुप्रयोगों को देखता है? क्या यह इस्तेमाल किया गया और लोगों की समस्याओं के कारण दूर चले गए? या लोग "खाइयों में" हर समय इसका उपयोग करते हैं, और यह सिर्फ इतना है कि सिद्धांतवादी इससे दूर चले गए हैं? या कुछ और? (मुझे नहीं पता कि क्या सच है।)

मैं शायद किताब की समीक्षा में इस सवाल के जवाब का हवाला दूंगा, जब तक कि एक उत्तरदाता विशेष रूप से मुझसे नहीं पूछता।

धन्यवाद।


16
0.326 की फ़ज़ीहत के साथ व्यक्तिपरक और तर्क की सीमा पर सत्यापन।
डेव क्लार्क

@ डेव क्लार्क:: -) !!! मुझे पता है। लेकिन इस साइट पर एक सवाल भी था, "मुझे कौन से शोध क्षेत्र में जाना चाहिए" सवालों में से एक, जहां किसी ने उत्तर दिया कि फजी लॉजिक एक सक्रिय अनुसंधान क्षेत्र नहीं था। यदि आप इस प्रश्न को बंद करना चाहते हैं, तो मुझे बुरा नहीं लगेगा। फिर भी, मुझे स्थिति उत्सुक है, और अगर इसके बारे में पता लगाने के लिए कोई राजनयिक तरीका है, तो मैं चाहूंगा।
हारून स्टर्लिंग

1
इस सवाल को उठाने के लिए धन्यवाद हारून। मैं फजी लॉजिक से ज्यादा परिचित नहीं हूं, लेकिन यह जानना कि कोई फील्ड मरा है या जिंदा है दिलचस्प है। आप "फजी लॉजिक में मौजूदा रुझान" को और भी दिलचस्प बनाने के लिए कह सकते हैं (यदि कोई हो!)। मुझे लगता है कि "फेडरेटेड लॉजिक कॉन्फ्रेंस (एफएलओसी)" ऐसी प्रवृत्तियों की तलाश करने के लिए एक अच्छी जगह है (निश्चित नहीं)।
एमएस डॉउस्टी

2
शीर्षक बदलने के लिए धन्यवाद। फ़ज़ी लॉजिक की स्थिति थोड़ी व्यापक हो सकती है, लेकिन मुझे नहीं लगता कि वर्तमान प्रश्न (संशोधन 3) व्यक्तिपरक है।
त्सुयोशी इटो

5
Zadeh में 2008 में एक पेपर था: क्या फज़ी लॉजिक की आवश्यकता है?
केवह

जवाबों:


11

मैं फजी लॉजिक को मृत नहीं मानूंगा। नियंत्रण प्रणाली के लिए, मुझे नहीं पता। हालांकि, पिछले कई वर्षों से प्रमेय सिद्धांतकारों के लिए फजी लॉजिक्स में बहुत सारी गतिविधियां हैं: शुरुआत के लिए सिआबटोनी, ओलिवेट्टी, फर्मुलर, मेटकाफ, और बाज द्वारा कागजात देखें।

संपादित करें: मेरे BibTeX फ़ाइल से कुछ विशिष्ट संदर्भ:

  • डी। गैलिमे और वाई। सहली, icukasiewicz लॉजिक्स, इंट के लिए लेबल की गई। तर्क, भाषा, सूचना और संगणना पर कार्यशाला, WoLLIC'08, एडिनबर्ग, LNAI 5110, 2008।
  • एम। बाज़ और जी। मेटकाफ़, प्रूफ थ्योरी फ़ॉर फ़र्स्ट ऑर्डर iewukasiewicz Logic। TABLEAUX 2007।
  • डी। गैल्मिचे और डी। लारेची-वेंडलिंग और वाई। सल्ही, गोडेल-ड्यूमेट लॉजिक्स, DISPROVING'07 में प्रोवेबिलिटी और काउंटरमॉडल्स: गैर-सिद्धांतों, गैर-वैधता और गैर-प्रोवेबिलिटी को अस्वीकार करने पर कार्यशाला, 2007।
  • एस बोवा और एफ मोंटेग्ना, प्रोज सर्च इन हेजेक के बेसिक लॉजिक, एसीएम ट्रांस। कंप्यूटर। लॉग।, 2007।
  • डीएम गब्बे और जी मेटकाफ, फजी लॉजिक्स [0,1) के आधार पर -विशेष अनिनॉर्मस, एएमएल 46 (5), 2007।
  • जी। मेटकाफ और एफ। मोंटेग्ना, सबस्ट्रक्चरल फज़ी लॉजिक्स। जेएसएल 72 (3), 2007।
  • आर। डाइकहॉफ और एस। नेग्री, रेखीय रूप से आदेशित किए गए तरीकों के बारे में {H} एलेग्रेबस आइडिंग। एएमएल 45, 2006।
  • जी। मेटकाफ और एन। ओलिवेटी और डी। गब्बे, एबेलियन और andukasiewicz लॉजिक्स के लिए सीक्वेंट और हाइपरेक्विंट गणना। एसीएम ट्रांस। कंप्यूटर। लॉग इन करें। 6 (3), 2005।
  • एम। बाज़ और ए। सिआबटोनी और एफ। मोंटेग्ना, विश्लेषणात्मक टी के लिए मोनॉइडल टी-मानदंड आधारित तर्क, फंड। Inf। 59 (4), 2004।
  • एस। नेग्री और जे। वैन प्लेटो, जाली सिद्धांत के लिए सबूत प्रणाली, गणित। Struct। कम्प में। विज्ञान 14 (4), 2004।
  • ए सिआबटोनी और सीजी फर्मुलर और जी मेटकाफ, फ़र्ज़ी लॉजिक्स के लिए यूनिफ़ॉर्म रूल्स एंड डायलॉग गेम्स। LPAR 2004।
  • ए सिआबटोनी, रैखिकता के साथ लॉजिक्स के लिए विश्लेषणात्मक गणना की स्वचालित पीढ़ी। सीएसएल 2004।
  • एफ। मोंटागना और एल। सैकसेट्टी, क्रिपके-शैली के शब्दार्थों के लिए कई मूल्यवान लॉजिक्स, मैथ। लॉग इन करें। Q. 49 (6), 2003. एमएलक्यू 50 (1), 2004 में सुधार।
  • डी। लारेची-वेंडलिंग, गोडेल-ड्यूमेट लॉजिक्स, आईजेसीएआर 2004, एलएनएआई 3097, स्प्रिंगर, 2004 में काउंटरमॉडल खोज।
  • जी मेटकाफ, प्रपोजल फजी लॉजिक्स, पीएचडी थीसिस, कंप्यूटर साइंस विभाग, किंग्स कॉलेज, 2004 के लिए सबूत सिद्धांत।
  • डी। गब्बे और जी। मेटकाफ़े और एन। ओलिवेट्टी, हाइपर्सक्विंट्स एंड फ़ज़ी लॉजिक, रेविस्टा डे ला रियल एकेडेमिया डी सिएनेसियास 98 (1), 2004।
  • ए। सिआबटोनी और जी मेटकाफ, बाउंडेड asukasiewicz लॉजिक्स। TABLEAUX 2003।
  • एम। बाज़ और ए। सिआबत्तोनी और सीजी फ़र्मुएलर, गोडेल लॉजिक्स के लिए ypersequent Calculi --- एक सर्वेक्षण। जेएलसी 13 (6), 2003।
  • एम। बाज़ और ए। सिआबटोनी और सीजी फ़र्मुएलर, सीक्वेंट ऑफ़ रिलेशंस कैल्कुली: ए-फ्रेमवर्क फॉर एनालिटिक डेडक्शन इन अनेक-वैलिड लॉजिक्स। बियॉन्ड टू: थ्योरी एंड एप्लिकेशंस ऑफ मल्टीपल-वैल्यूड लॉजिक, एम। फिटिंग और ई। ऑर्लोव्स्का, एड्स, फिजिका-वेरलाग, 2003।
  • एन। ओलिवेटी, uxukasiwicz अनंत मान्य तर्क के लिए टैबलिक्स। स्टडिया लोगिका 73 (1), 2003।
  • जी। मेटकाफ और एन। ओलिवेट्टी और डी। गब्बे, एबेलियन और zukasiewicz लॉजिक्स के लिए विश्लेषणात्मक अनुक्रम गणना। TABLEAUX 2002।
  • ए। सिआबटोनी और सीजी फ़र्मुएलर, हाईक्वेर्स फॉर यूनीफ़ॉर्म फ्रेमवर्क फ़ॉर यूक्वार्ट्स सी, एमटीएल और संबंधित लॉजिक्स। कई-वेल्यूड लॉजिक (आईएसएमवीएल 2001) पर 31 वें IEEE अंतर्राष्ट्रीय संगोष्ठी की।
  • एफ। एस्टेवा और एल। गोडो, मोनॉयडल टी-आदर्श आधारित तर्क: बाएं-निरंतर टी-मानदंडों के लिए एक तर्क की ओर, फ़ज़ी सेट्स एंड सिस्टम्स 124 (3), 2001।
  • एम। बाज़ और आर। ज़च, हाइपरेक्विंट और प्रूफ़ थ्योरी ऑफ़ इंट्यूशनिस्टिक फ़ज़ी लॉजिक। सीएसएल 2000।
  • ए। एवरन, गॉडल-ड्यूमेट लॉजिक के लिए एक झांकी प्रणाली एक हाइपरक्वेंट कैलकुलस पर आधारित है। TABLEAUX 2000, LNAI 1847, 2000।
  • ए सिआबटोनी और एम। फेरारी, हाइपरटेबल्यू और इंटर-लॉजिक्स के कुछ परिवारों के लिए पथ-हाइपरटेबलू कैल्कुली। TABLEAUX 2000, LNAI 1847, 2000।
  • RLO Cignoli और IML D'Ottaviano और D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, London, 2000।
  • एस। अज़ुज़ोली और ए। सिआबटोनी, अनंत-मूल्यवान oliukasiewicz लॉजिक में फ़ाइनेसिटी। जे। तर्क, भाषा और सूचना 9, 2000।
  • आर। डीकहॉफ, ए गोडिडल-ड्यूमेट लॉजिक, आईजीपीएल 7 (3), 1999 के लिए एक निर्धारक शब्दावली सीक्वेंट कैलकुलस।
  • एम। बाज़ और ए। सिआबटोनी और सीजी फ़र्म {\ "यू} लेलर और एच। वीथ, फ़ॉजी लॉजिक्स के प्रूफ थ्योरी: उर्कहार्ट के सी और संबंधित लॉजिक्स। कंप्यूटर साइंस 1998 की गणितीय नींव, 23 वीं अंतर्राष्ट्रीय संगोष्ठी, एमएफसीएस'98, ब्रनो। चेक गणराज्य, 24-28 अगस्त, 1998, कार्यवाही, 1998।
  • पी। हेजेक, फज़ी लॉजिक्स, क्लेयर, 1998 के मेटामैटमैटिक्स।
  • आर। हाहीन, कई मूल्यवान तर्क के सिद्धांत - रैखिक अनुकूलन - तर्क डिजाइन: कनेक्शन और इंटरैक्शन। शीतल संग। 1 (3), 1997।

ये काफी हद तक सबूत-सिद्धांत और स्वचालित कटौती संदर्भ हैं, हालांकि,


3
कैसे रोब के बारे में कुछ और जानकारी?
डेव क्लार्क

विशिष्ट संदर्भों के साथ संपादित उत्तर।
रॉब

3
वाह। यह काफी सूची है।
डेव क्लार्क


हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.