टी-नॉर्म फ़ज़ी लॉजिक

टी-नॉर्म फजी तर्क गैर-शास्त्रीय तर्क का एक परिवार है, अनौपचारिक रूप से एक शब्दार्थ द्वारा सीमांकित किया जाता है जो वास्तविक संख्या इकाई अंतराल [0, 1] को सत्य मूल्यों और कार्यों की प्रणाली के लिए टी-नॉर्म्स कहा जाता है जो तार्किक संयोजन की अनुमेय व्याख्याओं के लिए होता है। वे मुख्य रूप से एप्लाइड फ़ज़ी तर्क और फजी समुच्चय सिद्धान्त में अनुमानित तर्क के सैद्धांतिक आधार के रूप में उपयोग किए जाते हैं।

टी-मानदंड फ़ज़ी तर्क फ़ज़ी तर्क और बहु-मूल्यवान तर्क के व्यापक वर्ग में आते हैं। एक अच्छा व्यवहार निहितार्थ उत्पन्न करने के लिए, टी-मानदंडों को सामान्यतः बाएं-निरंतर होने की आवश्यकता होती है; बाएं-निरंतर टी-मानदंडों के तर्क आगे अवसंरचनात्मक तर्क की श्रेणी में आते हैं, जिनमें से उन्हें पूर्व-रैखिकता के कानून की वैधता के साथ चिह्नित किया जाता है, (A → B) ∨ (B → A) प्रस्तावित और प्रथम-क्रम (या उच्च-क्रम) टी-मानदंड फ़ज़ी तर्क, साथ ही मोडल और अन्य ऑपरेटरों द्वारा उनके विस्तार दोनों का अध्ययन किया जाता है। तर्क जो टी-नॉर्म अर्थ विज्ञान को वास्तविक इकाई अंतराल (उदाहरण के लिए, सूक्ष्म रूप से मूल्यवान Łukasiewicz तर्क) के एक सबसमुच्चय तक सीमित करते हैं, सामान्यतः कक्षा में भी सम्मिलित होते हैं।

टी-मानदंड फ़ज़ी तर्क के महत्वपूर्ण उदाहरण हैं सभी बाएँ-निरंतर टी-मानदंडों के मोनोइडल टी-मानक तर्क (एमटीएल), सभी निरंतर टी-मानदंडों के मूल तर्क (बीएल), उत्पाद टी-मानदंड के उत्पाद फ़ज़ी तर्क, या नीलपोटेंट मिनिमम टी-नॉर्म का निलपोटेंट मिनिमम तर्क। कुछ स्वतंत्र रूप से प्रेरित तर्क टी-नॉर्म फ़ज़ी तर्क में भी सम्मिलित हैं, उदाहरण के लिए लुकासिविक्ज़ तर्क (जो लुकासिविक्ज़ टी-नॉर्म का तर्क है) या गोडेल-डमेट तर्क (जो न्यूनतम टी-नॉर्म का तर्क है)।

प्रेरणा

फ़ज़ी तर्क के परिवार के सदस्यों के रूप में, टी-मानदंड फ़ज़ी तर्क मुख्य रूप से 1 (सच्चाई) और 0 (झूठी) के बीच मध्यस्थ सत्य मूल्यों को स्वीकार करके प्रस्तावों की सत्यता की डिग्री का प्रतिनिधित्व करते हुए शास्त्रीय दो-मूल्यवान तर्क को सामान्य बनाने का लक्ष्य रखता है। इकाई अंतराल [0, 1] से डिग्रियों को वास्तविक संख्या माना जाता है। प्रस्तावात्मक टी-मानदंड फ़ज़ी तर्क में, प्रस्तावात्मक संयोजकों को सत्य-कार्यात्मक होने के लिए निर्धारित किया जाता है, अर्थात, कुछ घटक प्रस्तावों से एक प्रस्तावक संयोजक द्वारा गठित एक जटिल प्रस्ताव का सत्य मान एक कार्य है (संयोजी का सत्य कार्य कहा जाता है) घटक प्रस्तावों के सत्य मूल्य। सत्य कार्य सत्य डिग्री के समुच्चय पर काम करते हैं (मानक शब्दार्थ में, [0, 1] अंतराल पर); इस प्रकार एक n-आरी प्रस्तावक संयोजक c का सत्य फलन एक फलन F_c: [0, 1]ⁿ → [0, 1] है। ट्रुथ फ़ंक्शंस क्लासिकल तर्क से ज्ञात प्रपोज़िशनल कनेक्टिव्स की ट्रुथ टेबल को सामान्य करता है ताकि ट्रुथ वैल्यू की बड़ी प्रणाली पर काम किया जा सके।

