💻 computer science

Positive Instantial Neighbourhood logic

यह शोधपत्र पॉजिटिव इंस्टेंटियल नेबरहुड लॉजिक (PINL) प्रस्तुत करता है, जो स्वतंत्र बॉक्स और डायमंड मोडैलिटीज वाला एक निषेध-मुक्त (negation-free) मोडल सिस्टम है, और पर्सिस्टेंट नेबरहुड सिमेंटिक्स, 2-DLIos का उपयोग करने वाले बीजगणितीय सिमेंटिक्स, और एक कैनोनिकल बिटोपोलॉजिकल रिप्रजेंटेशन के माध्यम से इसकी पूर्णता स्थापित करता है।

मूल लेखक: Litan Kumar Das, Anupam Khanra, Sujit Kumar Sardar

प्रकाशित 2026-06-09✓ Author reviewed ⓘ

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Litan Kumar Das, Anupam Khanra, Sujit Kumar Sardar

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने नहीं लिखा है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक जासूस हैं जो वर्ल्ड (World) नामक एक रहस्यमय शहर को समझने की कोशिश कर रहे हैं। इस शहर में, हर व्यक्ति (या "वर्ल्ड") का अपना एक व्यक्तिगत नेबरहुड (Neighborhood - पड़ोस) है।

पारंपरिक तर्क (logic) में, एक जासूस पूछ सकता है: "क्या इस पड़ोस में हर कोई नियमों का पालन करता है?" या "क्या यहाँ कम से कम एक व्यक्ति ऐसा है जिसने नियम तोड़े हैं?"

यह शोध पत्र इन पड़ोसों की जांच करने का एक नया, अधिक विस्तृत तरीका पेश करता है, जिसे पॉजिटिव इंस्टेंशियल नेबरहुड लॉजिक (Positive Instantial Neighbourhood Logic - PINL) कहा जाता है। यह इस प्रकार काम करता है, जिसे सरल अवधारणाओं में विभाजित किया गया है:

1. "नकार का नियम" (द पॉजिटिव ट्विस्ट)

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

उपमा: कल्पना कीजिए कि आप एक फलों की टोकरी का वर्णन कर रहे हैं। आप कह सकते हैं, "वहाँ एक सेब है," या "वहाँ एक केला है।" लेकिन आप यह नहीं कह सकते, "वहाँ कोई संतरा नहीं है।" आप केवल वही वर्णन कर सकते हैं जो वास्तव में मौजूद है।
परिणाम: क्योंकि वे "नहीं" का उपयोग नहीं कर सकते, इसलिए जासूस के दो मुख्य उपकरण—बॉक्स (Box) (जो यह जाँचता है कि क्या एक समूह में हर कोई कुछ करता है) और डायमंड (Diamond) (जो यह जाँचता है कि क्या एक समूह में कोई व्यक्ति कुछ करता है)—दो पूरी तरह से अलग उपकरण बन जाते हैं। वे अब एक-दूसरे को परिभाषित करने के लिए उपयोग नहीं किए जा सकते।

2. दो विशेष उपकरण: बॉक्स और डायमंड

इस नए तर्क में, जासूस अपने पड़ोस को देखने के लिए दो विशेष लेंसों का उपयोग करते हैं:

बॉक्स लेंस (□): यह लेंस पूछता है, "क्या इस पड़ोस में लोगों का एक विशिष्ट समूह है जहाँ हर कोई मुख्य नियम का पालन करता है, और विशिष्ट व्यक्ति भी वहां मौजूद हैं ताकि वे उनके अस्तित्व को सिद्ध कर सकें?"
- उदाहरण: "क्या लोगों का एक ऐसा समूह है जहाँ हर कोई टोपी पहनता है (मुख्य नियम), और विशेष रूप से, उस समूह में एक लंबा व्यक्ति और एक छोटा व्यक्ति भी है?"
डायमंड लेंस (♢): यह लेंस पूछता है, "क्या यह सच है कि हम जो भी संभावित समूह चुन सकते हैं, उनमें से या तो वह समूह पूरी तरह से उन लोगों का है जो एक विशिष्ट नियम तोड़ते हैं, या उस समूह में कम से कम एक व्यक्ति है जो मुख्य नियम का पालन करता है?"
- उदाहरण: "आप चाहे जो भी समूह चुनें, या तो वे सभी झूठ बोलने वाले हैं, या उनमें से कम से कम एक सच बोल रहा है।"

