Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation

तकनीकी सारांश: संदर्भ-निर्भर तर्क ढांचा (Context-Dependent Argumentation Frameworks) और रणनीतिक सक्रियण

समस्या की परिभाषा
यह शोध पत्र विभिन्न बाहरी व्यवस्थाओं (external regimes) के तहत तर्कों के मूल्यांकन के संबंध में मानक औपचारिक तर्क सिद्धांत (formal argumentation theory) में एक अंतराल को संबोधित करता है। वास्तविक दुनिया के परिदृश्यों में, जैसे कि आर्किटेक्चरल समीक्षाओं में, तर्कों का एक ही सेट और उनके संघर्ष स्थिर रहते हैं, लेकिन उनके मूल्यांकन के माध्यम से (lens) बदलने पर वे बदल जाते हैं (जैसे, प्रदर्शन बनाम विश्वसनीयता बनाम लागत)। मानक डंग फ्रेमवर्क (Dung frameworks, 1995) में इस 'रेजीम चयन' (regime selection) को मॉडल करने के लिए तंत्र का अभाव है। वैल्यू-बेस्ड आर्गुमेंटेशन फ्रेमवर्क्स (VAFs) (बेंच-कैपोन 2003) दर्शकों की प्राथमिकताओं के माध्यम से विभिन्न पराजय पैटर्न (defeat patterns) की अनुमति देते हैं, लेकिन वे सीमित हैं: एक दर्शक केवल मूल्यों को पुन: रैंक कर सकता है, उन्हें पूरी तरह से निष्क्रिय नहीं कर सकता। फलस्वरूप, VAFs उस परिदृश्य को कैप्चर करने में असमर्थ हैं जहाँ एक एजेंट मूल्यांकन प्रक्रिया से विशिष्ट दृष्टिकोणों को बाहर करने के लिए रणनीतिक रूप से चुनाव करता है।

कार्यप्रणाली: संदर्भ-निर्भर तर्क ढाँचे (CDAFs)
लेखक डंग के सिद्धांत के विस्तार के रूप में कॉन्टेक्स्ट-डिपेंडेंट आर्गुमेंटेशन फ्रेमवर्क्स (CDAFs) पेश करते हैं। एक CDAF को टुपल $\langle A, R, C, \delta \rangle$ के रूप में परिभाषित किया गया है, जहाँ:

• $A$ तर्कों का एक परिमित सेट है।
• $R \subseteq A \times A$ हमला संबंध (attack relation) है।
• $C$ संदर्भों (contexts) का एक परिमित सेट है।
• $\delta: C \times R \to \{0, 1\}$ एक पराजय फलन (defeat function) है जो यह निर्धारित करता है कि प्रत्येक संदर्भ के लिए कौन से हमले सफल होते हैं।

शोध पत्र एक विशेष परिप्रेक्ष्य-लेबल वाले CDAF (Perspective-labeled CDAF) पर ध्यान केंद्रित करता है, जहाँ पराजय फलन दिया हुआ होने के बजाय व्युत्पन्न (derived) होता है। तर्कों को स्रोत परिप्रेक्ष्य ($src: A \to \Pi$) दिए जाते हैं। एक संदर्भ को निम्नलिखित द्वारा परिभाषित किया जाता है:

1. प्रासंगिकता सेट ($\rho$): सक्रिय परिप्रेक्ष्यों का एक उपसमुच्चय ($\rho \subseteq \Pi$)। यह एजेंट के 'एक्शन स्पेस' या 'लेंस' का प्रतिनिधित्व करता है।
2. प्राथमिकता फलन ($\pi$): संदर्भ के भीतर परिप्रेक्ष्यों की एक रैंकिंग।

एक हमला $(a, b)$ एक संदर्भ में तभी सफल होता है जब हमला करने वाले का परिप्रेक्ष्य सक्रिय हो ($src(a) \in \rho$) और हमला करने वाले की प्राथमिकता डिफेंडर की प्राथमिकता के बराबर या उससे अधिक हो ($\pi(src(a)) \geq \pi(src(b))$)। महत्वपूर्ण रूप से, यह एक विषमता (asymmetry) पैदा करता है: एक परिप्रेक्ष्य को निष्क्रिय करने से उस परिप्रेक्ष्य से किए गए सभी हमलों को चुप करा दिया जाता है, लेकिन वे तर्क अभी भी ढांचे में मौजूद रहते हैं और स्वीकार या बचाव किए जा सकते हैं यदि उन पर सक्रिय परिप्रेक्ष्यों द्वारा हमला नहीं किया जाता है।

मुख्य योगदान और परिणाम