टी-नॉर्म फज़ी तर्क संयोजन के सत्य कार्य पर कुछ प्राकृतिक प्रतिबंध लगाते हैं। ट्रूथ फंक्शन $*\colon [0,1]^{2}\to [0,1]$ का संयोजन निम्नलिखित शर्तों को पूरा करने के लिए माना जाता है:

• क्रमविनिमेयता, यानी [0, 1] में सभी x और y के लिए $x*y=y*x$ है। यह इस धारणा को व्यक्त करता है कि फ़ज़ी प्रस्तावों का क्रम संयोजन के रूप में सारहीन है, भले ही मध्यवर्ती सत्य डिग्री स्वीकार की जाती हैं।
• साहचर्य, यानी [0, 1] में सभी x, y, और z के लिए $(x*y)*z=x*(y*z)$ यह इस धारणा को व्यक्त करता है कि संयोजन करने का क्रम सारहीन है, भले ही मध्यवर्ती सत्य डिग्री स्वीकार की जाती हैं।
• एकरसता, यानी, यदि $x\leq y$ तो $x*z\leq y*z$ सभी x, y, और z in [0, 1] के लिए। यह इस धारणा को व्यक्त करता है कि एक संयोजन की सत्यता की डिग्री को बढ़ाने से संयोजन की सत्यता की डिग्री कम नहीं होनी चाहिए।
• 1 की तटस्थता, जो [0, 1] में सभी x के लिए $1*x=x$ है। यह धारणा सत्य डिग्री 1 को पूर्ण सत्य मानने से मेल खाती है, जिसके संयोजन से दूसरे संयोजन के सत्य मूल्य में कमी नहीं होती है। पिछली स्थितियों के साथ-साथ यह स्थिति सुनिश्चित करती है कि [0, 1] में सभी x के लिए $0*x=0$ भी है, जो सत्य डिग्री 0 को पूर्ण मिथ्या मानने के अनुरूप है, जिसके साथ संयोजन हमेशा पूर्णतः असत्य होता है।
• समारोह की निरंतरता $*$ (पिछली शर्तें किसी भी तर्क में निरंतरता के लिए इस आवश्यकता को कम करती हैं)। अनौपचारिक रूप से यह धारणा व्यक्त करता है कि संयोजनों की सत्य डिग्री के सूक्ष्म परिवर्तनों का परिणाम उनके संयोजन की सत्य डिग्री के मैक्रोस्कोपिक परिवर्तन में नहीं होना चाहिए। यह स्थिति, अन्य बातों के अलावा, संयोजन से प्राप्त (अवशिष्ट) निहितार्थ का एक अच्छा व्यवहार सुनिश्चित करती है; हालांकि, अच्छे व्यवहार को सुनिश्चित करने के लिए, कार्य की बाईं-निरंतरता (किसी भी तर्क में)। $*$ काफी है। सामान्य तौर पर टी-मानदंड फ़ज़ी तर्क, इसलिए, केवल बाईं-निरंतरता $*$ आवश्यक है, जो इस धारणा को व्यक्त करता है कि एक संयोजन की सत्य डिग्री की सूक्ष्म कमी को संयोजन की सत्य डिग्री को मैक्रोस्कोपिक रूप से कम नहीं करना चाहिए।

