Interval Orders, Biorders and Credibility-limited Belief Revision

यहाँ रिचर्ड बूथ और इवान वरज़िंज़ाक के शोध पत्र "Interval Orders, Biorders and Credibility-limited Belief Revision" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र मानक AGM (Alchourrón, Gärdenfors, and Makinson) विश्वास संशोधन (belief revision) ढांचे की सीमाओं को संबोधित करता है। AGM दृष्टिकोण संभावित दुनियाओं (possible worlds) पर पूर्ण पूर्वक्रमों (total preorders) पर निर्भर करता है ताकि एक एजेंट के विश्वासों को मॉडल किया जा सके। यह ढांचा दो मुख्य अभिधारणाओं (postulates) को लागू करता है:

• सफलता (Success): नई जानकारी को हमेशा स्वीकार किया जाता है।
• संगति (Consistency): परिणामी विश्वास सेट हमेशा सुसंगत होता है (बशर्ते कि इनपुट सुसंगत हो)।

लेखकों का तर्क है कि ये अभिधारणाएँ वास्तविक एजेंटों के लिए बहुत आदर्शवादी हैं। वास्तविक एजेंट ऐसी जानकारी का सामना कर सकते हैं जो अस्थिर करने वाली (destabilizing) (वर्तमान विश्वासों के पतन का कारण बनती है) या अविश्वसनीय (incredible) (प्रारंभिक रूप से अस्वीकार की जाती है लेकिन आगे के संदर्भ के साथ संभावित रूप से स्वीकार की जा सकती है) हो। यह शोध पत्र अधिक सामान्य क्रम संरचनाओं (ordering structures) पर आधारित विश्वास संशोधन ऑपरेटरों का पता लगाने का प्रयास करता है जो निम्नलिखित की अनुमति देते हैं:

1. अस्थिरता/विसंगति (Instability/Dissonance): ऐसी स्थितियाँ जहाँ नई जानकारी को स्वीकार करने से इष्टतम मॉडलों का खाली सेट (असंगति) प्राप्त होता है।
2. गैर-प्राथमिकता प्राप्त संशोधन (Non-Prioritised Revision): ऐसी स्थितियाँ जहाँ एक एजेंट सुसंगति बनाए रखने के लिए नई जानकारी को अस्वीकार कर देता है, या जहाँ "सफलता" की अभिधारणा को हटा दिया जाता है।

2. कार्यप्रणाली (Methodology)

लेखक विश्वास संशोधन की अंतर्निहित अर्थ संबंधी संरचना (semantic structure) को पूर्ण पूर्वक्रमों से व्यापक श्रेणियों में सामान्यीकृत करते हैं जिनका अध्ययन तर्कसंगत विकल्प सिद्धांत (rational choice theory) में किया जाता है: इंटरवल ऑर्डर्स (Interval Orders) और बायोडर्स (Biorders)।

A. इंटरवल ऑर्डर्स (IOB)

• परिभाषा: एक बाइनरी संबंध जो रिफ्लेक्सिविटी (reflexivity) और फेरर्स स्थिति (Ferrers condition) को संतुष्ट करता है।
• अर्थ विज्ञान (Semantics): इसे एक इंटरवल-आधारित व्याख्या $\mathcal{I} = \langle L, U \rangle$ द्वारा दर्शाया जाता है, जहाँ प्रत्येक दुनिया $v$ को गैर-ऋणात्मक पूर्णांकों के एक अंतराल $[L(v), U(v)]$ को सौंपा जाता है।
• संशोधन नियम: एक दुनिया $v$ को $u$ से बेहतर माना जाता है यदि $L(v) \leq U(u)$ हो।
• व्यवहार: ये ऑपरेटर सफलता (Success) की अभिधारणा को संतुष्ट करते लेकिन सामान्य रूप से रिक्तता (Vacuity) और उप-विस्तार (Subexpansion) (मानक AGM अभिधारणाओं) को विफल करते हैं। वे संगति (Consistency) बनाए रखते हैं।

B. बायोडर्स (BOB)

• परिभाषा: इंटरवल ऑर्डर्स का एक सामान्यीकरण जो फेरर्स स्थिति को संतुष्ट करता है लेकिन रिफ्लेक्सिविटी की आवश्यकता नहीं रखता।
• अर्थ विज्ञान: इसे एक बायऑर्डर-आधारित व्याख्या $\mathcal{B} = \langle L, U \rangle$ द्वारा दर्शाया जाता है। महत्वपूर्ण रूप से, अंतराल की लंबाई $U(v) - L(v)$ ऋणात्मक हो सकती है।
  • एक ऋणात्मक अंतराल ($U(v) < L(v)$) एक विसंगत मूल्यांकन (dissonant valuation) को दर्शाता है, जो "असंभवता" या अस्थिरता के एक रूप का प्रतिनिधित्व करता है।
