Goal-Oriented Semantic Communication for Logical Decision Making

यहाँ अहमत फारुक साज़ और फरमारज़ फेक्री के शोध पत्र "Goal-Oriented Semantic Communication for Logical Decision Making" का विस्तृत तकनीकी सारांश दिया गया है।

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

सुरक्षा-महत्वपूर्ण स्वायत्त प्रणालियों (जैसे, स्वायत्त ड्राइविंग) में, एजेंटों को अक्सर "बैंडविड्थ बाधा" (bandwidth bottleneck) का सामना करना पड़ता है जहाँ सीमित संचार क्षमता के कारण कच्चे संवेदी डेटा (raw sensory data) को प्रसारित करना असंभव हो जाता है। जबकि मौजूदा सिमेंटिक कम्युनिकेशन दृष्टिकोण मौजूद हैं, वे आम तौर पर दो श्रेणियों में आते हैं जिनकी महत्वपूर्ण सीमाएँ हैं:

• ब्लैक-बॉक्स डीप लर्निंग: ट्रांसफॉर्मर या LLMs का उपयोग करने वाली विधियाँ संपीड़न (compression) तो प्राप्त करती हैं लेकिन उनमें पारदर्शिता का अभाव होता है, जिससे यह सत्यापित करना असंभव हो जाता है कि विशिष्ट डेटा क्यों चुना गया या सुरक्षा-महत्वपूर्ण निर्णयों की गारंटी कैसे दी जाए।
• गणितीय सूचना सिद्धांत (Mathematical Information Theory): मौजूदा सैद्धांतिक ढांचे गारंटी तो प्रदान करते हैं लेकिन अक्सर विशेष रूप से तार्किक निर्णय लेने (deduction) के लिए तैयार किए गए एकीकृत, व्याख्या योग्य आधार की कमी होती है।

मुख्य चुनौती एक ऐसा ढांचा विकसित करने की है जो:

1. केवल सबसे कार्य-प्रासंगिक जानकारी (सिमेंटिक सामग्री) का चयन करे जिसे प्रसारित किया जाना है।
2. यह सुनिश्चित करे कि चयन प्रक्रिया औपचारिक तर्क (formal logic) के माध्यम से व्याख्या योग्य और सत्यापन योग्य हो।
3. ट्रांसमिशन को इस तरह अनुकूलित करे कि कच्चे डेटा के पुनर्निर्माण के बजाय रिसीवर की सही तार्किक निर्णय (जैसे, "रुकें," "चलें") लेने की क्षमता अधिकतम हो सके।

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

लेखक एक ढांचा प्रस्तावित करते हैं जो फर्स्ट-ऑर्डर लॉजिक (FOL) और इंडक्टिव लॉजिकल प्रोबेबिलिटी पर आधारित है।

A. दुनिया का तार्किक प्रतिनिधित्व (Logical Representation of the World)

पर्यावरण को प्रेडिकेट्स (मोनैडिक और डायैडिक) के साथ एक फर्स्ट-ऑर्डर लैंग्वेज $\mathcal{L}$ का उपयोग करके मॉडल किया गया है।

• घटक (Constituents): मौलिक सिमेंटिक इकाइयाँ "घटक" ($C_{w,k}$) हैं, जो दुनिया की स्थिति का अधिकतम विशिष्ट विवरण हैं (यह प्रपोजिशनल लॉजिक में ट्रुथ टेबल के समान है लेकिन रिलेशनल स्ट्रक्चर के लिए है)।
• इंडक्टिव प्रोबेबिलिटी: सांख्यिकीय आवृत्ति के बजाय, यह शोध पत्र इंडक्टिव लॉजिकल प्रोबेबिलिटी (कारनेप और हिंटिका पर आधारित) का उपयोग करता है। एक परिकल्पना (hypothesis) की संभावना साक्ष्य के अनुकूल घटकों और कुल घटकों के अनुपात द्वारा परिभाषित की जाती है।
  • $c(\phi | e) = \frac{|C(e \land \phi)|}{|C(e)|}$
  • यह कंटेंट इंफॉर्मेशन (Content Information) की एक कठोर परिभाषा की अनुमति देता है: $cont(\phi) = 1 - c(\phi)$, जो यह मापता है कि एक कथन कितनी संभावित विश्व अवस्थाओं को समाप्त करता है।

B. सिमेंटिक इंफॉर्मेशन मेट्रिक्स (Semantic Information Metrics)

लेखक शैनन सूचना सिद्धांत के सिमेंटिक एनालॉग्स को परिभाषित करते हैं:

• सिमेंटिक एंट्रॉपी ($H_s$): परिकल्पनाओं के एक सेट की औसत अनिश्चितता।
• सिमेंटिक म्यूचुअल इंफॉर्मेशन ($I_s$): साक्ष्य के दिए जाने पर परिकल्पनाओं के एक सेट के बारे में अनिश्चितता में कमी।
• लक्ष्य-उन्मुख अवस्थाएँ (Goal-Oriented States): कार्य नियम (जैसे, यातायात कानून) विश्व अवस्थाओं पर तार्किक समतुल्यता वर्ग (logical equivalence classes) प्रेरित करते हैं। इन्हें लक्ष्य-उन्मुख अवस्थाएँ ($\Phi$) के रूप में परिभाषित किया गया है। उद्देश्य सटीक विश्व अवस्था को पुनः प्राप्त करने से बदलकर इन विशिष्ट लक्ष्य अवस्थाओं के सत्य मान (truth value) को हल करने की ओर स्थानांतरित हो जाता है।

C. अनुकूलन उद्देश्य (The Optimization Objective)

समस्या को एक सिमेंटिक इंफॉर्मेशन बॉटलनेक के रूप में तैयार किया गया है:
$$\max_{\hat{e}} I_s(\Phi; \hat{e}) - \beta I(e; \hat{e})$$
जहाँ $\hat{e}$ साक्ष्य का उपसमुच्चय है जिसे प्रसारित किया जाता है, $\Phi$ लक्ष्य-अवस्था स्थान है, और $I(e; \hat{e})$ ट्रांसमिशन दर (लागत) का प्रतिनिधित्व करता है।

• लक्ष्य: प्रसारित साक्ष्य और लक्ष्य अवस्थाओं के बीच सिमेंटिक म्यूचुअल इंफॉर्मेशन को अधिकतम करना और साथ ही भेजे जाने वाले डेटा की मात्रा को न्यूनतम करना।
• एल्गोरिदम समाधान: लेखक एक पॉलीनोमियल-टाइम लेक्सिकोग्राफिकल सॉर्टिंग एल्गोरिदम प्राप्त करते हैं।
  • वे दिखाते हैं कि उनके इंडक्टिव सिस्टम के तहत, ऑब्जेक्टिव फंक्शन बेरनौली वेरिएंस (Bernoulli variances) के भारित योग को कम करने में सरल हो जाता है।
  • घटक स्थान (constituent space) के विशाल आकार के कारण, प्रत्यक्ष गणना असंभव है। लेखक एक एसिम्प्टोटिक रिडक्शन (asymptotic reduction) प्राप्त करते हैं जहाँ ऑब्जेक्टिव एक विशिष्ट फॉर्मूला में सबसे छोटे घातांक (smallest exponent) द्वारा नियंत्रित होता है।
  • इससे एक सिम्बोलिक तुलना कुंजी $\kappa(\hat{e}) = (|I_{\sim}|, K, -H_{(1)}, -H_{(2)}, \dots)$ प्राप्त होती है, जहाँ:
    • $K$: विशिष्ट Q-वाक्यों की संख्या (साक्ष्य विविधता)।
    • $H_i$: गैर-अतिव्यापी (non-overlapping) परिकल्पनाओं की विशिष्टता।
  • एल्गोरिदम $k$ FOL क्लॉज के उस उपसमुच्चय का चयन करता है जो लेक्सिकोग्राफिकल रूप से इस कुंजी को न्यूनतम करता है, जो प्रभावी रूप से उस साक्ष्य को प्राथमिकता देता है जो सबसे अनिश्चित लक्ष्य अवस्थाओं को पहले हल करता है।

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

1. सिद्धांतिक सिमेंटिक ढांचा: FOL और इंडक्टिव प्रोबेबिलिटी के संदर्भ में सिमेंटिक इंफॉर्मेशन, एंट्रॉपी और म्यूचुअल इंफॉर्मेशन को परिभाषित करने वाला एक एकीकृत सिद्धांत, जो लॉजिक और सूचना सिद्धांत के बीच के अंतर को पाटता है।
2. लक्ष्य-उन्मुख सूत्रीकरण: लक्ष्य-उन्मुख अवस्थाओं को कार्य नियमों द्वारा प्रेरित तार्किक समतुल्यता वर्गों के रूप में परिभाषित करके, सिमेंटिक कम्युनिकेशन को "स्टेट रिकवरी" से "डिसीजन सपोर्ट" तक विस्तारित करना।
3. व्याख्या योग्य चयन: डीप लर्निंग के "ब्लैक बॉक्स" के विपरीत, प्रस्तावित चयन तंत्र स्पष्ट तार्किक क्लॉज और गणितीय प्रमाणों पर आधारित है, जो सत्यापन क्षमता सुनिश्चित करता है।
4. कुशल अनुकूलन एल्गोरिदम: एक लेक्सिकोग्राफिकल सॉर्टिंग एल्गोरिदम का व्युत्पन्न जो खगोलीय आकार के प्रोबेबिलिटी मानों की गणना करने की आवश्यकता को समाप्त करता है, जिससे अनुकूलन पॉलीनोमियल समय में सुलभ हो जाता है।
5. अनुभवजन्य सत्यापन: एक न्यूरो-सिंबोलिक अर्बन सिम्युलेटर (LogiCity) में रैंडम सिलेक्शन की तुलना में महत्वपूर्ण प्रदर्शन लाभ का प्रदर्शन।