ये धारणाएं संयुग्मन के सत्य कार्य को एक बाएं-निरंतर टी-मानदंड बनाती हैं, जो फ़ज़ी तर्क (टी-मानक आधारित) के परिवार के नाम की व्याख्या करता है। परिवार के विशेष तर्क संयुग्मन के व्यवहार के बारे में और धारणाएं बना सकते हैं (उदाहरण के लिए, गोडेल-डमेट तर्क को इसकी निष्क्रियता की आवश्यकता होती है) या अन्य कनेक्टिव्स (उदाहरण के लिए, तर्क आईएमटीएल (इनवॉल्विव मोनोइडल टी-नॉर्म तर्क) को नकारात्मकता की अनिवार्यता की आवश्यकता होती है)

सभी बाएं-निरंतर टी-मानदंड $*$ में एक अद्वितीय अवशेष है, जो कि एक बाइनरी फ़ंक्शन है $\Rightarrow$ ऐसा है कि [0, 1] में सभी x, y, और z के लिए,

$x*y\leq z$ अगर और केवल अगर $x\leq y\Rightarrow z.$

बाएं-निरंतर टी-मानदंड के अवशेषों को स्पष्ट रूप से परिभाषित किया जा सकता है:

$(x\Rightarrow y)=\sup\{z\mid z*x\leq y\}.$

यह सुनिश्चित करता है कि अवशेष बिंदुवार सबसे बड़ा कार्य है जैसे कि सभी x और y के लिए,

$x*(x\Rightarrow y)\leq y.$

उत्तरार्द्ध को अनुमान के तौर-तरीकों के नियम के एक फ़ज़ी संस्करण के रूप में व्याख्या किया जा सकता है। बाएं-निरंतर टी-मानदंड के अवशेषों को सबसे कमजोर कार्य के रूप में वर्णित किया जा सकता है जो फ़ज़ी मोडस पोनेंस को वैध बनाता है, जो इसे फ़ज़ी तर्क में निहितार्थ के लिए एक उपयुक्त सत्य कार्य बनाता है। टी-मानदंड संयोजन और इसके अवशिष्ट निहितार्थ के बीच इस संबंध के लिए टी-मानदंड की वाम-निरंतरता आवश्यक और पर्याप्त शर्त है।

आगे के प्रस्तावक संयोजकों के सत्य कार्यों को टी-मानदंड और इसके अवशेषों के माध्यम से परिभाषित किया जा सकता है, उदाहरण के लिए अवशिष्ट निषेध $\neg x=(x\Rightarrow 0)$ या द्वि-अवशिष्ट तुल्यता $x\Leftrightarrow y=(x\Rightarrow y)*(y\Rightarrow x).$ प्रस्तावपरक संयोजकों के सत्य कार्यों को अतिरिक्त परिभाषाओं द्वारा भी प्रस्तुत किया जा सकता है: सबसे सामान्य वाले न्यूनतम हैं (जो एक अन्य संयोजक संयोजक की भूमिका निभाते हैं), अधिकतम ( जो एक संयोजन संयोजन की भूमिका निभाता है), या बाज़ डेल्टा ऑपरेटर, [0, 1] में $\Delta x=1$ यदि $x=1$ और $\Delta x=0$ अन्यथा परिभाषित किया गया है। इस तरह, एक बाएं-निरंतर टी-मानदंड, इसका अवशेष, और अतिरिक्त प्रस्तावात्मक संयोजकों के सत्य कार्य [0, 1] में जटिल तर्कवाक्य सूत्रों के सत्य मूल्यों को निर्धारित करते हैं।

