💻 computer science

Knowing-Value Logic with Successor Arithmetic

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

मूल लेखक: Hongyi Wang (Department of Philosophy, Peking University)

प्रकाशित 2026-07-01

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

CC BY 4.0

मूल लेखक: Hongyi Wang (Department of Philosophy, Peking University)

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

कल्पना कीजिए कि आप एक रहस्य सुलझाने की कोशिश कर रहे हैं, लेकिन केवल यह जानने के बजाय कि क्या सच है (जैसे "बटलर ने किया है"), आपको यह जानना है कि विशिष्ट मान (value) क्या है (जैसे "बटलर का नाम जॉन है")। यह "Knowing-Value" लॉजिक का मूल है।

लंबे समय तक, तर्कशास्त्रियों (logicians) के पास "जानने-कि" (knowing-that) को संभालने के लिए एक टूलकिट था, लेकिन जब "जानने-क्या" (knowing-what) की बात आई, विशेष रूप से जब संख्याओं का मामला हो, तो उनके उपकरण थोड़े कुंद (blunt) थे। वे कह सकते थे, "S जानता है कि पासवर्ड एक 4-अंकों की संख्या है," लेकिन वे आसानी से यह नहीं समझा पा रहे थे कि इसके पीछे का आंतरिक गणित क्या है या संख्याएँ एक-दूसरे से कैसे संबंधित हैं (जैसे कि 4 के बाद अगली संख्या 5 है)।

यह शोध पत्र, जो होंगी यी वांग (Hongyi Wang) द्वारा लिखा गया है, एक नया, अधिक सटीक टूलकिट बनाता है जो एपिस्टेमिक लॉजिक (ज्ञान का तर्क) को अंकगणित (विशेष रूप से, गिनती और "अगली संख्या" के नियम) के साथ जोड़ता है।

यहाँ इस शोध पत्र का विवरण दिया गया है, जो सरल उपमाओं का उपयोग करता है:

1. समस्या: "कुंद चाकू" (The Blunt Knife)

पुराने लॉजिक सिस्टम को एक कुंद चाकू के रूप में सोचें। वे "ऐन जानती है कि संख्याएँ क्रमिक (consecutive) हैं" जैसे वाक्य को काट तो सकते थे, लेकिन उन्हें इसे एक अटूट ब्लॉक (जैसे कि एक पूरा आलू) के रूप में मानना पड़ता था। वे इसके अंदर की परतों को नहीं देख पाते थे।

समस्या: वास्तविक जीवन में, हम संख्याओं के बारे में तर्क देते हैं। यदि ऐन जानती है कि संख्याएँ क्रमिक हैं, और वह जानती है कि उसकी संख्या 5 है, तो उसे तुरंत पता होना चाहिए कि बिल की संख्या 4 या 6 है। पुराना लॉजिक इस आंतरिक गणितीय संरचना को नहीं पकड़ सका। इसने "5" और "6" को केवल यादृच्छिक लेबल के रूप में माना, न कि ऐसी संख्याओं के रूप में जिनका एक विशिष्ट संबंध है (एक दूसरे का "सक्सेसर" या उत्तराधिकारी है)।

2. समाधान: एक "लेजर कटर" (The Laser Cutter)

वांग एक नया लॉजिक पेश करते हैं जिसे ELKvSAr कहा जाता है। इसे एक लेजर कटर के रूप में सोचें जो गणित के माध्यम से सीधे काट सकता है।

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

3. "समानांतर ब्रह्मांड" की चाल (The "Parallel Universe" Trick)

यहीं पर यह थोड़ा जटिल हो जाता है, लेकिन शोध पत्र एक चतुर वर्कअराउंड (workaround) का उपयोग करता है।

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

4. "क्रमिक संख्याएँ" की पहेली (The "Consecutive Numbers" Puzzle)

इस नए टूल को दिखाने के लिए, लेखक एक क्लासिक पहेली को हल करते हैं:

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

5. मुख्य निष्कर्ष (The Bottom Line)

शोध पत्र मुख्य रूप से तीन चीजें हासिल करता है:

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

संक्षेप में: लेखक ने एक ऐसे लॉजिक सिस्टम को लिया जो "तथ्यों को जानने" में अच्छा था और उसे "संख्याओं को जानने" में कुशल बनाने के लिए अपग्रेड किया, यह सुनिश्चित करने के लिए एक चतुर गणितीय चाल का उपयोग किया कि अपग्रेड ठोस है, और फिर इसका उपयोग क्रमिक संख्याओं के बारे में एक क्लासिक दिमागी पहेली को हल करने के लिए किया।