1. रणनीतिक सक्रियण (Strategic Activation): शोध पत्र प्रदर्शित करता है कि प्रासंगिकता सेट $\rho$ (परिप्रेक्ष्यों को सक्रिय/निष्क्रिय करना) को बदलकर ऐसे स्वीकृति परिणाम प्राप्त किए जा सकते हैं जो VAFs में असंभव हैं।

   • उदाहरण: लेखक तर्कों $\{a, b, t, d\}$ और परिप्रेक्ष्यों $\{\alpha, \beta, \gamma\}$ के साथ एक परिदृश्य का निर्माण करते हैं। लक्षित तर्क $t$ संरचनात्मक रूप से फंसा हुआ है: पूर्ण प्रासंगिकता (सभी परिप्रेक्ष्य सक्रिय) के तहत, $t$ को खारिज कर दिया जाता है क्योंकि इसका डिफेंडर $b$ भी $t$ पर हमला करता है। हालांकि, परिप्रेक्ष्य $\alpha$ को निष्क्रिय करके (सेट $\rho = \{\beta, \gamma\}$), "फ्रेंडली फायर" हमला $(a, t)$ शांत हो जाता है। यह $t$ को एक पसंदीदा विस्तार (preferred extension) के माध्यम से स्वीकृत होने की अनुमति देता है, जो पूर्ण-प्रासंगिकता सेटिंग में किसी भी इंजेक्टिव प्राथमिकता के तहत प्राप्त न होने वाला परिणाम है।
   • VAF सीमा: शोध पत्र सिद्ध करता है कि आंशिक सक्रियण (जैसे, $\rho = \{\gamma\}$, जहाँ $a$ और $b$ के बीच आपसी हमले दोनों विफल हो जाते हैं) द्वारा प्रेरित पराजय पैटर्न को किसी भी VAF दर्शक द्वारा साकार नहीं किया जा सकता है, क्योंकि VAF दर्शकों को मूल्यों पर एक सख्त कुल क्रम (strict total order) की आवश्यकता होती है, जिससे यह सुनिश्चित होता है कि आपसी हमले की कम से कम एक दिशा सफल होती है।

2. निर्णय समस्या: ACTIVATION-MANIPULATION: लेखक रणनीतिक प्रश्न को एक निर्णय समस्या के रूप में औपचारिक रूप देते हैं: दिए गए एक फ्रेमवर्क, एक निश्चित प्राथमिकता और एक लक्षित तर्क $t$ के लिए, क्या $\rho \subseteq \Pi$ का एक गैर-रिक्त उपसमुच्चय मौजूद है ताकि $t$ को क्रूडुलस $\sigma$-स्वीकृत (credulously $\sigma$-accepted) किया जा सके?

   • जटिलता सीमाएँ (Complexity Bounds):
     • Grounded ($gr$), Stable ($stb$), और Preferred ($pref$) सिमेंटिक्स के लिए, यह समस्या NP में दिखाई गई है। लेखक नोट करते हैं कि जबकि एक पसंदीदा विस्तार को सत्यापित करना आमतौर पर co-NP होता है, क्रूडुलस प्रिफर्ड-एक्सेप्टेंस, क्रूडुलस एडमिसिबिलिटी (admissibility) के साथ मेल खाता है, जिससे समस्या को $\rho$ और एक एडमिसिबल सेट का अनुमान लगाने के लिए एक एकल NP गणना में हल किया जा सकता है।
     • Stable और Preferred सिमेंटिक्स के लिए, समस्या मानक डंग फ्रेमवर्क स्वीकृति से रिडक्शन के माध्यम से NP-hard (और इस प्रकार NP-complete) है।
     • Grounded सिमेंटिक्स के लिए, समस्या P में है, हालांकि यह खुला प्रश्न है कि क्या $\rho$ चुनने की स्वतंत्रता ग्राउंडेड वेरिएंट को NP-completeness तक ले जाती है।
   • प्रतिबंध: यह आवश्यकता कि $\rho$ गैर-रिक्त होना चाहिए, आवश्यक है; एक खाली $\rho$ सभी हमलों को निष्क्रिय कर देगा, जिससे सभी तर्क स्वतः ही स्वीकृत हो जाएंगे।

महत्व और दायरा
शोध पत्र मुख्य रूप से एक नया औपचारिक ढांचा परिभाषित करके अपना महत्व दावा करता है जो एक विशिष्ट रणनीतिक लीवर को कैप्चर करता है: सक्रिय परिप्रेक्ष्यों के माध्यम से एजेंट द्वारा नियंत्रित किए जाने वाले शासन (regimes) को चुनने की क्षमता, जो केवल उन्हें पुन: रैंक करने से भिन्न है। यह उन परिदृश्यों को मॉडल करता है जहाँ एक एजेंट बहस के आंतरिक तर्क के बजाय बहस के 'फोरम' या 'ट्रैक' को नियंत्रित करता है।

लेखक एक मध्यम दाये (modest scope) बनाए रखते हैं, स्पष्ट रूप से कहते हुए कि इस ढांचे का पूर्ण अध्ययन इस शोध पत्र के फोकस से परे है। वे कई खुले दिशाओं की पहचान करते हैं:

• सटीक जटिलता सीमाओं का निर्धारण करना, विशेष रूप से ग्राउंडेड वेरिएंट के लिए।
• ऐसे मैकेनिज्म डिज़ाइन की खोज करना जहाँ $\rho$ चयन लागत या अनिवार्य समावेश द्वारा बाधित हो।
• मल्टी-एजेंट वेरिएंट की जांच करना जहाँ एजेंट सहकारी या प्रतिकूल गतिशीलता के माध्यम से $\rho$ को संयुक्त रूप से निर्धारित करते हैं।
• लागू सेटिंग्स में इस घटना की जांच करना, जैसे कि मल्टी-परिप्रेक्ष्य एजेंट मेमोरी सिस्टम।

यह कार्य 'कंट्रोल आर्गुमेंटेशन' (जो संरचना को बदलता है) और 'मैनिपुलेशन इन इनकम्प्लीट आर्गुमेंटेशन' (जो संरचना को बदलता है) से खुद को अलग करता है, और CDAFs को एक ऐसे मॉडल के रूप में स्थापित करता है जहाँ संरचना स्थिर है, लेकिन पराजय फलन एजेंट के सक्रिय परिप्रेक्ष्यों के चुनाव द्वारा गतिशील रूप से मॉड्युलेट किया जाता है।