सूत्र जो हमेशा 1 का मूल्यांकन करते हैं, उन्हें दिए गए बाएं-निरंतर टी-मानदंड $*,$या $*{\mbox{-}}$ tautology के संबंध में tautology कहा जाता है। सभी का समुच्चय $*{\mbox{-}}$टॉटोलॉजी को टी-नॉर्म का तर्क कहा जाता है $*,$ क्योंकि ये सूत्र फ़ज़ी तर्क (टी-मानदंड द्वारा निर्धारित) के नियमों का प्रतिनिधित्व करते हैं जो परमाणु सूत्रों की सत्य डिग्री की परवाह किए बिना (1 डिग्री तक) धारण करते हैं। वाम-निरंतर टी-मानदंडों के एक बड़े वर्ग के संबंध में कुछ सूत्र पुनरावलोकन (तर्क) हैं; ऐसे सूत्रों के समुच्चय को वर्ग का तर्क कहा जाता है। महत्वपूर्ण टी-मानदंड तर्क विशिष्ट टी-मानदंडों या टी-मानदंडों की कक्षाओं के तर्क हैं, उदाहरण के लिए:

• लुकासिविज़ तर्क $x*y=\max(x+y-1,0)$ का तर्क है।
• गोडेल-डमेट तर्क $x*y=\min(x,y)$ न्यूनतम टी-नॉर्म न्यूनतम का तर्क है।
• उत्पाद फ़ज़ी तर्क उत्पाद $x*y=x\cdot y$ का तर्क है।
• मोनोइडल टी-नॉर्म तर्क एमटीएल सभी बाएं-निरंतर टी-मानदंडों का (वर्ग का) तर्क है।
• बेसिक फ़ज़ी तर्क बीएल सभी निरंतर टी-मानदंडों का (वर्ग का) तर्क है।

यह पता चला है कि विशेष टी-मानदंडों और टी-मानदंडों के वर्गों के कई तर्क स्वयंसिद्ध हैं। [0, 1] पर संबंधित टी-मानक शब्दार्थ के संबंध में स्वयंसिद्ध प्रणाली की पूर्णता प्रमेय को तब तर्क की मानक पूर्णता कहा जाता है। [0, 1] पर मानक वास्तविक-मूल्यवान शब्दार्थ के अलावा, सामान्य बीजगणितीय शब्दार्थ के संबंध में तर्क ध्वनि और पूर्ण हैं, जो प्रीलीनियर कम्यूटेटिव बाउंडेड इंटीग्रल रेसिड्यूएटेड लैटिस के उपयुक्त वर्गों द्वारा गठित हैं।

इतिहास

फ़ज़ी तर्क या टी-मानदंड की धारणाओं के सामने आने से पहले ही परिवार को पहचानने से बहुत पहले कुछ विशेष टी-मानदंड फ़ज़ी तर्क पेश किए गए थे और उनकी जाँच की गई थी:

• Łukasiewicz तर्क (Łukasiewicz t-norm का तर्क) मूल रूप से Jan Łukasiewicz (1920) द्वारा तीन-मूल्यवान तर्क के रूप में परिभाषित किया गया था; इसे बाद में एन-वैल्यूड (सभी परिमित एन के लिए) के साथ-साथ असीम रूप से कई-मूल्यवान वेरिएंट, दोनों प्रपोजल और फर्स्ट-ऑर्डर के लिए सामान्यीकृत किया गया था।
• माइकल डमेट तर्क (न्यूनतम टी-मानदंड का तर्क) गोडेल के 1932 के अंतर्ज्ञानवादी तर्क के अनंत-मूल्यवान होने के प्रमाण में निहित था। बाद में (1959) डमेट द्वारा स्पष्ट रूप से इसका अध्ययन किया गया जिसने तर्क के लिए एक पूर्णता प्रमेय साबित किया।