तकनीकी सारांश: उत्तराधिकारी अंकगणित के साथ नोइंग-वैल्यू लॉजिक (Knowing-Value Logic)

समस्या विवरण
यह शोध पत्र मौजूदा "नोइंग-वैल्यू" लॉजिक्स की सीमाओं को संबोधित करता है, विशेष रूप से वांग और फैन द्वारा प्रस्तावित कंडीशनल नोइंग-वैल्यू लॉजिक ($ELKvr $) और इसके पब्लिक अनाउंसमेंट एक्सटेंशन ($ PALKvr $) को। जबकि ये सिस्टम इस तरह के कथनों को औपचारिक रूप देते हैं कि "एजेंट$ i $को$ \phi $के दिए जाने पर$ c$ का मान ज्ञात है," इनमें सीधे अंकगणितीय ऑपरेशंस और समानता (equality) को संभालने के लिए सिंटैक्टिक मशीनरी का अभाव है। फलस्वरूप, वे प्रस्तावों की आंतरिक संरचना को पकड़ने में असमर्थ हैं, जैसे कि क्रमागत पूर्णांकों (consecutive integers) के बीच का संबंध। प्राकृतिक भाषा के परिदृश्यों और तर्क पहेलियों (जैसे, "कन्सेक्यूटिव नंबर्स" पहेली) में, तर्क अक्सर एपिस्टेमिक ऑपरेटर्स, समानता और अंकगणितीय फलनों (विशेष रूप से उत्तराधिकारी फलन/successor function) के बीच परस्पर क्रिया पर निर्भर करता है। मौजूदा ढांचे संख्यात्मक स्थितियों को अपारदर्शी प्रस्तावात्मक अक्षरों (opaque propositional letters) के रूप में मानते हैं, जिससे उन निहितार्थों को प्राप्त करने में विफल रहते हैं जो प्राकृतिक भाषा में स्पष्ट होते हैं (उदाहरण के लिए, यह जानना कि एक संख्या 4-अंकीय है और यह जानना कि "यदि 4-अंकीय है तो 1111" का निहितार्थ क्या है, यह जानना कि उसका मान 1111 है)। इसके अतिरिक्त, इन लॉजिक्स के लिए मानक अर्थशास्त्र (semantics), अनस्ट्रक्चर्ड ऑब्जेक्ट्स के सेट पर आधारित, उत्तराधिकारी अंकगणित जैसे विशिष्ट गणितीय संरचनाओं (जैसे प्राकृतिक संख्याओं) को मॉडल करने के लिए अपर्याप्त हैं।

कार्यप्रणाली
लेखक एक नया लॉजिक, $ELKvSAr $** (जो **$ PALKvSAr$ का घोषणा-मुक्त खंड है) पेश करते हैं, जो कंडीशनल नोइंग-वैल्यू लॉजिक को निम्नलिखित के साथ विस्तारित करता है:

टर्म्स (Terms): जिसमें एक रिजिड कांस्टेंट $0 $, नॉन-रिजिड कांस्टेंट$ C $, और उत्तराधिकारी फलन$ S$ शामिल है।
एटॉमिक फॉर्मूला (Atomic Formulas): टर्म्स के बीच समानता ( $t_1 \approx t_2$ )।
सिमेंटिक्स (Semantics): पेपर दो अलग-अलग वर्गों के मॉडल्स को परिभाषित करता है:
- मानक मॉडल (Standard Models): मानक प्राकृतिक संख्याओं $(\mathbb{N}, S)$ पर आधारित।
- गैर-मानक मॉडल (Non-Standard Models): उत्तराधिकारी अंकगणित के एक विशिष्ट गैर-मानक मॉडल $(\mathbb{N}^\star, S^\star)$ पर आधारित, जहाँ $\mathbb{N}^\star$ में मानक प्राकृतिक संख्याओं के साथ-साथ अनंत "Z-चेन" (पूर्णांकों की प्रतियां) शामिल हैं। यह विस्तार आवश्यक है क्योंकि यह लॉजिक मानक मॉडल्स के वर्ग पर कॉम्पैक्ट नहीं है।

तकनीकी दृष्टिकोण में शामिल हैं:

एक्सियोमैटाइजेशन (Axiomatization): सिस्टम $ELKVSAr $** का प्रस्ताव, जिसमें समानता, उत्तराधिकारी अंकगणित (जैसे,$ \neg Sx \approx 0$, $S$ की इंजेक्टिविटी), और नोइंग-वैल्यू और अंकगणित के बीच सेतु बनाने वाले विशिष्ट एक्सिओम्स/रूल्स (जैसे, $KvrS$, $KVE1$, $KVE2 $) शामिल हैं। एक प्रमुख विशेषता **$ Kvr\text{-}Elim$ नियम है, जो फर्स्ट-ऑर्डर लॉजिक में अस्तित्व विलोपन (existential elimination) के समान कार्य करता है, जिससे व्युत्पत्ति के दौरान सापेक्षिक नोइंग-वैल्यू ऑपरेटर्स को हटाया जा सकता है।
पूर्णता प्रमाण (Completeness Proof): गैर-मानक मॉडल्स के संबंध में स्ट्रॉन्ग कम्प्लीटनेस सिद्ध करना। यह प्रमाण एक मानक कैनोनिकल मॉडल के बजाय एक नवीन ट्री-लाइक कैनोनिकल फ्रेम के निर्माण का उपयोग करता है। इसमें मैक्सिमल कंसिस्टेंट सेट्स की हिस्ट्री का निर्माण करना और एक वैल्यूएशन फंक्शन को परिभाषित करना शामिल है जो कांस्टेंट्स को $\mathbb{N}^\star$ के तत्वों से मैप करता है, जबकि नोइंग-वैल्यू ऑपरेटर और अंकगणितीय संरचना द्वारा प्रेरित तुल्यता संबंधों का सम्मान करता है।
फाइनाइट मॉडल प्रॉपर्टी और डैसिडेबिलिटी (Finite Model Property and Decidability): यह प्रदर्शित करना कि कोई भी संतृप्त (satisfiable) फॉर्मूला एक परिमित गैर-मानक मॉडल रखता है, जिसे फिर एक इंजेक्टिव मैपिंग के माध्यम से एक परिमित मानक मॉडल में मैप किया जा सकता है जो अंकगणितीय दूरियों को संरक्षित करता है और घटकों को अलग करता है। यह फाइनाइट मॉडल प्रॉपर्टी और डैसिडेबिलिटी को स्थापित करता है।
अनुप्रयोग (Application): यह दिखाने के लिए कि एजेंटों का ज्ञान अंकगणितीय कटौती के माध्यम से कैसे विकसित होता है, पब्लिक अनाउंसमेंट ऑपरेटर्स ($PALKvSAr$) का उपयोग करके "कन्सेक्यूटिव नंबर्स" पहेली को औपचारिक रूप देना।

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

लॉजिक विस्तार: नोइंग-वैल्यू लॉजिक में समानता और उत्तराधिकारी फलन को एकीकृत करते हुए $ELKvSAr $और$ PALKvSAr$ का परिचय।
एक्सिओमैटिक सिस्टम: $ELKVSAr$ की परिभाषा, जो सिद्ध करती है कि यह:
- गैर-मानक मॉडल्स के संबंध में स्ट्रॉन्गली कंप्लीट है।
- मानक मॉडल्स के संबंध में वीकली कंप्लीट है।
मेटा-लॉजिकल गुण:
- फाइनाइट मॉडल प्रॉपर्टी (FMP): यह लॉजिक मानक और गैर-मानक दोनों मॉडल्स के संबंध में FMP रखता है।
- डैसिडेबिलिटी: $ELKvSAr$ के लिए सैटिस्फिएबिलिटी समस्या डैसिडेबल है।
नॉन-कॉम्पैक्टनेस (Non-Compactness): पेपर यह सिद्ध करता है कि $ELKvSAr$ मानक मॉडल्स के संबंध में कॉम्पैक्ट नहीं है, जो पूर्णता प्रमाण के लिए गैर-मानक मॉडल्स के परिचय को प्रेरित करता है।
पहेली समाधान: "कन्सेक्यूटिव नंबर्स" पहेली को सिस्टम के भीतर सफलतापूर्वक औपचारिक रूप दिया गया और हल किया गया, जो यह दर्शाता है कि यह लॉजिक अंकगणितीय बाधाओं और एपिस्टेमिक अपडेट्स के आधार पर संभावनाओं के चरण-दर-चरण उन्मूलन को कैप्चर कर सकता है।

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

1. समस्या: "कुंद चाकू" (The Blunt Knife)

2. समाधान: एक "लेजर कटर" (The Laser Cutter)

3. "समानांतर ब्रह्मांड" की चाल (The "Parallel Universe" Trick)

4. "क्रमिक संख्याएँ" की पहेली (The "Consecutive Numbers" Puzzle)

5. मुख्य निष्कर्ष (The Bottom Line)

इसी तरह के और पेपर