• संशोधन नियम: $v \preceq_{bi} u$ यदि और केवल यदि $L(v) \leq U(u)$।
• व्यवहार: ये ऑपरेटर सफलता (Success) को संतुष्ट करते हैं लेकिन संगति (Consistency) का उल्लंघन करते हैं। यदि नया इनपुट $\alpha$ "अस्थिर करने वाला" (destabilizing) है (अर्थात, $\alpha$ के इष्टतम मॉडलों का सेट खाली है क्योंकि $\alpha$ के सभी मॉडल विसंगत हैं), तो संशोधन एक असंगत (खाली) विश्वास सेट प्रदान करता है।

C. उपवर्ग और अनुक्रमिकता (Subclasses and Transitivity)

लेखक विसंगत तत्वों को शामिल करने वाले मजबूत संरचनात्मक गुणों को लागू करने के लिए बायोडर्स के दो उपवर्गों को परिभाषित करते हैं:

1. ZTBOB (z-transitive): विसंगत तत्वों से संबंधित एक कमजोरित ट्रांसिटिविटी (transitivity) को संतुष्ट करता है। यह सुसंगत सतर्क एकलता (Consistent Cautious Monotony) सुनिश्चित करता है।
2. TBOB (Transitive): पूर्ण ट्रांसिटिविटी को संतुष्ट करता है। यह उप-विस्तार (Subexpansion) अभिधारणा (एक प्रमुख AGM पूरक अभिधारणा) को पुनः प्राप्त करता है, लेकिन फिर भी असंगति की अनुमति देता है।

D. गैर-प्राथमिकता प्राप्त संशोधन (Non-Prioritised Revision - NPR)

बायऑर्डर-आधारित संशोधन में असंगति के मुद्दे को हल करने के लिए, लेखक गैर-प्राथमिकता प्राप्त संशोधन ऑपरेटर ($\circ$) को परिभाषित करते हैं।

• तंत्र: यदि एक बायऑर्डर-आधारित संशोधन ($\bullet$) $\alpha$ का परिणाम एक असंगत सेट होता है, तो NPR ऑपरेटर इनपुट को अस्वीकार कर देता है और मूल विश्वास सेट $KB$ को वापस कर देता है।
• विश्वसनीयता (Credibility): एक इनपुट $\alpha$ को विश्वसनीय (credible) माना जाता है यदि $KB \bullet \alpha$ सुसंगत है; अन्यथा, यह अविश्वसनीय (incredible) है।
• विश्वसनीयता-सीमित संशोधन (CLR) से जुड़ाव: लेखक इन NPR ऑपरेटरों को हंसन आदि के 'क्रेडिबिलिटी-लिमिटेड रिवीजन' ढांचे से जोड़ते हैं, लेकिन एक महत्वपूर्ण संशोधन के साथ: वे सिंगल-सेंटेंस क्लोजर (Single-Sentence Closure) गुण को अस्वीकार करते हैं।
  • मानक CLR: यदि $\alpha$ विश्वसनीय है, तो उसका कोई भी तार्किक परिणाम विश्वसनीय है।
  • प्रस्तावित CLR: एक एजेंट $\alpha$ को शुरू में अस्वीकार कर सकता है लेकिन $\alpha \land \beta$ को स्वीकार कर सकता है यदि $\beta$ आवश्यक संदर्भ प्रदान करता है (उदाहरण के लिए, "किंग चार्ल्स ने एक स्कूल का दौरा किया" यह "भतीजे ने किंग चार्ल्स के साथ दोपहर का भोजन किया" को विश्वसनीय बनाता है)।

3. मुख्य योगदान (Key Contributions)

1. संशोधन अर्थ विज्ञान का विस्तार (Extension of Revision Semantics):

   • इंटरवल ऑर्डर-आधारित (IOB) संशोधन पेश किया, जो रोट (2014) द्वारा कॉन्ट्रैक्शन (contraction) के लिए शुरू की गई तस्वीर को पूरा करता है।
   • बायऑर्डर-आधारित (BOB) संशोधन पेश किया, जो "विसंगति" (dissonance) और अस्थिरता को मॉडल करने के लिए ऋणात्मक अंतराल लंबाई का उपयोग करता है, जो विश्वास संशोधन में पहले अनछुआ था।

2. अभिधारणात्मक लक्षण वर्णन (Axiomatic Characterizations):

   • IOB, ZTBOB, और TBOB ऑपरेटरों के लिए प्रतिनिधित्व प्रमेय (representation theorems) प्रदान किए।
   • यह पहचाना कि TBOB ऑपरेटर सभी AGM अभिधारणाओं को संतुष्ट करते हैं सिवाय संगति के, साथ ही विवादास्पद तर्कसंगतता (Disjunctive Rationality) को भी।
   • परिणामी NPR ऑपरेटरों (BOB-NPR, ZTBOB-NPR, TBOB-NPR) को सापेक्ष सफलता (Success or no change) और संशोधित विवादास्पद तर्कसंगतता सहित अभिधारणाओं के एक सेट का उपयोग करके वर्णित किया।