विशेष टी-मानदंड फ़ज़ी तर्क और उनकी कक्षाओं का एक व्यवस्थित अध्ययन हेजेक (1998) मोनोग्राफ मेटामैथमैटिक्स ऑफ़ फ़ज़ी तर्क के साथ शुरू हुआ, जिसने निरंतर टी-मानदंड के तर्क की धारणा प्रस्तुत की, तीन बुनियादी निरंतर टी-मानदंडों के तर्क ( Łukasiewicz, Gödel, और उत्पाद), और सभी निरंतर टी-मानदंडों का 'मूल' फ़ज़ी तर्क BL (वे सभी प्रस्तावात्मक और प्रथम-क्रम दोनों)। पुस्तक ने हिल्बर्ट-शैली की गणना, बीजगणितीय शब्दार्थ और अन्य तर्क (पूर्णता प्रमेय, निगमन प्रमेय, जटिलता, आदि) से ज्ञात मेटामाथमेटिकल गुणों के साथ गैर-शास्त्रीय तर्क के रूप में फ़ज़ी तर्क की जांच भी शुरू की।

तब से, टी-मानदंड फ़ज़ी तर्क की अधिकता पेश की गई है और उनके मेटामैथमैटिकल गुणों की जांच की गई है। एस्टेवा और गोडो (MTL, IMTL, SMTL, NM, WNM), [1] एस्टेवा, गोडो, और मोंटागना (प्रस्तावात्मक ŁΠ) और सिंटुला द्वारा 2001 में कुछ सबसे महत्वपूर्ण टी-नॉर्म फ़ज़ी तर्क पेश किए गए थे। (प्रथम-क्रम ŁΠ).

तार्किक भाषा

प्रस्तावपरक टी-मानदंड फ़ज़ी तर्क की तार्किक शब्दावली में मानक रूप से निम्नलिखित संयोजक सम्मिलित हैं:

• निहितार्थ $\rightarrow$ (धैर्य)। टी-मानदंड-आधारित फ़ज़ी तर्क के अलावा अन्य के संदर्भ में, टी-मानदंड-आधारित निहितार्थ को कभी-कभी अवशिष्ट निहितार्थ या आर-निहितार्थ कहा जाता है, क्योंकि इसका मानक शब्दार्थ टी-मानदंड का अवशेष है जो मजबूत संयोजन का एहसास करता है।
• प्रबल योग $\And$ (बाइनरी)। सबस्ट्रक्चरल तर्क के संदर्भ में, साइन $\otimes$ और नाम समूह, गहन, गुणक, या समानांतर संयोजन अक्सर मजबूत संयोजन के लिए उपयोग किए जाते हैं।
• कमजोर संयोजन $\wedge$ (बाइनरी), जिसे जाली संयोजन भी कहा जाता है (जैसा कि यह हमेशा बीजगणितीय शब्दार्थ में मिलने के जाली संचालन द्वारा महसूस किया जाता है)। सबस्ट्रक्चरल तर्क के संदर्भ में, एडिटिव, एक्सटेंशनल या तुलनात्मक संयोजन नाम कभी-कभी जाली संयोजन के लिए उपयोग किए जाते हैं। तर्क बीएल और इसके एक्सटेंशन में (हालांकि सामान्य रूप से टी-मानदंड तर्क में नहीं), निहितार्थ और मजबूत संयोजन के संदर्भ में कमजोर संयोजन निश्चित है:
  $$A\wedge B\equiv A\mathbin {\And } (A\rightarrow B).$$
  दो संयुग्मन संयोजकों की उपस्थिति संकुचन-मुक्त अवसंरचनात्मक तर्क की एक सामान्य विशेषता है।
