गैर-मोनोटोनिक तर्क

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

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

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

ज्ञान के बारे में तर्क
यदि किसी तर्क में सूत्र सम्मलित हैं जिसका अर्थ है कि कुछ ज्ञात नहीं है, तो यह तर्क मोनोटोनिक नहीं होना चाहिए। निश्चित ही, कुछ ऐसा सीखना जो पहले ज्ञात नहीं था, यह निर्दिष्ट करने वाले सूत्र को हटाने की ओर ले जाता है कि ज्ञान का यह टुकड़ा ज्ञात नहीं है। यह दूसरा परिवर्तन (जोड़ के कारण निष्कासन) एकरसता की स्थिति का उल्लंघन करता है। ज्ञान के बारे में तर्क करने के लिए एक तर्क स्व-महामारी तर्क है।

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

यह भी देखें

 * तर्क प्रोग्रामिंग
 * असफलता के रूप में नकारात्मकता
 * स्थिर मॉडल शब्दार्थ
 * तर्कसंगत परिणाम संबंध