3. "मानक" मानचित्र के साथ समस्या

लेखकों ने इन नियमों का उपयोग करके इस शहर का एक आदर्श मानचित्र (एक "कैनोनिकल मॉडल") बनाने की कोशिश की। लेकिन उन्हें एक बाधा आई।

ग्लिच (खराबी): मानक मानचित्र में, पड़ोस केवल लोगों की बिना लेबल वाली सूचियाँ हैं। यदि लोगों की एक सूची "बॉक्स" टूल के विवरण में फिट बैठती है, तो मानचित्र गलती से उसी सूची का उपयोग "डायमंड" टूल को संतुष्ट करने के लिए कर सकता है, भले ही उसे ऐसा नहीं करना चाहिए। यह एक ही तस्वीर का उपयोग "लंबे व्यक्ति" को साबित करने के लिए करने जैसा है क्योंकि वे उसी तस्वीर में हैं, जबकि आपको "छोटे व्यक्ति" को साबित करना था।
समाधान: इसे हल करने के लिए, लेखकों ने एक टाइप्ड मैप (Typed Map) बनाया। केवल लोगों की सूची के बजाय, इस शहर के हर पड़ोस के साथ एक लेबल (Label) आता है।
- उपमा: कल्पना कीजिए कि शहर में लोगों के हर समूह के पास एक नाम का टैग है। एक समूह को "बॉक्स टूल के लिए समूह" के रूप में लेबल किया गया है, और दूसरे को "डायमंड टूल के लिए समूह" के रूप में। यह जासूस को भ्रमित होने और गलत काम के लिए गलत समूह का उपयोग करने से रोकता है।

4. बीजगणितीय "रेसिपी बुक"

यह पत्र अपने तार्किक नियमों को एक गणितीय "रेसिपी बुक" में अनुवादित करता है जिसे 2-DLIO कहा जाता है।

इसे एक कुकबुक की तरह समझें जहाँ सामग्रियाँ तार्किक कथन हैं।
इस किताब में निर्देशों (रेसिपी) के दो सेट हैं: एक सेट बॉक्स की सामग्रियों के लिए और एक सेट डायमंड की सामग्रियों के लिए।
लेखकों ने सिद्ध किया कि यदि आप उनके तर्क (PINL) के नियमों का पालन करते हैं, तो आप अनिवार्य रूप से इस विशिष्ट रेसिपी बुक के नियमों का पालन कर रहे हैं। उन्होंने दिखाया कि "लिंडेनबाम बीजगणित" (जो केवल "सभी संभावित तार्किक रेसिपीज़ के संग्रह" का एक फैंसी नाम है) इस किताब में पूरी तरह से फिट बैठता है।

5. अंतिम मानचित्र: बिटोपोलॉजिकल सिटी (Bitopological City)

अंत में, लेखकों ने शहर के एक भव्य, अंतिम संस्करण का निर्माण किया जिसे बिटोपोलॉजिकल स्पेस (Bitopological Space) कहा जाता है।

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

सारांश

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

यह शोध पत्र क्या नहीं करता है:

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

तकनीकी सारांश: पॉजिटिव इंस्टेंशियल नेबरहुड लॉजिक (PINL)

समस्या विवरण
इंस्टेंशियल नेबरहुड लॉजिक (INL) एक मोडल भाषा है जिसे नेबरहुड फ्रेम्स के लिए डिज़ाइन किया गया है, जो सूत्रों को न केवल सार्वभौमिक स्कोप स्थितियों को बल्कि एक नेबरहुड के भीतर विशिष्ट "kinds of worlds" (प्रकारों) के अस्तित्व संबंधी (existential) सूचनाओं को भी व्यक्त करने की अनुमति देता है। जबकि शास्त्रीय INL और इसका कोएलजेब्रिक द्वैत (Boolean Algebras with Instantial Operators, या BAIOs से संबंधित) अच्छी तरह से विकसित हैं, साहित्य में एक व्यवस्थित, सकारात्मक (negation-free/निषेध-मुक्त) संस्करण के संबंध में एक अंतराल मौजूद है।