• बॉटम $\bot$ $0$ या ${\overline {0}}$ आम वैकल्पिक संकेत हैं और ज़ीरो प्रोपोज़िशनल कांस्टेंट के लिए एक कॉमन वैकल्पिक नाम है (जैसा कि सबस्ट्रक्चरल तर्क के कॉन्स्टेंट नीचे और शून्य टी-नॉर्म फ़ज़ी में मेल खाते हैं तर्क)। विनती $\bot$ असत्यता या बेतुकापन का प्रतिनिधित्व करता है और शास्त्रीय सत्य मूल्य असत्य से मेल खाता है।
• 'निषेध' $\neg$ (एकात्मक ऑपरेशन ), जिसे कभी-कभी अवशिष्ट निषेध कहा जाता है यदि अन्य नकारात्मक संयोजकों पर विचार किया जाता है, जैसा कि रिडक्टियो एड एब्सर्डम द्वारा अवशिष्ट निहितार्थ से परिभाषित किया गया है:
  $$\neg A\equiv A\rightarrow \bot$$
• समानता $\leftrightarrow$ (बाइनरी), के रूप में परिभाषित किया गया
  $$A\leftrightarrow B\equiv (A\rightarrow B)\wedge (B\rightarrow A)$$
  टी-नॉर्म तर्क में, परिभाषा इसके समकक्ष है $(A\rightarrow B)\mathbin {\And } (B\rightarrow A).$
• (कमजोर) संयोजन $\vee$ (बाइनरी), जिसे लैटिस डिसजंक्शन भी कहा जाता है (जैसा कि बीजगणितीय शब्दार्थ में ज्वाइन (गणित) के लैटिस (ऑर्डर) ऑपरेशन द्वारा हमेशा महसूस किया जाता है)। टी-नॉर्म तर्क में यह अन्य संयोजकों के संदर्भ में निश्चित है
  $$A\vee B\equiv ((A\rightarrow B)\rightarrow B)\wedge ((B\rightarrow A)\rightarrow A)$$
• ऊपर $\top$ (शून्य), जिसे एक भी कहा जाता है और इसके द्वारा निरूपित किया जाता है $1$ या ${\overline {1}}$ (जैसा कि अवसंरचनात्मक तर्क के स्थिरांक शीर्ष और शून्य टी-नॉर्म फ़ज़ी तर्क में मेल खाते हैं)। विनती $\top$ क्लासिकल ट्रूथ वैल्यू ट्रू से मेल खाता है और टी-नॉर्मल तर्क में परिभाषित किया जा सकता है
  $$\top \equiv \bot \rightarrow \bot .$$

कुछ प्रस्तावात्मक टी-मानदंड तर्क उपरोक्त भाषा में और प्रस्तावात्मक संयोजक जोड़ते हैं, जो अक्सर निम्नलिखित होते हैं:

• डेल्टा संयोजक $\triangle$ एक एकात्मक संयोजक है जो किसी प्रस्ताव के शास्त्रीय सत्य को रूप के सूत्रों के रूप में प्रस्तुत करता है $\triangle A$ शास्त्रीय तर्क के रूप में व्यवहार करें। इसे बाज़ डेल्टा भी कहा जाता है, क्योंकि इसका पहली बार मथियास बाज़ द्वारा इंटरमीडिएट तर्क | गोडेल-डमेट तर्क के लिए उपयोग किया गया था। एक टी-मानक तर्क का विस्तार $L$ डेल्टा संयोजक द्वारा सामान्यतः निरूपित किया जाता है $L_{\triangle }.$
• सत्य स्थिरांक शून्य संयोजक हैं जो मानक वास्तविक-मूल्यवान शब्दार्थ में 0 और 1 के बीच विशेष सत्य मानों का प्रतिनिधित्व करते हैं। वास्तविक संख्या के लिए $r$, संगत सत्य स्थिरांक को सामान्यतः द्वारा निरूपित किया जाता है ${\overline {r}}.$ बहुधा, सभी परिमेय संख्याओं के लिए सत्य स्थिरांक जोड़े जाते हैं। भाषा में सभी सत्य स्थिरांकों की प्रणाली बहीखाता पद्धति के स्वयंसिद्धों को संतुष्ट करने वाली है:
  $${\overline {r\mathbin {\And } s}}\leftrightarrow ({\overline {r}}\mathbin {\And } {\overline {s}}),$$
  $${\overline {r\rightarrow s}}\leftrightarrow ({\overline {r}}\mathbin {\rightarrow } {\overline {s}}),$$
  आदि सभी प्रस्तावात्मक संयोजकों और भाषा में परिभाषित सभी सत्य स्थिरांकों के लिए।
