cs.LO पेपर | Gist.Science

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics

यह शोध पत्र विभिन्न लेबल वाले ट्रांज़िशन सिस्टम्स (labeled transition systems) में उनके प्रेरित तुल्यात्मकताओं (induced equivalences) के संयोग को प्रदर्शित करके, इंटरनल $\pi$ -कैलकुलस में मिलर के $\lambda$ -कैलकुलस के एनकोडिंग और ऑपरेशनल गेम सेमेंटिक्स के बीच एक घनिष्ठ संबंध स्थापित करता है, जिससे स्टोर वाले $\lambda$ -टर्म्स के लिए पूर्ण अमूर्तता (full abstraction) प्राप्त करने हेतु दोनों मॉडलों के बीच 'अप-टू' (up-to) विधियों और संगतता परिणामों (congruence results) जैसी तकनीकों के हस्तांतरण को सक्षम बनाया जा सके।

Guilhem Jaber, Davide Sangiorgi2026-05-06

🤖 AI

Machine Learning as Iterated Belief Change a la Darwiche and Pearl

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

Theofanis Aravanis2026-05-06

💻 computer science

Pebble Games and Algebraic Proof Systems

यह शोध पत्र पेबलिंग गेम्स (रिवर्सिबल, ब्लैक और ब्लैक-व्हाइट) और बीजगणितीय प्रमाण प्रणालियों (नल्लस्टेंलस, मोनोमियल कैलकुलस और पॉलिनोमियल कैलकुलस) के बीच एक सटीक समानांतरता स्थापित करता है, यह सिद्ध करते हुए कि एक ग्राफ $G$ पर पेबलिंग रणनीतियाँ सीधे मेल खाते हुए स्पेस और टाइम/साइज जटिलताओं के साथ पेबलिंग फॉर्मुलों के रिफ्यूटेशन (खंडन) के अनुरूप होती हैं, जिससे नए डिग्री सेपरेशन और मजबूत ट्रेड-ऑफ परिणाम सक्षम होते हैं।

Lisa-Marie Jaser, Jacobo Toran2026-05-06

🤖 machine learning

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic

यह शोध पत्र न्यायवाक्य तर्क (syllogistic logic) को एक बेंचमार्क के रूप में उपयोग करते हुए, बड़े भाषा मॉडलों (LLMs) में संरचनात्मकता (compositionality) और पुनरावृत्ति (recursiveness) की विशिष्ट सामान्यीकरण चुनौतियों की जांच करता है, जो यह प्रकट करता है कि जहाँ LLMs पुनरावृत्ति को अच्छी तरह से संभालते हैं, वहीं वे संरचनात्मकता के साथ संघर्ष करते हैं, और एक हाइब्रिड न्यूरो-सिंबोलिक आर्किटेक्चर प्रस्तावित करता है जो तंत्रिका दक्षता (neural efficiency) को प्रतीकात्मक पूर्णता (symbolic completeness) के साथ जोड़कर इन सीमाओं को प्रभावी ढंग से दूर करता है।

Manuel Vargas Guzmán, Jakub Szymanik, Maciej Malicki2026-05-06

🔢 mathematics

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability

यह शोध पत्र एक नवीन "शिफ्ट नियम" (shift rule) वाले एक एकीकृत एकल-निष्कर्ष नेस्टेड सिक्वेंट कैलकुलस (single-conclusion nested sequent calculus) को पेश करता है जो सहज ज्ञान युक्त व्याकरण तर्कशास्त्र (intuitionistic grammar logics) की विशेषता रखता है, जो कट-उन्मूलन (cut-elimination) के एक वाक्यात्मक प्रमाण को सक्षम करता है और शास्त्रीय व्याकरण तर्कशास्त्रों (classical grammar logics) के एक निष्ठावान एम्बेडिंग (faithful embedding) के माध्यम से उनकी सामान्य वैधता समस्या की अनिश्चितता (undecidability) को स्थापित करता है।

Tim S. Lyon2026-05-06

🤖 AI