शास्त्रीय निषेध (classical negation) की अनुपस्थिति सकारात्मक तर्क में बॉक्स ( $\Box$ ) और डायमंड ( $\Diamond$ ) ऑपरेटरों के बीच परस्पर परिभाषितता (interdefinability) को रोकती है। फलस्वरूप, एक सकारात्मक INL को केवल शास्त्रीय INL के एक अंश (fragment) के रूप में नहीं माना जा सकता; इसके लिए एक अलग प्रमाण प्रणाली, एक उपयुक्त सकारात्मक नेबरहुड अर्थशास्त्र (semantics), डिस्ट्रीब्यूटिव लैटिसेस पर आधारित एक बीजगणितीय अर्थशास्त्र, और एक कैनोनिकल प्रतिनिधित्व की आवश्यकता है। यह शोध पत्र इन मूलभूत घटकों की कमी को संबोधित करता है।

कार्यप्रणाली
लेखक इस तर्क को विकसित करते हैं, जिसे PINL कहा जाता है, जो प्रमाण सिद्धांत (proof theory), मॉडल सिद्धांत (model theory), बीजगणित (algebra), और टोपोलॉजी (topology) को संयोजित करने वाले एक बहुआयामी दृष्टिकोण के माध्यम से किया गया है:

सिंटैक्स और प्रमाण प्रणाली (Syntax and Proof System): PINL की भाषा का निर्माण शास्त्रीय प्रपोजिशनल लॉजिक के बजाय बाउंडेड डिस्ट्रीब्यूटिव लैटिसेस (उपयोग $\top, \bot, \land, \lor$ ) के प्रपोजिशनल आधार पर किया गया है। यह दो मौलिक, स्वतंत्र इंस्टेंशियल मोडालिटीज पेश करता है: एक बॉक्स-प्रकार $\Box(\phi_1, \dots, \phi_n; \psi)$ और एक डायमंड-प्रकार $\Diamond(\phi_1, \dots, \phi_n; \psi)$ । एक सिक्वेंट-आधारित प्रमाण प्रणाली को बाउंडेड डिस्ट्रीब्यूटिव लैटिसेस के लिए अभिगृही (axioms) और $\Box$ एवं $\Diamond$ के लिए विशिष्ट मोडल अभिगृही के साथ तैयार किया गया है जो उनकी स्वतंत्र प्रकृति को दर्शाते हैं।
अर्थशास्त्र (Persistent Two-Sided Models): इस तर्क की व्याख्या पर्ज़िस्टेंट टू-साइडेड नेबरहुड मॉडल्स पर की जाती है। ये संरचनाएं एक आंशिक क्रम सेट (partially ordered set) $(W, \leq)$ और दो नेबरहुड फलनों, $N_\Box$ और $N_\Diamond$ , से बनी होती हैं जो दुनियाओं को अपसेट्स (upsets) के सेटों में मैप करती हैं। महत्वपूर्ण रूप से, $N_\Box$ ऊपर की ओर मोनोटोन (monotone upward) है, जबकि $N_\Diamond$ नीचे की ओर मोनोटोन (monotone downward) है। सत्य (Truth) को $\Box$ के लिए विटनेस (witness) स्थितियों (स्कोप और इंस्टेंस फॉर्मूलों को संतुष्ट करने वाले नेबरहुड का अस्तित्व) और $\Diamond$ के लिए को-विटनेस (co-witness) स्थितियों (शर्तों के वियोजन की सार्वभौमिक संतुष्टि) के माध्यम से परिभाषित किया जाता है।
कैनोनिकल निर्माण और टाइप्ड अर्थशास्त्र (Canonical Construction and Typed Semantics): एक प्रत्यक्ष कैनोनिकल पूर्णता प्रमाण (completeness proof) मानक पर्ज़िस्टेंट अर्थशास्त्र के लिए बाधित होता है क्योंकि एक्सटेंशनल नेबरहुड्स (अनलेबल अपसेट्स अनजाने में कई फॉर्मूलों को विटनेस कर सकते हैं)। इससे निपटने के लिए, लेखक एक सहायक टाइप्ड पर्ज़िस्टेंट नेबरहुड अर्थशास्त्र पेश करते हैं। इस सेटिंग में, नेबरहुड्स को उन विशिष्ट मोडल फॉर्मूलों द्वारा लेबल किया जाता है जिन्हें वे विटनेस या रिफ्यूट (refute) करने के लिए लक्षित करते हैं। एक प्राइम थ्योरी पेयर्स $(a_1, a_2)$ से बना कैनोनिकल मॉडल बनाया जाता है, जहाँ $a_1$ एक थ्योरी है और $a_2$ एक काउंटर-थ्योरी है। एक 'ट्रुथ लेम्मा' स्थापित किया जाता है, जो यह सिद्ध करता है कि अर्थशास्त्रीय सत्य प्राइम पेयर के सकारात्मक घटक में सदस्यता के साथ मेल खाता है।
बीजगणिक अर्थशास्त्र (2-DLIOs): शोध पत्र में 2-DLIOs (दो परिवारों के इंस्टेंशियल ऑपरेशन्स, $(f_n)$ $\Box$ के लिए और $(g_n)$ $\Diamond$ के लिए, से सुसज्जित बाउंडेड डिस्ट्रीब्यूटिव लैटिसेस) पेश किए गए हैं, जो इसके बीजगणितीय समकक्ष हैं। यह दिखाया गया है कि PINL का लिंडेनबाम (Lindenbaum) बीजगणित एक 2-DLIO है।
बिटोपोलॉजिकल प्रतिनिधित्व (Bitopological Representation): लेखक प्राइम थ्योरी पेयर्स से प्राप्त एक कैनोनिकल बिटोपोलॉजिकल PINL-स्पेस का निर्माण करते हैं। यह स्पेस दो टोपोलॉजी ( $\tau_+$ जो $U_\phi$ द्वारा जनरेट होती है और $\tau_-$ जो $V_\phi$ द्वारा जनरेट होती है) से सुसज्जित है। यह सिद्ध किया गया है कि इस स्पेस के एडमिसेबल पॉजिटिव ओपन का बीजगणित, लिंडेनबाम 2-DLIO के समरूपी (isomorphic) है।

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