4. प्रयोगात्मक परिणाम (Experimental Results)

इस ढांचे का मूल्यांकन विभिन्न नियम सेटों और संचार बजटों के तहत LogiCity सिम्युलेटर (एक 241x241 ग्रिड जिसमें कारें और पैदल यात्री हैं) में किया गया था।

• सेटअप: एजेंट $k$ FOL एक्सप्रेशन को प्रसारित करने के लिए एक एज सर्वर (GNA/LNA) के माध्यम से संचार करते हैं।
• मेट्रिक्स:
  • H-DSR: हाइपोथीसिस डिसीजन सक्सेस रेट (फुल-इन्फॉर्मेशन बेसलाइन के साथ सहमति)।
  • A-DSR: एक्शन डिसीजन सक्सेस रेट (सही कार्रवाई की गई: रुकना, धीमा होना, तेज होना, सामान्य)।
• मुख्य निष्कर्ष:
  • लो-रेट डोमिनेंस: सिमेंटिक चयन रैंडम चयन की तुलना में बहुत बेहतर प्रदर्शन करता है, विशेष रूप से सख्त बैंडविड्थ सीमाओं के तहत।
    • उदाहरण: $k=1$ (केवल 1 एंटिटी प्रसारित करना) के साथ, सिमेंटिक चयन ने 0.984 का A-DSR (स्पेशियल रूल्स पर) प्राप्त किया, जबकि रैंडम चयन केवल 0.869 था।
    • सिमेंटिक चयन $k=3$ तक लगभग पूर्ण प्रदर्शन ($A-DSR \approx 1.0$) तक पहुँच गया, जबकि रैंडम चयन को केवल 0.952 तक पहुँचने के लिए $k=5$ की आवश्यकता थी।
  • बैंडविड्थ दक्षता: $k=1$ पर सिमेंटिक चयन ने $k=5$ पर रैंडम चयन के बराबर या उससे अधिक प्रदर्शन किया, जो 5x बैंडविड्थ बचत का प्रतिनिधित्व करता है।
  • मजबूती (Robustness): लाभ कठिन परिदृश्यों (छोटा फील्ड ऑफ व्यू, उच्च पैदल यात्री घनत्व) में सबसे अधिक स्पष्ट था, जहाँ निर्णय लेना सबसे कठिन होता है।
  • आर्किटेक्चर: विधि सेंसर ग्लोबल, सिंगल-ज़ोन और मल्टी-ज़ोन आर्किटेक्चर में प्रभावी ढंग से काम करती है, हालांकि वितरित सेटिंग्स में उपलब्ध अवलोकनों (observations) के सीमित पूल के कारण लाभ थोड़े कम थे।

5. महत्व (Significance)

यह शोध पत्र AI-नेटिव, सुरक्षा-महत्वपूर्ण संचार प्रणालियों की ओर एक महत्वपूर्ण कदम है।

• सुरक्षा और सत्यापन: संचार को औपचारिक तर्क में आधारित करके, प्रणाली यह गणितीय गारंटी प्रदान करती है कि प्रसारित जानकारी विशिष्ट तार्किक निष्कर्षों के लिए पर्याप्त है। यह स्वायत्त ड्राइविंग के लिए नियामक अनुमोदन हेतु अत्यंत महत्वपूर्ण है।
• दक्षता: यह सिद्ध करता है कि जब रिसीवर का कार्य ज्ञात हो, तो कच्चे डेटा या रैंडम सैंपल की तुलना में "अर्थ" (meaning) को बहुत अधिक कुशलता से संकुचित किया जा सकता है।
• सैद्धांतिक सेतु: यह इंडक्टिव लॉजिक, सिमेंटिक इंफॉर्मेशन थ्योरी और कम्युनिकेशन इंजीनियरिंग के क्षेत्रों को सफलतापूर्वक एकीकृत करता है, जो एक नया प्रतिमान पेश करता है जहाँ संचार को डेटा फिडेलिटी के बजाय निर्णय की गुणवत्ता के लिए अनुकूलित किया जाता है।

संक्षेप में, लेखक प्रदर्शित करते हैं कि तार्किक संरचनाओं का उपयोग करके "क्या महत्वपूर्ण है" को परिभाषित करके, स्वायत्त एजेंट वास्तविक दुनिया में तैनाती के लिए आवश्यक पारदर्शिता और सुरक्षा बनाए रखते हुए अत्यधिक दक्षता के साथ संचार कर सकते हैं।