Monoidal t-norm logic
गणितीय तर्क में, मोनोइडल टी-नॉर्म आधारित तर्क (या संक्षेप में एम. टी. एल.), लेफ्ट-कंटीन्यूअस टी-नॉर्म्स का तर्क, टी-नॉर्म फ़ज़ी लॉजिक्स में से एक है। यह सबस्ट्रक्चरल लॉजिक्स के व्यापक वर्ग से संबंधित है, या अवशिष्ट जाली के तर्क; यह पूर्वरेखा के स्वयंसिद्ध द्वारा कम्यूटेटिव बाउंडेड इंटीग्रल अवशिष्ट जाली (जिसे होहले के मोनोइडल लॉजिक, ओनो के फ्ल्यू, या बिना संकुचन के अंतर्ज्ञानी तर्क के रूप में जाना जाता है) के तर्क का विस्तार करता है। अस्पष्ट तर्क में, बयानों को सही या गलत होने के बजाय, हम प्रत्येक कथन को उस कथन में संख्यात्मक विश्वास के साथ जोड़ते हैं। परंपरा के अनुसार विश्वास इकाई अंतराल पर होता है, जहां अधिकतम विश्वास सत्य की शास्त्रीय अवधारणा से मेल खाता है और न्यूनतम विश्वास असत्य की शास्त्रीय अवधारणा से मेल खाता है। टी-मानक वास्तविक इकाई अंतराल [0,1] पर द्विआधारी कार्य हैं, जो अस्पष्ट तर्क में अक्सर एक संयोजन संयोजक का प्रतिनिधित्व करने के लिए उपयोग किए जाते हैं; यदि हम कथनों के लिए और क्रमशः विश्वास करते हैं, तो यौगिक कथन 'और' के लिए विश्वास की गणना करने के लिए एक टी-मानक का उपयोग किया जाता है। एक टी-मानक को कम्यूटेटिविटी, एसोसिएटिविटी, मोनोटॉनिसिटी-यदि और फिर, और पहचान तत्व के रूप में 1 होने के गुणों को संतुष्ट करना होता है। इस सूची से उल्लेखनीय रूप से अनुपस्थित व्यवहार्यता का गुण है; जो सबसे करीब है वह वह है। न्याय की तुलना में 'और' में कम आत्मविश्वास होना अजीब लग सकता है, लेकिन हम आम तौर पर एक संयुक्त 'और' दोनों में आत्मविश्वास और आत्मविश्वास से कम होने की अनुमति देना चाहते हैं, और फिर एकरसता द्वारा क्रम की आवश्यकता होती है। इसे रखने का एक और तरीका यह है कि टी-नॉर्म केवल विश्वासों को संख्याओं के रूप में ध्यान में रख सकता है, न कि उन कारणों को जो उन विश्वासों को बताने के पीछे हो सकते हैं; इस प्रकार यह 'और' से अलग 'नहीं हो सकता है और जहां हम दोनों में समान रूप से आश्वस्त हैं। चूँकि जाली सिद्धांत में इसके उपयोग के माध्यम से प्रतीक इडेम्पोटेंस गुण के साथ बहुत निकटता से जुड़ा हुआ है, इसलिए संयोजन के लिए एक अलग प्रतीक पर स्विच करना उपयोगी हो सकता है जो आवश्यक रूप से इडेम्पोटेंट नहीं है। अस्पष्ट तर्क परंपरा में कभी-कभी इस "मजबूत" संयोजन के लिए उपयोग किया जाता है, लेकिन यह लेख मजबूत संयोजन के लिए उपयोग करने की अवसंरचनात्मक तर्क परंपरा का पालन करता है; इस प्रकार हम कथन के लिए विश्वास बताते हैं (अभी भी 'और' पढ़ें, शायद 'और' की योग्यता के रूप में 'मजबूत' या 'गुणक' के साथ)। औपचारिक संयोजन होने के कारण, एक अन्य संयोजकों के साथ जारी रखना चाहता है। ऐसा करने का एक तरीका यह है कि निषेध को एक ऑर्डर-रिवर्सिंग मैप के रूप में पेश किया जाए, फिर डी मॉर्गन के नियमों, भौतिक निहितार्थ और इसी तरह का उपयोग करके शेष संयोजकों को परिभाषित किया जाए। ऐसा करने में एक समस्या यह है कि परिणामी तर्कों में अवांछनीय गुण हो सकते हैंः वे शास्त्रीय तर्क के बहुत करीब हो सकते हैं, या यदि इसके विपरीत अपेक्षित अनुमान नियमों का समर्थन नहीं करते हैं। एक विकल्प जो विभिन्न विकल्पों के परिणामों को अधिक अनुमानित बनाता है, इसके बजाय दूसरे संयोजक के रूप में निहितार्थ के साथ जारी रखना हैः यह समग्र रूप से तर्क के स्वयंसिद्धीकरण में सबसे आम संयोजक है, और इसका तर्क के अनुमानात्मक पहलुओं के साथ अधिकांश अन्य संयोजकों की तुलना में निकट संबंध है। निहितार्थ संयोजक के एक विश्वास समकक्ष को वास्तव में सीधे टी-मानक के अवशेष के रूप में परिभाषित किया जा सकता है। संयोजन और निहितार्थ के बीच तार्किक संबंध अनुमान नियम मोडस पोनेंस के रूप में कुछ मौलिक द्वारा प्रदान किया जाता हैः से और निम्नलिखित। अस्पष्ट तर्क मामले में जिसे अधिक सख्ती से लिखा जाता है, क्योंकि यह स्पष्ट करता है कि यहाँ आधार (ओं) के लिए हमारा विश्वास वह है, न कि उनमें और अलग से। इसलिए यदि और क्रमशः हमारे विश्वास हैं, तो इसमें वांछित विश्वास है, और इसमें संयुक्त विश्वास है। हम चाहते हैं कि क्योंकि हमारा विश्वास उस कथन में हमारे विश्वास से कम नहीं होना चाहिए जिससे तार्किक रूप से अनुसरण किया जाता है। यह वांछित आत्मविश्वास को सीमित करता है, और एक द्विआधारी कार्रवाई में बदलने का एक तरीका यह होगा कि इस सीमा का सम्मान करते हुए इसे यथासंभव बड़ा बनाया जाएः लेना देता है, इसलिए सर्वोच्चता हमेशा एक गैर-खाली बंधे हुए सेट की होती है और इस प्रकार अच्छी तरह से परिभाषित होती है। एक सामान्य टी-नॉर्म के लिए ऐसी संभावना बनी हुई है कि इसमें एक जंप डिस्कंटीन्यूटी हो, जिस मामले में यह कड़ाई से बड़ी हो सकती है, भले ही इसे संतोषजनक की कम से कम ऊपरी सीमा के रूप में परिभाषित किया गया हो; इसे रोकने के लिए और उम्मीद के अनुसार निर्माण कार्य करने के लिए, हमें आवश्यकता है कि टी-नॉर्म लेफ्ट-कंटीन्यूअस हो। इस प्रकार एक लेफ्ट-कंटीन्यूअस टी-नॉर्म के अवशेष को सबसे कमजोर फ़ंक्शन के रूप में वर्णित किया जा सकता है जो फ़ज़ी मोडस पोनेंस को मान्य बनाता है, जो इसे फ़ज़ी लॉजिक में निहितार्थ के लिए एक उपयुक्त सत्य फ़ंक्शन बनाता है। अधिक बीजगणितीय रूप से, हम कहते हैं कि एक ऑपरेशन एक टी-मानक का एक अवशेष है यदि सभी के लिए, और यह संतुष्ट करता है यदि और केवल यदि। संख्यात्मक तुलनाओं की यह समानता निहितार्थों की समानता को प्रतिबिंबित करती है यदि और केवल तभी जो मौजूद हो क्योंकि आधार से किसी भी प्रमाण को एक अतिरिक्त निहितार्थ परिचय चरण करके आधार से प्रमाण में परिवर्तित किया जा सकता है, और इसके विपरीत आधार से किसी भी प्रमाण को एक अतिरिक्त निहितार्थ उन्मूलन चरण करके आधार से प्रमाण में परिवर्तित किया जा सकता है। टी-मानक संयोजन और इसके अवशिष्ट निहितार्थ के बीच इस संबंध के लिए टी-मानक की लेफ्ट-निरंतरता आवश्यक और पर्याप्त शर्त है। आगे के प्रस्तावक संयोजकों के सत्य कार्यों को टी-मानक और इसके अवशिष्ट के माध्यम से परिभाषित किया जा सकता है, उदाहरण के लिए अवशिष्ट निषेध इस तरह, वाम-निरंतर टी-मानक, इसके अवशेष, और अतिरिक्त प्रस्तावक संयोजकों के सत्य कार्य (नीचे खंड मानक शब्दार्थ देखें) [0,1] में जटिल प्रस्तावक सूत्रों के सत्य मूल्यों को निर्धारित करते हैं। जो सूत्र हमेशा 1 का मूल्यांकन करते हैं, उन्हें दिए गए लेफ्ट-कंटीन्यूअस टी-नॉर्म या टाउटोलॉजी के संबंध में टाउटोलॉजी कहा जाता है। सभी स्वरलिपियों के समूह को टी-मानक का तर्क कहा जाता है क्योंकि ये सूत्र अस्पष्ट तर्क के नियमों (टी-मानक द्वारा निर्धारित) का प्रतिनिधित्व करते हैं जो परमाणु सूत्रों के सत्य डिग्री की परवाह किए बिना (डिग्री 1 तक) धारण करते हैं। कुछ सूत्र सभी लेफ्ट-कंटीन्यूअस टी-नॉर्म्स के संबंध में टॉटोलॉजी हैंः वे प्रस्तावक अस्पष्ट तर्क के सामान्य नियमों का प्रतिनिधित्व करते हैं जो एक विशेष लेफ्ट-कंटीन्यूअस टी-नॉर्म के विकल्प से स्वतंत्र हैं। ये सूत्र तर्क एम. टी. एल. बनाते हैं, जिन्हें इस प्रकार बाएं-निरंतर टी-मानदंडों के तर्क के रूप में वर्णित किया जा सकता है। वाक्य रचना भाषा प्रस्तावक तर्क एम. टी. एल. की भाषा में कई प्रस्तावक चर और निम्नलिखित आदिम तार्किक संयोजक शामिल हैंः प्रभाव (द्विआधारी) मजबूत संयोजन (द्विआधारी)। संकेत और अस्पष्ट तर्क पर साहित्य में मजबूत संयोजन के लिए एक अधिक पारंपरिक संकेतन है, जबकि संकेतन उप-संरचनात्मक तर्क की परंपरा का पालन करता है। कमजोर संयोजन (द्विआधारी), जिसे जाली संयोजन भी कहा जाता है (जैसा कि यह हमेशा बीजगणितीय शब्दार्थ में मिलने के जाली संचालन द्वारा महसूस किया जाता है)। बी. एल. और मजबूत अस्पष्ट तर्कों के विपरीत, एम. टी. एल. में कमजोर संयोजन को परिभाषित नहीं किया जा सकता है और इसे आदिम संयोजकों में शामिल किया जाना चाहिए। नीचे (नलरी-एक प्रस्तावक स्थिरांक; या सामान्य वैकल्पिक टोकन हैं और शून्य प्रस्तावक स्थिरांक के लिए एक सामान्य वैकल्पिक नाम है (क्योंकि सबस्ट्रक्चरल लॉजिक्स के स्थिरांक नीचे और शून्य एम. टी. एल. में मेल खाते हैं)। निम्नलिखित सबसे आम परिभाषित तार्किक संयोजक हैंः नकारात्मकता (यूनरी), जिसे समतुल्यता (द्विआधारी) के रूप में परिभाषित किया गया है, जिसे एम. टी. एल. में, परिभाषा (कमजोर) विच्छेदन (द्विआधारी) के बराबर है, जिसे जाली विच्छेदन भी कहा जाता है (जैसा कि इसे हमेशा बीजगणितीय शब्दार्थ में जुड़ने के जाली संचालन द्वारा महसूस किया जाता है), जिसे शीर्ष (शून्य) के रूप में परिभाषित किया जाता है, जिसे एक भी कहा जाता है और या (एम. टी. एल. में उप-संरचनात्मक तर्क के शीर्ष और शून्य स्थिरांक के रूप में) द्वारा निरूपित किया जाता है, जिसे एम. टी. एल. के अच्छी तरह से गठित सूत्रों के रूप में परिभाषित किया जाता है, प्रस्तावात्मक तर्क में हमेशा की तरह परिभाषित किया जाता है। कोष्ठकों को बचाने के लिए, वरीयता के निम्नलिखित क्रम का उपयोग करना आम बात हैः यूनरी संयोजक (सबसे निकटता से बांधना) निहितार्थ और समतुल्यता प्रभाव और समतुल्यता (सबसे शिथिल रूप से बांधना) के अलावा द्विआधारी संयोजक स्वयंसिद्ध एम. टी. एल. के लिए एस्तेवा और गोडो (2001) द्वारा एक हिल्बर्ट-शैली कटौती प्रणाली शुरू की गई है। इसका एकल व्युत्पत्ति नियम मोडस पोनेंस हैः से और व्युत्पन्न निम्नलिखित इसकी स्वयंसिद्ध योजनाएँ हैंः बाएं स्तंभ में दिए गए स्वयंसिद्धों की पारंपरिक संख्या, हेजेक के मूल अस्पष्ट तर्क बी. एल. के स्वयंसिद्धों की संख्या से ली गई है। स्वयंसिद्ध (एम. टी. एल. 4ए)-(एम. टी. एल. 4सी) बी. एल. की विभाज्यता (बी. एल. 4) के स्वयंसिद्ध को प्रतिस्थापित करते हैं। स्वयंसिद्ध (एम. टी. एल. 5ए.) और (एम. टी. एल. 5बी.) अवशेष के नियम को व्यक्त करते हैं और स्वयंसिद्ध (एम. टी. एल. 6.) पूर्वरेखीयता की स्थिति से मेल खाते हैं। मूल स्वयंसिद्ध प्रणाली के स्वयंसिद्ध (एम. टी. एल. 2) और (एम. टी. एल. 3) को निरर्थक (च्वालोव्स्की, 2012) और (सिंटुला, 2005) दिखाया गया था। अन्य सभी स्वयंसिद्धों को स्वतंत्र दिखाया गया था (च्वालोव्स्की, 2012)। शब्दार्थ अन्य प्रस्तावक टी-मानक अस्पष्ट तर्कशास्त्र की तरह, बीजगणितीय शब्दार्थ का उपयोग मुख्य रूप से एम. टी. एल. के लिए किया जाता है, जिसमें तीन मुख्य वर्ग के बीजगणित होते हैं जिनके संबंध में तर्क पूरा होता हैः सामान्य शब्दार्थ, जो सभी एम. टी. एल.-बीजगणित से बना होता है-यानी, सभी बीजगणित जिनके लिए तर्क ध्वनि रैखिक शब्दार्थ है, जो सभी रैखिक एम. टी. एल.-बीजगणित से बना होता है-यानी, सभी एम. टी. एल.-बीजगणित जिनका जाली क्रम रैखिक मानक शब्दार्थ है, जो सभी मानक एम. टी. एल.-बीजगणित से बना होता है-यानी, सभी एम. टी. एल.-बीजगणित जिनका जाली कटौती वास्तविक इकाई अंतराल है [0,1] इन्हें प्रीलीनियर कम्यूटेटिव बाउंडेड इंटीग्रल रेसिड्यूएटेड लैटिस के रूप में चिह्नित किया जा सकता है। अधिक विस्तार से, एक बीजगणितीय संरचना एक एम. टी. एल.-बीजगणित है यदि शीर्ष तत्व 0 के साथ एक बंधी हुई जाली है और निचला तत्व 1 एक कम्यूटेटिव मोनॉइड है और एक संलग्न जोड़ी बनाता है, अर्थात, यदि और केवल तभी जब सभी x, y और z के लिए जाली क्रम कहाँ है, (अवशिष्ट स्थिति) L में सभी x और y के लिए धारण करता है (पूर्वरेखा स्थिति) एम. टी. एल. बीजगणित के महत्वपूर्ण उदाहरण वास्तविक इकाई अंतराल [0,1] पर मानक एम. टी. एल.-बीजगणित हैं। आगे के उदाहरणों में सभी बूलियन बीजगणित, सभी रैखिक हेयटिंग बीजगणित (दोनों के साथ), सभी एम. वी.-बीजगणित, सभी बी. एल.-बीजगणित आदि शामिल हैं। चूँकि अवशेष स्थिति को समान रूप से पहचान द्वारा व्यक्त किया जा सकता है, एम. टी. एल.-बीजगणित एक विविधता बनाते हैं। एम. टी. एल.-बीजगणों में तर्क एम. टी. एल. की व्याख्या एम. टी. एल.-बीजगणों में एम. टी. एल. के संयोजकों की व्याख्या इस प्रकार की जाती हैः मोनोइडल संचालन द्वारा मजबूत संयोजन ऑपरेशन द्वारा प्रभाव (जिसे अवशेष कहा जाता है) कमजोर संयोजन और जाली संचालन द्वारा कमजोर विच्छेदन और क्रमशः (आमतौर पर संयोजकों के समान प्रतीकों द्वारा दर्शाया जाता है, यदि कोई भ्रम पैदा नहीं हो सकता है) सत्य स्थिरांक शून्य (ऊपर) और एक (नीचे) स्थिरांक 0 और 1 द्वारा समतुल्य संयोजकता की व्याख्या इस रूप में परिभाषित ऑपरेशन द्वारा की जाती है। इस प्रकार एक सूत्र को एक मूल्यांकन ई के तहत पूरी तरह से सही माना जाता है यदि ई (ए) = 1 है। एक सूत्र ए को एम. टी. एल.-बीजगणित एल में मान्य कहा जाता है यदि यह एल में सभी मूल्यांकनों के तहत पूरी तरह से सही है, यानी, यदि एल में सभी मूल्यांकनों के लिए ई (ए) = 1 है। कुछ सूत्र (उदाहरण के लिए, पी. पी.) किसी भी एम. टी. एल.-बीजगणित में मान्य हैं; इन्हें एम. टी. एल. की स्वरलिपि कहा जाता है। एम. टी. एल. के लिए वैश्विक प्रवेश (याः वैश्विक परिणाम) की धारणा को निम्नानुसार परिभाषित किया गया हैः सूत्र के एक समूह में एक सूत्र ए शामिल होता है (याः ए, ए. का एक वैश्विक परिणाम है), प्रतीकों में यदि किसी भी एम. टी. एल.-बीजगणित में किसी भी मूल्यांकन ई के लिए, जब भी ई (बी) = 1 सभी सूत्र बी के लिए, तो ई (ए) = 1 भी। अनौपचारिक रूप से, वैश्विक परिणाम संबंध सत्य मूल्यों के किसी भी एम. टी. एल.-बीजगणित में पूर्ण सत्य के संचरण का प्रतिनिधित्व करता है। सामान्य दृढ़ता और पूर्णता प्रमेय तर्क एम. टी. एल. सभी एम. टी. एल.-बीजगणितों के वर्ग के संबंध में ध्वनि और पूर्ण है (एस्टेवा और गोडो, 2001): एम. टी. एल. में एक सूत्र तभी सिद्ध किया जा सकता है जब यह सभी एम. टी. एल.-बीजगणितों में मान्य हो। एम. टी. एल.-बीजगणित की धारणा वास्तव में इतनी परिभाषित है कि एम. टी. एल.-बीजगणित सभी बीजगणितों का वर्ग बनाते हैं जिनके लिए तर्क एम. टी. एल. ध्वनि है। इसके अलावा, मजबूत पूर्णता प्रमेय का मानना हैः एक सूत्र ए सूत्र के एक समूह के एम. टी. एल. में एक वैश्विक परिणाम है, यदि और केवल तभी जब ए. एम. टी. एल. में ए. से व्युत्पन्न हो। रैखिक शब्दार्थ अन्य अस्पष्ट तर्कों के लिए बीजगणित की तरह, एम. टी. एल.-बीजगणित निम्नलिखित रैखिक उप-प्रत्यक्ष अपघटन गुण का आनंद लेते हैंः प्रत्येक एम. टी. एल.-बीजगणित रैखिक रूप से क्रमबद्ध एम. टी. एल.-बीजगणित का एक उप-प्रत्यक्ष उत्पाद है। (एक उप-प्रत्यक्ष उत्पाद प्रत्यक्ष उत्पाद का एक उप-बीजगणित है जैसे कि सभी प्रक्षेपण मानचित्र सर्जेक्टिव होते हैं। एक एम. टी. एल.-बीजगणित को रैखिक रूप से क्रमबद्ध किया जाता है यदि इसका जाली क्रम रैखिक है।) सभी एम. टी. एल.-बीजांशों के रैखिक उप-प्रत्यक्ष अपघटन गुण के परिणामस्वरूप, रैखिक एम. टी. एल.-बीजांशों (एस्टेवा और गोडो, 2001) के संबंध में पूर्णता प्रमेय यह मानता हैः एम. टी. एल. में एक सूत्र तभी सिद्ध किया जा सकता है जब यह सभी रैखिक एम. टी. एल.-बीजांशों में मान्य हो। एक सूत्र ए को एम. टी. एल. में सूत्र के एक समूह से व्युत्पन्न किया जा सकता है यदि और केवल तभी जब ए. सभी रैखिक एम. टी. एल.-बीजगणों में एक वैश्विक परिणाम हो। मानक शब्दार्थ मानक को वे एम. टी. एल.-बीजगणित कहा जाता है जिनका जाली कटौती वास्तविक इकाई अंतराल [0,1] है। वे विशिष्ट रूप से वास्तविक-मूल्यवान फलन द्वारा निर्धारित किए जाते हैं जो मजबूत संयोजन की व्याख्या करता है, जो कोई भी लेफ्ट-कंटीन्यूअस टी-नॉर्म हो सकता है। लेफ्ट-कंटीन्यूअस टी-नॉर्म द्वारा निर्धारित मानक एम. टी. एल.-बीजगणित को आमतौर पर इन इम्प्लिकेशन द्वारा निरूपित किया जाता है जिसे क्रमशः न्यूनतम और अधिकतम द्वारा कमजोर संयोजन और विच्छेदन के अवशेष द्वारा दर्शाया जाता है, और सत्य स्थिरांक क्रमशः शून्य और एक वास्तविक संख्या 0 और 1 द्वारा होता है। तर्क एम. टी. एल. मानक एम. टी. एल.-बीजगणित के संबंध में पूर्ण है; यह तथ्य मानक पूर्णता प्रमेय (जेनी और मोंटाग्ना, 2002) द्वारा व्यक्त किया गया हैः एम. टी. एल. में एक सूत्र तभी सिद्ध किया जा सकता है जब यह सभी मानक एम. टी. एल.-बीजगणित में मान्य हो। चूँकि एम. टी. एल. मानक एम. टी. एल.-अल्जेब्रा के संबंध में पूर्ण है, जो बाएं-निरंतर टी-मानदंडों द्वारा निर्धारित किए जाते हैं, एम. टी. एल. को अक्सर बाएं-निरंतर टी-मानदंडों के तर्क के रूप में संदर्भित किया जाता है (उसी तरह जैसे बी. एल. निरंतर टी-मानदंडों का तर्क है)। ग्रंथ सूची हेजेक पी., 1998, मेटामाथेमैटिक्स ऑफ फजी लॉजिक। डोरड्रेचः क्लूवर। एस्टेवा एफ. और गोडो एल., 2001, "मोनोइडल टी-नॉर्म आधारित तर्कः बाएं-निरंतर टी-नॉर्म के तर्क की ओर"। फजी सेट और सिस्टम 124:271-288। जेनी एस. और मोंटाग्ना एफ., 2002, "एस्टेवा और गोडो के मोनोइडल लॉजिक एम. टी. एल. की मानक पूर्णता का प्रमाण"। स्टडीया लॉजिका 70:184-192। ओनो, एच., 2003, "सबस्ट्रक्चरल लॉजिक्स एंड रेसिड्यूएटेड लैटिस-एन इंट्रोडक्शन"। एफ. वी. में हेंड्रिक्स, जे. मालिनोव्स्की (संस्करण। ): तर्क में रुझानः अध्ययन तर्क के 50 साल, तर्क में रुझान 20:177-212। सिंटुला पी., 2005, "संक्षिप्त टिप्पणीः बीएल और एमटीएल में स्वयंसिद्ध (ए3) की अतिरेकता पर"। सॉफ्ट कम्प्यूटिंग 9:942। सिंटुला पी., 2006, "कमजोर निहित (अस्पष्ट) तर्क I: बुनियादी गुण"। गणितीय तर्क के लिए अभिलेखागार 45:673-704। च्वालोव्स्की के., 2012, "ऑन द इंडिपेंडेंस ऑफ एक्सिओम्स इन बीएल एंड एमटीएल"। फजी सेट और सिस्टम 197:123-129,। संदर्भ अस्पष्ट तर्क