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

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

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

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

प्रेरणा

फ़ज़ी तर्क के समूह के सदस्यों के रूप में टी-नॉर्म फ़ज़ी तर्क मुख्य रूप से 1 (सत्य) और 0 (असत्य) के बीच मध्यस्थ सत्य मानों को स्वीकृत करके प्रस्तावों की सत्यता की घात का प्रतिनिधित्व करते हुए पारम्परिक दो-बहुमान तर्क को सामान्य बनाने का लक्ष्य रखता है। इकाई अंतराल [0, 1] से घातों को वास्तविक संख्या माना जाता है। प्रस्तावात्मक टी-नॉर्म फ़ज़ी तर्क में प्रस्तावात्मक संयोजकों को सत्य-कार्यात्मक होने के लिए निर्धारित किया जाता है, अर्थात कुछ फलन प्रस्तावों से एक प्रस्तावक संयोजक द्वारा गठित जटिल प्रस्ताव का सत्य मान फलन है जिन्हे संयोजक का सत्य फलन कहा जाता है। घटक प्रस्तावों के सत्य मान, सत्य फलन और सत्य डिग्री के समुच्चय पर कार्य करते हैं। मानक शब्दार्थ में, [0, 1] अंतराल पर इस प्रकार एक (n-ary) प्रस्तावक संयोजक 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 मे [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{-}}$ सत्य सूचक के संबंध में "सत्यतासूचक फलन" कहा जाता है। सभी के समुच्चय $*{\mbox{-}}$ को सत्यतासूचक टी-नॉर्म का तर्क कहा जाता है। क्योंकि ये सूत्र फ़ज़ी तर्क (टी-नॉर्म द्वारा निर्धारित) के नियमों का प्रतिनिधित्व करते हैं जो परमाणु सूत्र की सत्य डिग्री की अपेक्षा किए बिना (1 डिग्री तक) धारण करते हैं। बाएं-क्रमबद्धता टी-नॉर्म के एक बड़े वर्ग के संबंध में कुछ सूत्र पुनरावलोकन तर्क हैं। ऐसे सूत्रों के समुच्चय को वर्ग का तर्क कहा जाता है। उदाहरण के लिए ये महत्वपूर्ण टी-नॉर्म तर्क विशिष्ट टी-नॉर्म या टी-नॉर्म की कक्षाओं के तर्क हैं:

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

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

इतिहास

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

• लुकासेविच तर्क (लुकासेविच टी-नॉर्म का तर्क) को मूल रूप से लुकासेविच (1920) द्वारा तीन-बहुमान तर्क के रूप में परिभाषित किया गया था। इसे बाद में n मान (सभी परिमित n के लिए) के साथ-साथ अपरिमित रूप से कई-बहुमान फलन के दोनों प्रस्तावित और प्रथम अनुक्रम के लिए सामान्यीकृत किया गया था।
• माइकल डमेट तर्क (न्यूनतम टी-नॉर्म का तर्क) को गोडेल के 1932 के अंतर्ज्ञानवादी तर्क के अनंत-बहुमान होने के प्रमाण में निहित किया गया था। बाद में (1959) डमेट द्वारा स्पष्ट रूप से इसका अध्ययन किया गया था जिसने तर्क के लिए एक पूर्णता प्रमेय सिद्ध किया था।

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

तब से टी-नॉर्म फ़ज़ी तर्क की अधिकता प्रस्तुत की गई है और उनके मेटा गणित गुणों की जांच की गई है। एस्टेवा और गोडो (एमटीएल, आईएमटीएल, एसएमटीएल, एनएम, डब्ल्यूएनएम) एस्टेवा, गोडो मोंटागना (प्रस्तावात्मक ŁΠ) और सिंटुला द्वारा 2001 में कुछ सबसे महत्वपूर्ण टी-नॉर्म फ़ज़ी तर्क प्रस्तुत किए गए थे।

तार्किक भाषा

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