औपचारिक प्रणाली (Formal System): PINL के लिए भाषा की परिभाषा और एक पूर्ण प्रमाण प्रणाली, जो $\Box$ और $\Diamond$ को अलग-अलग अभिगृही स्कीमा के साथ दो स्वतंत्र प्रिमिटिव के रूप में मानती है।
पूर्णता (Completeness): पर्ज़िस्टेंट टू-साइडेड नेबरहुड मॉडल्स के संबंध में PINL की साउंडनेस (soundness) और पूर्णता का प्रमाण। यह सहायक टाइप्ड अर्थशास्त्र के माध्यम से प्राप्त किया गया है, जो निषेध की अनुपस्थिति में कैनोनिकल निर्माण की तकनीकी कठिनाइयों को हल करता है।
बीजगणिक लक्षण वर्णन (Algebraic Characterization): 2-DLIOs के रूप में PIN-L के बीजगणिक अर्थशास्त्र का परिचय। शोध पत्र बीजगणिक साउंडनेस और पूर्णता को सिद्ध करता है, यह प्रदर्शित करते हुए कि PINL का लिंडेनबाम बीजगणित एक 2-DLIO है।
कैनोनिकल प्रतिनिधित्व (Canonical Representation): कैनोनिकल बिटोपोलॉजिकल PINL-स्पेस का निर्माण। शोध पत्र सिद्ध करता है कि इस स्पेस के एडमिसेबल पॉजिटिव ओपन का बीजगणित लिंडेनबाम 2-DLIO के समरूपी है। यह इस तर्क का एक कैनोनिकल एडमिसेबल-ओपन प्रतिनिधित्व प्रदान करता है।
चिंताओं का पृथक्करण (Separation of Concerns): यह कार्य स्पष्ट रूप से INL के सकारात्मक, स्वतंत्र-ऑपरेटर अंश को अलग करता है, जो इसे शास्त्रीय बुलियन ढांचे और पूर्ण DLIO ढांचे (जहाँ इंटरैक्शन अभिगृहीत हो सकते हैं) से अलग करता है।

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

लेखक स्पष्ट रूप से कहते हैं कि इसका दायरा एक कैनोनिकल प्रतिनिधित्व प्रमेय तक सीमित है, न कि एक पूर्ण श्रेणीगत द्वैत (categorical duality) प्रमेय तक। हालांकि यह कार्य भविष्य के द्वैत सिद्धांत (विशेष रूप से 2-DLIOs के लिए प्रिस्टली-शैली या बिटोपोलॉजिकल द्वैत) के लिए आधार तैयार करता है, वर्तमान शोध पत्र आवश्यक श्रेणी (category) के वर्णनात्मक PINL-स्पेस, मोर्फिज्म, या फन्क्टरल उपचार को परिभाषित नहीं करता है। इसी तरह, शोध पत्र नोट करता है कि साहित्य में सुझाया गया एक "ज्यामितीय" (geometric) INL संस्करण (स्कॉट-निरंतरता शामिल) भविष्य के कार्य के लिए छोड़ दिया गया है।

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