• समावेशी निषेध $\sim$ (यूनरी) को टी-नॉर्म तर्क में एक अतिरिक्त निषेध के रूप में जोड़ा जा सकता है जिसका अवशिष्ट निषेध स्वयं इनवोल्यूशन (गणित) नहीं है, अर्थात यदि यह दोहरे निषेध के नियम का पालन नहीं करता है $\neg \neg A\leftrightarrow A$. एक टी-मानक तर्क $L$ समावेशी निषेध के साथ विस्तारित सामान्यतः द्वारा निरूपित किया जाता है $L_{\sim }$ और बुलाया$L$ सम्मिलित होने के साथ।
• 'मजबूत संयोजन' $\oplus$ (बाइनरी)। सबस्ट्रक्चरल तर्क के संदर्भ में इसे ग्रुप, इंटेन्शनल, मल्टीप्लिकेटिव या पैरेलल डिसजंक्शन भी कहा जाता है। भले ही संकुचन-मुक्त अवसंरचनात्मक तर्क में मानक, टी-मानदंड फ़ज़ी तर्क में यह सामान्यतः केवल समावेशी निषेध की उपस्थिति में उपयोग किया जाता है, जो इसे मजबूत संयोजन से डी मॉर्गन के कानून द्वारा निश्चित (और इतना स्वयंसिद्ध) बनाता है:
  $$A\oplus B\equiv \mathrm {\sim } (\mathrm {\sim } A\mathbin {\And } \mathrm {\sim } B).$$
• अतिरिक्त टी-मानक संयोजन और अवशिष्ट निहितार्थ। कुछ स्पष्ट रूप से मजबूत टी-मानदंड तर्क, उदाहरण के लिए तर्क ŁΠ, उनकी भाषा में एक से अधिक मजबूत संयोजन या अवशिष्ट निहितार्थ हैं। मानक वास्तविक-मूल्यवान शब्दार्थ में, ऐसे सभी मजबूत संयोजनों को अलग-अलग टी-मानदंडों और उनके अवशिष्टों द्वारा अवशिष्ट निहितार्थों द्वारा महसूस किया जाता है।

प्रस्तावपरक टी-मानदंड तर्कशास्त्र के सुनिर्मित सूत्रों को प्रस्तावात्मक चरों (सामान्यतः गिनने योग्य कई) से उपरोक्त तार्किक संयोजकों द्वारा परिभाषित किया जाता है, जैसा कि सामान्य रूप से प्रस्तावात्मक तर्कों में होता है। कोष्ठकों को बचाने के लिए, वरीयता के निम्नलिखित क्रम का उपयोग करना आम है:

• यूनरी कनेक्टिव्स (सबसे बारीकी से बांधें)
• निहितार्थ और तुल्यता के अलावा अन्य बाइनरी संयोजक
• निहितार्थ और तुल्यता (सबसे शिथिल बाँधें)

टी-नॉर्म तर्क के प्रथम-क्रम वेरिएंट उपरोक्त प्रस्तावक संयोजकों और निम्नलिखित परिमाणक (तर्क)तर्क) के साथ प्रथम-क्रम तर्क की सामान्य तार्किक भाषा को नियोजित करते हैं:

• सामान्य परिमाणक $\forall$
• अस्तित्वगत परिमाणक $\exists$

प्रस्तावपरक टी-मानदंड तर्क का प्रथम-क्रम संस्करण $L$ सामान्यतः द्वारा निरूपित किया जाता है $L\forall .$

शब्दार्थ