A Neuro-Symbolic Framework for Accountability in Public-Sector AI

यह शोध प्रबंध एक न्यूरो-सिम्बोलिक ढांचे का प्रस्ताव करता है जो एक वैधानिक ऑन्टोलॉजी, नियम निष्कर्षण और सॉल्वर-आधारित तर्क को एकीकृत करता है ताकि यह सुनिश्चित किया जा सके कि कैलफ्रेस (CalFresh) के लिए स्वचालित पात्रता निर्णय कानूनी नियमों के अनुरूप हों, जिससे पता लगाने योग्य और चुनौती देने योग्य प्रक्रियात्मक जवाबदेही सक्षम हो सके।

Allen Daniel Sunny, Ido Sivan-Sevilla2026-05-06✓ Author reviewed ⓘ

🤖 AI

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries

यह शोधपत्र रॉक (Rocq) में एक मशीन-चेक्ड औपचारिकीकरण प्रस्तुत करता है जो यह प्रदर्शित करता है कि एआई (AI) वर्कफ़्लो के लिए प्रभाव-पारदर्शी शासन, आंतरिक कम्प्यूटेशनल अभिव्यंजकता या अर्थगत पारदर्शिता से समझौता किए बिना, बाहरी प्रभावों को सख्ती से सीमित कर सकता है और सुरक्षा विधेयकों को लागू कर सकता है।

Alan L. McCann2026-05-06

🤖 AI

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries

यह शोध पत्र गवर्नड निष्पादन (governed execution) के लिए एक यांत्रिक बीजगणितीय अर्थविज्ञान (mechanized algebraic semantics) प्रस्तुत करता है, जिसे इंटरेक्शन ट्रीज़ (interaction trees) और को-इंडक्शन (coinduction) का उपयोग करते हुए 32 रॉक मॉड्यूल (Rocq modules) में औपचारिक रूप दिया गया है, जो एक सममित मोनॉइडल श्रेणी (symmetric monoidal category) स्थापित करता है जहाँ गवर्नेंस को स्वयंसिद्ध (axiomatized), कंपोजिशनल (compositional) और अभिव्योजकता (expressibility) के साथ सह-सीमांत (coterminous) बनाया गया है, जो यह सुनिश्चित करता है कि सभी निर्मित प्रोग्राम गवर्नड हैं जबकि ट्यूरिंग पूर्णता (Turing completeness) को संरक्षित किया गया है और अनमध्यस्थ I/O (unmediated I/O) को वर्जित किया गया है।

Alan L. McCann2026-05-06

🤖 AI

Value Functions for Temporal Logic: Optimal Policies and Safety Filters

यह शोध पत्र अनडिस्काउंटेड अनंत-क्षितिज टेम्पोरल लॉजिक कार्यों में ग्रीडी Q-फंक्शन मैक्सिमाइजेशन की सीमा को संबोधित करता है, जिसमें नेस्टेड विनिर्देशों (specifications) के लिए अनुकूलतमता सुनिश्चित करने हेतु स्टेट हिस्ट्री पर आधारित नॉन-मार्कोवियन पॉलिसियों का निर्माण किया गया है और यह प्रदर्शित किया गया है कि कैसे Q-फंक्शंस जटिल टेम्पोरल लॉजिक आवश्यकताओं के लिए सेफ्टी फिल्टर्स के रूप में कार्य कर सकते हैं।

Oswin So, William Sharpless, Sylvia Herbert, Chuchu Fan2026-05-06

🤖 AI

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics

यह शोध पत्र रिपेयर सिमेंटिक्स (repair semantics) के तहत अबडक्शन (abduction) के उपयुक्त धारणाओं को परिभाषित करते हुए और हल्के विवरण तर्क (light-weight description logics) DL-Lite और EL_bot के लिए एक व्यापक जटिलता विश्लेषण प्रदान करते हुए, असंगत ज्ञान आधारों (inconsistent knowledge bases) के लिए ABox अबडक्शन समस्या को संबोधित करता है।

Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan2026-05-06

← पिछला अगला →