• निहितार्थ $\rightarrow$ (बाइनरी), टी-नॉर्म-आधारित फ़ज़ी तर्क के अतिरिक्त अन्य के संदर्भ में टी-नॉर्म-आधारित निहितार्थ को कभी-कभी अवशिष्ट निहितार्थ या R निहितार्थ कहा जाता है, क्योंकि इसका मानक शब्दार्थ टी-नॉर्म का अवशेष है, जो प्रबल संयोजन का अनुभव करता है।
• प्रबल संयोजन $\And$ (बाइनरी), अवसंरचनात्मक तर्क के संदर्भ में चिन्ह $\otimes$ और नाम समूह, निर्माण, गुणक या समानांतर संयोजन प्रायः प्रबल संयोजन के लिए उपयोग किए जाते हैं।
• दुर्बल संयोजन $\wedge$ (बाइनरी), जिसे अवशिष्ट संयोजन भी कहा जाता है क्योंकि इसको सदैव बीजगणितीय शब्दार्थ में सम्मिलित होने के अवशिष्ट संचालन द्वारा प्राप्त किया जाता है। अवसंरचनात्मक तर्क के संदर्भ में योगात्मक विस्तार या तुलनात्मक संयोजन के नाम कभी-कभी अवशिष्ट संयोजन के लिए उपयोग किए जाते हैं। तर्क बीएल और इसके विस्तार में (हालांकि सामान्य रूप से टी-नॉर्म तर्क में नहीं) निहितार्थ और प्रबल संयोजन के संदर्भ में दुर्बल संयोजन निश्चित होते है:
  $$A\wedge B\equiv A\mathbin {\And } (A\rightarrow B).$$
  दो संयुग्मन संयोजकों की उपस्थिति संकुचन-मुक्त अवसंरचनात्मक तर्क की एक सामान्य विशेषता है।
• निम्नतम $\bot$ , $0$ या ${\overline {0}}$ सामान्य वैकल्पिक संकेत हैं और $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 भी कहा जाता है। प्रायः इसको $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$-बीजगणितीय तर्क, जिसका उपयोग अवशिष्ट [0, 1] पर $L$ बीजगणितीय तर्क के लिए भी किया जाता है। इसके अतिरिक्त संयोजकों के साथ टी-मानक तर्कों में, हालांकि, अतिरिक्त संयोजकों की वास्तविक बहुमान व्याख्या को आगे की शर्तों द्वारा प्रतिबंधित किया जा सकता है ताकि टी-नॉर्म बीजगणित को मानक कहा जा सके। उदाहरण के लिए मानक $L_{\sim }$ में प्रत्यावर्तन के साथ तर्क $L_{\sim }$ के बीजगणितीय तर्क के अतिरिक्त समावेशी प्रतिवाद की व्याख्या $L_{\sim }$ को अन्य समावेशी के अतिरिक्त मानक प्रत्यावर्तन $f_{\sim }(x)=1-x,$ होना आवश्यक है, जो कि $\sim$ को $L_{\sim }$ बीजगणित पर व्याख्या करता है। सामान्यतः मानक टी-नॉर्म बीजगणित की परिभाषा को अतिरिक्त संयोजक के साथ टी-नॉर्म तर्क के लिए स्पष्ट रूप से दिया जा सकता है।

ग्रन्थसूची

• Esteva F. & Godo L., 2001, "Monoidal टी-नॉर्म based logic: Towards a logic of left-continuous टी-नॉर्मs". Fuzzy Sets and Systems 124: 271–288.
• Flaminio T. & Marchioni E., 2006, टी-नॉर्म based logics with an independent involutive negation. Fuzzy Sets and Systems 157: 3125–3144.
• Gottwald S. & Hájek P., 2005, Triangular norm based mathematical fuzzy logic. In E.P. Klement & R. Mesiar (eds.), Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms, pp. 275–300. Elsevier, Amsterdam 2005.
• Hájek P., 1998, Metamathematics of Fuzzy Logic. Dordrecht: Kluwer.ISBN 0-7923-5238-6.