बीजगणितीय शब्दार्थ (गणितीय तर्क) मुख्य रूप से प्रस्तावित टी-मानदंड फ़ज़ी तर्क के लिए उपयोग किया जाता है, जिसमें बीजगणितीय संरचना के तीन मुख्य वर्ग होते हैं जिनके संबंध में एक टी-मानदंड फ़ज़ी तर्क होता है। $L$ पूर्णता है (तर्क):

• सामान्य शब्दार्थ, सभी का गठन $L$-अलजेब्रस - यानी, सभी बीजगणित जिनके लिए साउंडनेस प्रमेय तर्क है।
• 'रैखिक शब्दार्थ', सभी रैखिक का गठन $L$-अलजेब्रस - यानी, सभी $L$- बीजगणित जिसका जालक (क्रम) क्रम कुल क्रम होता है।
• मानक शब्दार्थ, सभी मानक से निर्मित $L$-अलजेब्रस - यानी, सभी $L$-ऐल्जेब्रा जिसका जालक रिडक्ट सामान्य क्रम के साथ वास्तविक इकाई अंतराल [0, 1] है। मानक में $L$-अलजेब्रस, मजबूत संयोजन की व्याख्या एक बाएं-निरंतर टी-मानदंड है और अधिकांश प्रस्तावात्मक संयोजकों की व्याख्या टी-मानदंड द्वारा निर्धारित की जाती है (इसलिए नाम टी-मानक-आधारित तर्कशास्त्र और टी-मानदंड $L$-अलजेब्रा, जिसका उपयोग भी किया जाता है $L$जाली पर बीजगणित [0, 1])। अतिरिक्त संयोजकों के साथ टी-मानदंड तर्क में, हालांकि, अतिरिक्त संयोजकों की वास्तविक-मूल्यवान व्याख्या टी-मानक बीजगणित को मानक कहे जाने के लिए आगे की शर्तों द्वारा प्रतिबंधित हो सकती है: उदाहरण के लिए, मानक में $L_{\sim }$तर्क के बीजगणित $L$ समावेशन के साथ, अतिरिक्त समावेशी निषेध की व्याख्या $\sim$ मानक समावेश होना आवश्यक है $f_{\sim }(x)=1-x,$ बजाय अन्य निवेशों के जो व्याख्या भी कर सकते हैं $\sim$ टी-मानदंड से अधिक $L_{\sim }$-बीजगणित। सामान्य तौर पर, मानक टी-मानदंड बीजगणित की परिभाषा को अतिरिक्त कनेक्टिव्स के साथ टी-मानदंड तर्क के लिए स्पष्ट रूप से दिया जाना चाहिए।

ग्रन्थसूची

• एस्टेवा एफ. एंड गोडो एल., 2001, "मोनॉयडल टी-नॉर्म बेस्ड तर्क: टुवार्ड्स ए तर्क ऑफ़ लेफ्ट-कंटीन्यूअस टी-नॉर्म्स"। फ़ज़ी समुच्चय्स एंड सिस्टम्स 124: 271–288।
• फ्लैमिनियो टी. एंड मार्चियोनी ई., 2006, टी-मानदंड आधारित तर्क एक स्वतंत्र समावेशी निषेध के साथ। फ़ज़ी समुच्चय्स एंड सिस्टम्स 157: 3125–3144।
• गॉटवाल्ड एस. और हेजेक पी., 2005, त्रिकोणीय मानदंड आधारित गणितीय फ़ज़ी तर्क। ई.पी. क्लेमेंट एंड आर. मेसियर (संपा.), तार्किक, बीजगणितीय, विश्लेषणात्मक और त्रिकोणीय मानदंड के संभाव्य पहलू, पीपी. 275-300. एल्सेवियर, एम्स्टर्डम 2005।
• हाजेक पी., 1998, मेटामैथमैटिक्स ऑफ फ़ज़ी तर्क। डॉर्ड्रेक्ट: क्लूवर ISBN 0-7923-5238-6.