3. संदर्भ-आधारित क्लोजर के साथ विश्वसनीयता-सीमित संशोधन (Credibility-Limited Revision with Contextual Closure):

   • NPR ऑपरेटरों को 'क्रेडिबिलिटी-लिमिटेड रिवीजन' ऑपरेटरों के रूप में तैयार किया।
   • सिंगल-सेंटेंस क्लोजर शर्त को शिथिल करने का प्रस्ताव दिया (इसे विजातीयों (disjunctions) के लिए एक कमजोर क्लोजर से बदल दिया)। यह संदर्भ-निर्भर विश्वसनीयता की अनुमति देता है, जहाँ एक वाक्य अकेले अस्वीकार किया जा सकता है लेकिन यदि उसे व्याख्यात्मक संदर्भ ($\alpha \land \beta$) के साथ जोड़ा जाता है, तो उसे स्वीकार किया जा सकता है।

4. अस्थिर करने वाले इनपुटों को संभालना (Handling Destabilizing Inputs):

   • अस्थिर करने वाले (Destabilizing), असंगत (Irreconcilable), और अनिश्चित (Precarious) वाक्यों को परिभाषित किया।
   • प्रदर्शित किया कि बायोडर्स उन परिदृश्यों को मॉडल कर सकते हैं जहाँ एक एजेंट "रखरखाव मोड" (इनपुट को अस्वीकार करना) में चला जाता है जब तक कि आगे की व्याख्या विश्वास अवस्था को स्थिर न कर दे।

4. परिणाम (Results)

• प्रमेय 1-3 (Theorem 1-3): पूर्ण पूर्वक्रमों, इंटरवल ऑर्डर्स और बायोडर्स के बीच उनके संबंधित संशोधन ऑपरेटरों के बीच सहसंबंध स्थापित किया।
• प्रमेय 4 और 5 (Theorem 4 & 5): दिखाया कि ZTBOB और TBOB ऑपरेटर विशिष्ट सुदृढ़ अभिधारणा सेटों को संतुष्ट करते हैं (जैसे, TBOB उप-विस्तार को संतुष्ट करता है)।
• प्रमेय 6-8 (Theorem 6-8): उनके गैर-प्राथमिकता प्राप्त संस्करणों के लिए अभिधारणात्मक लक्षण वर्णन प्रदान किया, जिसमें P12+ जैसी अभिधारणाएं शामिल हैं (यदि एक विजातीय (disjunction) विश्वसनीय है और उसका एक हिस्सा नहीं है, तो परिणाम केवल विश्वसनीय हिस्से के साथ संशोधन के बराबर है)।
• प्रमेय 9 और 10 (Theorem 9 & 10): सिद्ध किया कि ZTBOB-NPR और TBOB-NPR ऑपरेटर उन 'क्रेडिबिलिटी-लिमिटेड रिवीजन' ऑपरेटरों के समकक्ष हैं जिनका अंतर्निहित संशोधन क्रमशः इंटरवल ऑर्डर्स और AGM (पूर्ण पूर्वक्रमों) पर आधारित है।
• प्रति-उदाहरण (Counterexamples): दिखाया कि सामान्य बायोडर्स के लिए मानक AGM अभिधारणाएं जैसे रिक्तता (Vacuity) और उप-विस्तार (Subexpansion) विफल हो जाती हैं, और BOB संशोधन के लिए संगति (Consistency) विफल हो जाती है जब तक कि इनपुट को फ़िल्टर न किया जाए।

5. महत्व (Significance)

• AI में यथार्थवाद (Realism in AI): यह शोध पत्र विश्वास संशोधन को अस्थिरता और सशर्त स्वीकृति की अनुमति देकर वास्तविक एजेंट व्यवहार के करीब लाता है। यह उस संज्ञानात्मक प्रक्रिया को मॉडल करता है जहाँ एजेंट "बहुत अच्छा या बहुत अजीब" जानकारी को तब तक अस्वीकार करता है जब तक कि उसे संदर्भ में न रखा जाए।
• सैद्धांतिक नवीनता (Theoretical Novelty): यह तर्कसंगत विकल्प सिद्धांत (विशेष रूप से बायोडर्स और इंटरवल ऑर्डर्स) और विश्वास संशोधन के बीच के अंतर को पाटता है, जिससे विश्वास परिवर्तन के तर्क में "ऋणात्मक अंतराल" और "विसंगति" जैसी अवधारणाओं को शामिल किया गया है।
• लचीलापन (Flexibility): सिंगल-सेंटेंस क्लोजर शर्त को शिथिल करके, यह ढांचा अधिक सूक्ष्म तर्क का समर्थन करता है जहाँ किसी कथन की विश्वसनीयता केवल उसके तार्किक रूप पर नहीं, बल्कि अन्य कथनों के साथ उसके संयोजन (संदर्भ) पर निर्भर करती है।
• भावी दिशाएं (Future Directions): यह कार्य बायोडर्स के साथ पुनरावृत्त संशोधन (iterated revision), विवादास्पद तर्क (defeasible reasoning), और मानक तर्क (normative reasoning) के अध्ययन के मार्ग खोलता है, जो यह सुझाव देता है कि एकल संशोधन चरण के लिए आवश्यक से अधिक संरचना (बायोडर्स में) क्रमिक अपडेट को संभालने के लिए महत्वपूर्ण हो सकती है।