Argument map
एक तर्क मानचित्र या तर्क आरेख एक तर्क की संरचना का एक दृश्य प्रतिनिधित्व है। एक तर्क मानचित्र में आम तौर पर तर्क के सभी प्रमुख घटक शामिल होते हैं, जिन्हें पारंपरिक रूप से निष्कर्ष और परिसर कहा जाता है, जिन्हें विवाद और कारण भी कहा जाता है। तर्क मानचित्र सह-परिसर, आपत्तियाँ, प्रतिवाद, खंडन और लेम्मा भी दिखा सकते हैं। तर्क मानचित्र की विभिन्न शैलियाँ हैं लेकिन वे अक्सर कार्यात्मक रूप से समतुल्य होते हैं और एक तर्क के व्यक्तिगत दावों और उनके बीच संबंधों का प्रतिनिधित्व करते हैं। तर्क मानचित्रों का उपयोग आमतौर पर शिक्षण और आलोचनात्मक सोच को लागू करने के संदर्भ में किया जाता है। मानचित्रण का उद्देश्य तर्कों की तार्किक संरचना को उजागर करना, अव्यक्त धारणाओं की पहचान करना, किसी निष्कर्ष के लिए एक तर्क द्वारा प्रदान किए जाने वाले समर्थन का मूल्यांकन करना और बहसों की समझ में सहायता करना है। तर्क मानचित्रों को अक्सर दुष्ट समस्याओं में मुद्दों, विचारों और तर्कों पर विचार-विमर्श का समर्थन करने के लिए डिज़ाइन किया जाता है। एक तर्क मानचित्र को एक अवधारणा मानचित्र या एक माइंड मैप के साथ भ्रमित नहीं किया जाना चाहिए, दो अन्य प्रकार के नोड-लिंक आरेख जिनमें नोड्स और लिंक पर अलग-अलग बाधाएं होती हैं। कई अलग-अलग प्रकार के तर्क मानचित्र प्रस्तावित किए गए हैं, लेकिन सबसे आम, जिसे क्रिस रीड और ग्लेन रो ने मानक आरेख कहा है, में एक वृक्ष संरचना होती है जिसके प्रत्येक कारण से निष्कर्ष निकलता है। इस बारे में कोई आम सहमति नहीं है कि क्या निष्कर्ष पेड़ के शीर्ष पर होना चाहिए और इसके पीछे के कारणों के साथ या क्या यह नीचे के कारणों के साथ होना चाहिए। एक अन्य भिन्नता रेखाचित्र बाएं से दाएं एक तर्क को दर्शाता है। डगलस एन. वाल्टन और उनके सहयोगियों के अनुसार, एक तर्क मानचित्र में दो बुनियादी घटक होते हैंः "एक घटक वृत्ताकार संख्याओं का एक समूह है जिसे अंकों के रूप में व्यवस्थित किया जाता है। प्रत्येक संख्या आरेखित किए जा रहे तर्क में एक प्रस्ताव (आधार या निष्कर्ष) का प्रतिनिधित्व करती है। दूसरा घटक बिंदुओं को जोड़ने वाली रेखाओं या तीरों का एक समूह है। प्रत्येक रेखा (तीर) एक अनुमान का प्रतिनिधित्व करती है। बिंदुओं और रेखाओं का पूरा नेटवर्क दिए गए तर्क में तर्क के एक प्रकार के अवलोकन का प्रतिनिधित्व करता है। "तर्क मानचित्र बनाने के लिए सॉफ्टवेयर की शुरुआत के साथ, तर्क मानचित्रों में उन प्रस्तावों को संदर्भित करने वाली संख्याओं के बजाय वास्तविक प्रस्तावों वाले बक्से शामिल होना आम बात हो गई है। तर्क मानचित्रों का वर्णन करते समय उपयोग की जाने वाली शब्दावली पर असहमति है, लेकिन मानक आरेख में निम्नलिखित संरचनाएं शामिल हैंः आश्रित परिसर या सह-परिसर, जहां कम से कम जुड़े परिसरों में से एक को निष्कर्ष का समर्थन करने से पहले एक और आधार की आवश्यकता होती हैः इस संरचना के साथ एक तर्क को एक जुड़ा हुआ तर्क कहा गया है। स्वतंत्र परिसर, जहाँ आधार अपने दम पर निष्कर्ष का समर्थन कर सकता हैः हालाँकि स्वतंत्र परिसर संयुक्त रूप से निष्कर्ष को अधिक विश्वसनीय बना सकते हैं, लेकिन इसे उन स्थितियों से अलग किया जाना चाहिए जहाँ एक आधार कोई समर्थन नहीं देता है जब तक कि इसे दूसरे आधार से नहीं जोड़ा जाता है। जहाँ कई परिसर या परिसरों के समूह अंतिम निष्कर्ष पर पहुँचते हैं, वहाँ तर्क को अभिसारी के रूप में वर्णित किया जा सकता है। यह एक अलग तर्क से अलग है जहां दो अलग-अलग निष्कर्षों का समर्थन करने के लिए एक ही आधार का उपयोग किया जा सकता है। मध्यवर्ती निष्कर्ष या उप-निष्कर्ष, जहां एक दावे का समर्थन किसी अन्य दावे द्वारा किया जाता है जिसका उपयोग कुछ और दावे का समर्थन करने के लिए किया जाता है, अर्थात। अंतिम निष्कर्ष या एक अन्य मध्यवर्ती निष्कर्षः निम्नलिखित आरेख में, कथन 4 एक मध्यवर्ती निष्कर्ष है कि यह कथन 5 के संबंध में एक निष्कर्ष है लेकिन अंतिम निष्कर्ष के संबंध में एक आधार है, अर्थात। कथन 1. इस संरचना के साथ एक तर्क को कभी-कभी जटिल तर्क कहा जाता है। यदि कम से कम एक मध्यवर्ती निष्कर्ष वाले दावों की एक श्रृंखला है, तो तर्क को कभी-कभी एक क्रमिक तर्क या एक श्रृंखला तर्क के रूप में वर्णित किया जाता है। इनमें से प्रत्येक संरचना को तर्क मानचित्रों के समतुल्य "बॉक्स और लाइन" दृष्टिकोण द्वारा दर्शाया जा सकता है। निम्नलिखित आरेख में, विवाद को शीर्ष पर दिखाया गया है, और इससे जुड़े बक्से सहायक कारणों का प्रतिनिधित्व करते हैं, जिसमें एक या अधिक परिसर शामिल हैं। हरा तीर इंगित करता है कि दो कारण विवाद का समर्थन करते हैंः तर्क मानचित्र भी प्रतिवाद का प्रतिनिधित्व कर सकते हैं। निम्नलिखित आरेख में, दो आपत्तियाँ विवाद को कमजोर करती हैं, जबकि कारण आपत्ति के आधार का समर्थन करते हैंः एक तर्क को एक तर्क के रूप में प्रस्तुत करना मानचित्र लिखित पाठ को आरेख बनाना एक लिखित पाठ को चरणों के अनुक्रम का पालन करके तर्क मानचित्र में बदला जा सकता है। मुनरो बियर्डस्ले की 1950 की पुस्तक प्रैक्टिकल लॉजिक ने निम्नलिखित प्रक्रिया की सिफारिश कीः कोष्ठक द्वारा बयानों को अलग करें और उन्हें संख्या दें। तार्किक संकेतकों के चारों ओर वृत्त बनाएँ। आपूर्ति, कोष्ठक में, किसी भी तार्किक संकेतक को छोड़ दिया जाता है। एक आरेख में बयानों को निर्धारित करें जिसमें तीर बयानों के बीच संबंधों को दर्शाते हैं। बियर्डस्ले ने एक पाठ का इस तरह से विश्लेषण किए जाने का पहला उदाहरण दियाः हालांकि 1 [जो लोग कला के "सामाजिक महत्व" के बारे में बात करते हैं वे इसे स्वीकार करना पसंद नहीं करते हैं], 2 [संगीत और चित्रकला को केवल प्रचार के साधनों में बदलने पर नुकसान उठाना पड़ता है]। 3 के लिए [प्रचार सबसे भद्दी और सबसे अश्लील भावनाओं को आकर्षित करता है]: (के लिए) 4 [आधिकारिक नाजी चित्रकारों द्वारा उत्पादित अकादमिक राक्षसों को देखें]। इससे भी महत्वपूर्ण बात यह है कि 5 [कलाकार के लिए कला अपने आप में एक अंत होना चाहिए], क्योंकि 6 [कलाकार पूर्ण स्वतंत्रता के वातावरण में ही सबसे अच्छा काम कर सकता है]। बियर्डस्ले ने कहा कि इस उदाहरण में निष्कर्ष कथन 2 है। कथन 4 को एक घोषणात्मक वाक्य के रूप में फिर से लिखने की आवश्यकता है, जैसे। "आधिकारिक नाजी चित्रकारों द्वारा अकादमिक राक्षसों का निर्माण किया गया था।" कथन 1 इंगित करता है कि निष्कर्ष सभी द्वारा स्वीकार नहीं किया जाता है, लेकिन कथन 1 को आरेख से हटा दिया जाता है क्योंकि यह निष्कर्ष का समर्थन नहीं करता है। बियर्डस्ले ने कहा कि कथन 3 और कथन 4 के बीच तार्किक संबंध स्पष्ट नहीं है, लेकिन उन्होंने कथन 4 को समर्थन कथन 3 के रूप में आरेखित करने का प्रस्ताव रखा। हाल ही में, दर्शनशास्त्र की प्रोफेसर माराली हैरेल ने निम्नलिखित प्रक्रिया की सिफारिश कीः लेखक द्वारा किए जा रहे सभी दावों की पहचान करें। गैर-आवश्यक शब्दों को हटाकर उन्हें स्वतंत्र बयानों के रूप में फिर से लिखें। पहचानें कि कौन से कथन आधार, उप-निष्कर्ष और मुख्य निष्कर्ष हैं। अनुपस्थित, निहित निष्कर्ष और निहित आधार प्रदान करें। (यह तर्क मानचित्र के उद्देश्य के आधार पर वैकल्पिक है।) बयानों को डिब्बों में रखें और जुड़े हुए किसी भी डिब्बे के बीच एक रेखा खींचें। तीरों के साथ आधार (ओं) से (उप) निष्कर्ष तक समर्थन इंगित करें। तर्क मानचित्र के रूप में चित्र बनाना न केवल मौजूदा लेखन का प्रतिनिधित्व और विश्लेषण करने के लिए उपयोगी है, बल्कि समस्या-संरचना प्रक्रिया या लेखन प्रक्रिया के हिस्से के रूप में मुद्दों के माध्यम से सोचने के लिए भी उपयोगी है। मुद्दों के माध्यम से सोचने के लिए इस तरह के तर्क विश्लेषण के उपयोग को "चिंतनशील तर्क" कहा गया है। एक तर्क मानचित्र, एक निर्णय वृक्ष के विपरीत, यह नहीं बताता है कि निर्णय कैसे लिया जाए, लेकिन एक तर्क मानचित्र की संरचना के आधार पर एक सुसंगत स्थिति (या प्रतिबिंबीत संतुलन) चुनने की प्रक्रिया को निर्णय वृक्ष के रूप में दर्शाया जा सकता है। 1826 में प्रकाशित और कई बाद के संस्करणों में जारी तर्क के तत्वों में, आर्कबिशप रिचर्ड व्हैटली ने शायद एक तर्क मानचित्र का पहला रूप दिया, इसे इस सुझाव के साथ पेश करते हुए कि "कई छात्र शायद इसे तर्क के पाठ्यक्रम के तार्किक विश्लेषण को प्रदर्शित करने, इसे एक वृक्ष, या तार्किक विभाजन के रूप में निकालने का एक बहुत ही स्पष्ट और सुविधाजनक तरीका पाएंगे।" हालाँकि, तकनीक का व्यापक रूप से उपयोग नहीं किया गया, संभवतः क्योंकि जटिल तर्कों के लिए, इसमें परिसर का बहुत अधिक लेखन और पुनर्लेखन शामिल था। कानूनी दार्शनिक और सिद्धांतकार जॉन हेनरी विगमोर ने 20वीं शताब्दी की शुरुआत में क्रमांकित परिसरों का उपयोग करके कानूनी तर्कों के मानचित्र तैयार किए, जो 19वीं शताब्दी के दार्शनिक हेनरी सिडगविक के विचारों पर आधारित थे, जिन्होंने शब्दों के बीच संबंधों को इंगित करने के लिए रेखाओं का उपयोग किया था। 20वीं शताब्दी में अँग्लोफोन तर्क रेखाचित्र अनौपचारिक तर्क की औपचारिक कमी की विफलता से निपटने के लिए, अंग्रेजी बोलने वाले तर्क सिद्धांत ने पचास वर्षों की अवधि में अनौपचारिक तर्क के लिए आरेखात्मक दृष्टिकोण विकसित किया। मोनरो बियर्डस्ले ने 1950 में तर्क आरेख का एक रूप प्रस्तावित किया। एक तर्क को चिह्नित करने और जुड़े हुए नंबरों के साथ इसके घटकों का प्रतिनिधित्व करने की उनकी विधि एक मानक बन गई और अभी भी व्यापक रूप से उपयोग की जाती है। उन्होंने ऐसी शब्दावली भी पेश की जो अभी भी वर्तमान में अभिसारी, भिन्न और क्रमिक तर्कों का वर्णन करती है। स्टीफन टॉल्मिन ने अपनी अभूतपूर्व और प्रभावशाली 1958 की पुस्तक द यूज़्स ऑफ आर्ग्यूमेंट में एक तर्क के कई तत्वों की पहचान की है जिन्हें सामान्यीकृत किया गया है। टॉल्मिन आरेख का व्यापक रूप से शैक्षिक आलोचनात्मक शिक्षण में उपयोग किया जाता है। जबकि टॉल्मिन का अंततः अनौपचारिक तर्क के विकास पर महत्वपूर्ण प्रभाव पड़ा, उनका प्रारंभिक प्रभाव बहुत कम था और बाद के विकास के साथ-साथ आरेख तर्कों के लिए बियर्डस्ले का दृष्टिकोण इस क्षेत्र में मानक दृष्टिकोण बन गया। टॉल्मिन ने कुछ ऐसा पेश किया जो बियर्डस्ले के दृष्टिकोण से गायब था। बियर्डस्ले में, तीर कारणों और निष्कर्षों को जोड़ते हैं (लेकिन) उनके बीच निहितार्थ के लिए कोई समर्थन नहीं दिया गया है। दूसरे शब्दों में, तार्किक कटौती से अलग अनुमान का कोई सिद्धांत नहीं है, मार्ग को हमेशा विवादास्पद नहीं माना जाता है और समर्थन और मूल्यांकन के अधीन नहीं है। टॉल्मिन ने वारंट की अवधारणा पेश की जिसे "निष्कर्ष के पीछे के कारणों का प्रतिनिधित्व करने के रूप में माना जा सकता है, समर्थन जो लिंक को अधिकृत करता है"। बियर्डस्ले के दृष्टिकोण को स्टीफन एन. थॉमस द्वारा परिष्कृत किया गया था, जिनकी 1973 की पुस्तक प्रैक्टिकल रीजनिंग इन नेचुरल लैंग्वेज ने तर्कों का वर्णन करने के लिए जुड़े शब्द की शुरुआत की, जहां परिसर ने निष्कर्ष का समर्थन करने के लिए आवश्यक रूप से एक साथ काम किया। हालाँकि, आश्रित और स्वतंत्र परिसरों के बीच वास्तविक अंतर इससे पहले किया गया था। जुड़ी हुई संरचना की शुरुआत ने तर्क मानचित्रों के लिए लापता या "छिपे हुए" परिसर का प्रतिनिधित्व करना संभव बना दिया। इसके अलावा, थॉमस ने बिंदीदार तीरों द्वारा प्रतिनिधित्व किए जाने के खिलाफ कारणों के साथ एक निष्कर्ष के पक्ष और विपक्ष दोनों कारणों को दिखाने का सुझाव दिया। थॉमस ने तर्क आरेख शब्द पेश किया और बुनियादी कारणों को उन कारणों के रूप में परिभाषित किया जो तर्क में किसी अन्य द्वारा समर्थित नहीं थे और अंतिम निष्कर्ष का उपयोग किसी भी आगे के निष्कर्ष का समर्थन करने के लिए नहीं किया गया था। माइकल स्क्राइवन ने अपनी 1976 की पुस्तक रीजनिंग में बियर्डस्ले-थॉमस दृष्टिकोण को और विकसित किया। जबकि बियर्डस्ले ने कहा था कि "सबसे पहले, statements.after को थोड़ा सा अभ्यास लिखें, केवल संख्या द्वारा बयानों को देखें" स्क्राइवन ने बयानों के अर्थ को स्पष्ट करने, उन्हें सूचीबद्ध करने और फिर संरचना को प्रदर्शित करने के लिए संख्याओं के साथ एक वृक्ष आरेख का उपयोग करने की वकालत की। अनुपस्थित परिसरों (अव्यक्त धारणाओं) को शामिल किया जाना था और स्पष्ट बयानों से उन्हें चिह्नित करने के लिए एक संख्या के बजाय एक वर्णानुक्रम अक्षर के साथ इंगित किया जाना था। स्क्राइवन ने अपने आरेखों में प्रतिवाद प्रस्तुत किए, जिन्हें टॉल्मिन ने खंडन के रूप में परिभाषित किया था। इसने "विचार संतुलन" तर्कों के आरेख को भी सक्षम किया। 1998 में रॉबर्ट ई. हॉर्न द्वारा जारी बड़े पैमाने पर तर्क मानचित्रों की एक श्रृंखला ने तर्क मानचित्रण में व्यापक रुचि को प्रोत्साहित किया। कंप्यूटर-समर्थित तर्क दृश्य का विकास मानव-कंप्यूटर अंतःक्रिया के अग्रणी डगलस एंगेलबार्ट ने बुद्धिमत्ता वृद्धि पर एक प्रसिद्ध 1962 की तकनीकी रिपोर्ट में, भविष्य के बुद्धिमत्ता-वृद्धि कंप्यूटर इंटरफेस के एक अभिन्न अंग के रूप में तर्क-मानचित्रण सॉफ्टवेयर जैसे कुछ की विस्तार से कल्पना कीः 1980 के दशक के मध्य से अंत तक, हाइपरटेक्स्ट सॉफ्टवेयर अनुप्रयोग जो तर्क दृश्य का समर्थन करते थे, विकसित किए गए थे, जिसमें नोटकार्ड और जीआईबीआईएस शामिल थे; बाद वाले ने एक मुद्दे-आधारित सूचना प्रणाली का एक ऑन-स्क्रीन ग्राफिकल हाइपरटेक्स्टुअल मानचित्र उत्पन्न किया, जो 1970 के दशक में वर्नर कुंज और होर्स्ट रिटेल द्वारा विकसित तर्क का एक मॉडल था। 1990 के दशक में, टिम वैन गेल्डर और उनके सहयोगियों ने सॉफ्टवेयर अनुप्रयोगों की एक श्रृंखला विकसित की जिसने एक तर्क मानचित्र के परिसर को एक किंवदंती के बजाय आरेख में पूरी तरह से बताए जाने और संपादित करने की अनुमति दी। वान गेल्डर के पहले कार्यक्रम, रीज़न! एबल, को दो बाद के कार्यक्रमों, bCisive और Rationale द्वारा प्रतिस्थापित किया गया था। 1990 और 2000 के दशक के दौरान, तर्क दृश्य के लिए कई अन्य सॉफ्टवेयर अनुप्रयोग विकसित किए गए थे। 2013 तक, ऐसी 60 से अधिक सॉफ्टवेयर प्रणालियाँ मौजूद थीं। कंप्यूटर समर्थित तर्क के 2010 के एक सर्वेक्षण में, ओलिवर श्योर और उनके सहयोगियों ने नोट किया कि इन सॉफ्टवेयर प्रणालियों के बीच एक अंतर यह है कि क्या सहयोग समर्थित है। उनके सर्वेक्षण में, एकल-उपयोगकर्ता तर्क प्रणालियों में कन्विन्स मी, इलोगोस, एलएआरजीओ, एथेना, अरौकेरिया और कार्नेड्स शामिल थे; छोटे समूह तर्क प्रणालियों में डिगालो, क्वेस्टमैप, संग्रह, बेल्वेडेर और अकादमिक टॉक शामिल थे; सामुदायिक तर्क प्रणालियों में वाद-विवाद और सहयोग शामिल थे। मुक्त और मुक्त स्रोत संरचित तर्क प्रणालियों में आर्गडाउन और आर्ग्यूमैन शामिल हैं। 2020 तक, वाणिज्यिक वेबसाइट कियालो सबसे व्यापक रूप से अपनाई गई तर्क-आधारित विचार-विमर्श प्रणाली है। अनुप्रयोग तर्क मानचित्रों को कई क्षेत्रों में लागू किया गया है, लेकिन डिजाइन तर्क सहित शैक्षिक, शैक्षणिक और व्यावसायिक सेटिंग्स में सबसे महत्वपूर्ण है। तर्क मानचित्र का उपयोग फोरेंसिक विज्ञान, कानून और कृत्रिम बुद्धिमत्ता में भी किया जाता है। यह भी प्रस्तावित किया गया है कि ई-लोकतंत्र के चल रहे विकास के संदर्भ में, तर्क मानचित्रण में लोकतंत्र को समझने और निष्पादित करने के तरीके में सुधार करने की एक बड़ी क्षमता है। दार्शनिक परंपरा के साथ कठिनाइयाँ पारंपरिक रूप से शिक्षण तर्क और विधि की दार्शनिक परंपरा से आलोचनात्मक सोच को अलग करना कठिन रहा है, और अधिकांश आलोचनात्मक सोच की पाठ्यपुस्तकें दार्शनिकों द्वारा लिखी गई हैं। अनौपचारिक तर्क की पाठ्यपुस्तकें दार्शनिक उदाहरणों से भरी हुई हैं, लेकिन यह स्पष्ट नहीं है कि ऐसी पाठ्यपुस्तकों में दृष्टिकोण गैर-दार्शनिक छात्रों में स्थानांतरित होता है या नहीं। इस तरह के वर्गों के बाद बहुत कम सांख्यिकीय प्रभाव दिखाई देता है। हालाँकि, कई अध्ययनों के अनुसार तर्क मानचित्रण का एक मापने योग्य प्रभाव है। उदाहरण के लिए, तर्क मानचित्रण में निर्देश को व्यावसायिक छात्रों के आलोचनात्मक सोच कौशल में सुधार करने के लिए दिखाया गया है। इस बात का प्रमाण है कि तर्क मानचित्रण से आलोचनात्मक सोच क्षमता में सुधार होता है, इस बात के अनुभवजन्य प्रमाण हैं कि तर्क-मानचित्रण-आधारित आलोचनात्मक सोच पाठ्यक्रमों में विकसित कौशल तर्क मानचित्रों के बिना की गई आलोचनात्मक सोच में काफी हद तक स्थानांतरित हो जाते हैं। अल्वारेज़ के मेटा-विश्लेषण में पाया गया कि इस तरह के आलोचनात्मक सोच वाले पाठ्यक्रमों ने लगभग 0.7 एस. डी. का लाभ दिया, जो मानक आलोचनात्मक-सोच वाले पाठ्यक्रमों से लगभग दोगुना है। समीक्षित अध्ययनों में उपयोग किए जाने वाले परीक्षण मानक आलोचनात्मक सोच वाले परीक्षण थे। सीमाएँ जब स्कूल में छात्रों के साथ उपयोग किया जाता है, तो तर्क मानचित्रों की सीमाएँ होती हैं। वे "अंत में अत्यधिक जटिल दिख सकते हैं" और संज्ञानात्मक भार को पाठ्यक्रम की सामग्री सीखने के लिए इष्टतम से अधिक बढ़ा सकते हैं। मानचित्र बनाने के लिए एक अनुभवी तर्क निर्माता से व्यापक प्रशिक्षण और प्रतिक्रिया की आवश्यकता होती है। सीखने के उद्देश्यों के आधार पर, अच्छे नक्शे बनाने के लिए छात्रों को प्रशिक्षित करने में बिताया गया समय आरेख में सीखने के बजाय पाठ्यक्रम की सामग्री सीखने में बेहतर हो सकता है। जब लक्ष्य छात्रों को अन्य दृष्टिकोणों और प्रतिवादों पर विचार करने के लिए प्रेरित करना होता है, तो लक्ष्य को अन्य तरीकों जैसे चर्चा, रूब्रिक्स और एक सरल तर्क ढांचे या सरल ग्राफिक आयोजक जैसे वी आरेख के साथ अधिक आसानी से पूरा किया जा सकता है। तर्क मानचित्रण की ताकत को अधिकतम करने और कक्षा में इसकी सीमाओं को कम करने के लिए इस बात पर विचार करने की आवश्यकता है कि सीखने की प्रगति के किस बिंदु पर तर्क मानचित्रण के संभावित लाभ इसके संभावित नुकसान से अधिक होंगे। मानक तर्क आदान-प्रदान प्रारूप तर्क आदान-प्रदान प्रारूप, ए. आई. एफ., शब्दार्थ की दृष्टि से समृद्ध भाषा का उपयोग करके अनुसंधान समूहों, उपकरणों और क्षेत्रों के बीच तर्क संसाधनों के आदान-प्रदान के लिए एक प्रतिनिधित्व तंत्र विकसित करने का एक अंतर्राष्ट्रीय प्रयास है। ए. आई. एफ.-आर. डी. एफ. संसाधन विवरण फ्रेमवर्क योजना (आर. डी. एफ. एस.) शब्दार्थिक भाषा में प्रदर्शित विस्तारित ऑन्टोलॉजी है। हालांकि ए. आई. एफ. अभी भी एक गतिशील लक्ष्य है, लेकिन यह स्थिर हो रहा है। कानूनी ज्ञान आदान-प्रदान प्रारूप कानूनी ज्ञान आदान-प्रदान प्रारूप (एलकेआईएफ) को यूरोपीय एस्ट्रेला परियोजना में विकसित किया गया था और कानूनी क्षेत्र में नीति, कानून और मामलों के प्रतिनिधित्व और आदान-प्रदान के लिए एक मानक बनने के लक्ष्य के साथ तैयार किया गया था, जिसमें उनके न्यायोचित तर्क भी शामिल हैं। एल. के. आई. एफ. अवधारणाओं का प्रतिनिधित्व करने के लिए वेब ऑन्टोलॉजी लैंग्वेज (ओ. डब्ल्यू. एल.) का निर्माण और उपयोग करता है और इसमें कानूनी अवधारणाओं की पुनः प्रयोज्य बुनियादी ऑन्टोलॉजी शामिल है। आर्गडाउन आर्गडाउन जटिल तर्क के लिए एक मार्कडाउन-प्रेरित हल्की मार्कअप भाषा है। इसका उद्देश्य सार्वभौमिक रूप से सुलभ और अत्यधिक मानव-पठनीय तरीके से तर्कों और तर्क पुनर्निर्माणों का आदान-प्रदान करना है। आर्गडाउन वाक्यविन्यास के साथ ऐसे उपकरण हैं जो कोडिंग की सुविधा प्रदान करते हैं और आर्गडाउन दस्तावेज़ों को तर्क मानचित्रों में परिवर्तित करते हैं। आर्ग्यूमेंट टेक्नोलॉजी आर्ग्यूमेंटेशन फ्रेमवर्क आर्ग्यूमेंटेशन स्कीम बायेसियन नेटवर्क कोलैबोरेटिव डिसिशन-मेकिंग सॉफ्टवेयर डायलॉग मैपिंग फ्लो (पॉलिसी डिबेट) अनौपचारिक भ्रांति तर्क और तर्क का डायलेक्टिक लॉजिक प्राकृतिक कटौती तर्क मानचित्र जैसे संकेतन के साथ एक तार्किक प्रणाली व्यावहारिक तर्क बयानबाजी संरचना सिद्धांत शब्दार्थ झांकी विकिडेबेट नोट्स संदर्भ एक छोटा संस्करण थिंकिंग स्ट्रेट के रूप में प्रकाशित किया गया था; सबसे हालिया संस्करण हैः दर्शनशास्त्र में तर्क मानचित्रण में रुचि रखने वाले शिक्षकों और छात्रों के लिए आगे पढ़ने के लिए मुफ्त ऑनलाइन संसाधन। मानचित्र आरेख ज्ञान प्रतिनिधित्व तर्क दार्शनिक सादृश्य समस्या संरचना विधियाँ