💻 Category

cs.LO

1086 पेपर

🤖 AI

Explainable Belief Harmonization under Dynamic Epistemic Partitions

यह शोध पत्र एजेंटों की अवलोकन क्षमताओं में गतिशील परिवर्तनों को प्रबंधित करने के लिए उत्तर सेट प्रोग्रामिंग (Answer Set Programming) और पायथन (Python) को संयोजित करने वाले एक हाइब्रिड ढांचे को प्रस्तुत करता है, जो रनटाइम एपिस्टेमिक पार्टीशन शिफ्ट (runtime epistemic partition shifts) के दौरान विश्वास ग्राह्यता (belief admissibility), अद्वितीय द्रव्यमान-संरक्षण मरम्मत (unique mass-preserving repairs) और पूर्ण स्पष्टीकरण के लिए औपचारिक गारंटी प्रदान करता है।

Adam Kostka, Jarosław A. Chudziak2026-07-24
🤖 AI

Logic Programming Semantics for Causal Processes

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

Felix Weitkämper2026-07-24
💻 computer science

Beyond the Spell: A Dynamic Logic Analysis of Misdirection

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

Benjamin Icard, Raul Fervari2026-07-23
💻 computer science

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties

यह शोध पत्र कैटालिस्ट (Cataclyst) प्रस्तुत करता है, जो एक नवीन काउंटर-एग्जांपल-गाइडेड एन्यूमरेटिव सिंथेसिस टूल है जो मिक्सड-क्वांटिफायर फर्स्ट-ऑर्डर लॉजिक प्रॉपर्टीज से रिकर्सिव प्रोग्राम्स को सफलतापूर्वक सिंथेसाइज करने के लिए स्केचिंग, सिंटैक्टिक कंस्ट्रेंट लर्निंग और प्रोफाइलैक्टिक प्रूनिंग का लाभ उठाता है, जो 60 में से 59 बेंचमार्क को हल करता है और मौजूदा दृष्टिकोणों से काफी बेहतर प्रदर्शन करता है।

Derek Egolf, Stavros Tripakis2026-07-23
💻 computer science

Colimit-Based Composition of High-Level Computing Devices

यह शोध पत्र कंप्यूटन मॉडल (computon model)—एक श्रेणी-सैद्धांतिक ढांचा जो परिमित कोलिमिट निर्माणों (finite colimit constructions) के माध्यम से डेटा और नियंत्रण को अलग करता है—का एक मूर्त यथार्थ प्रस्तुत करता है, जिसमें नए ऑपरेटरों को पेश किया गया है, परिचालन अर्थ विज्ञान (operational semantics) को परिभाषित किया गया है, और संरचनात्मक रूप से सही, उच्च-स्तरीय कार्यात्मक कंप्यूटिंग उपकरणों के निर्माण के लिए एक ओपन-सोर्स प्रोग्रामिंग वातावरण प्रदान किया गया है।

Damian Arellanes2026-07-23
💻 computer science

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)

यह शोध पत्र Mathlib की सफलता से प्रेरणा लेते हुए, CSLib के संस्थापक तकनीकी सिद्धांतों, पुन: प्रयोज्य अर्थ संबंधी इंटरफेस (semantic interfaces), प्रमाण स्वचालन (proof automation), और भाषाओं एवं मॉडलों में प्रारंभिक विकास को रेखांकित करते हुए, Lean में औपचारिक कंप्यूटर विज्ञान के लिए एक तेजी से बढ़ते केंद्रीकृत पुस्तकालय के रूप में इसका परिचय देता है।

Christopher Henson, Fabrizio Montesi2026-07-23
💻 computer science

Collusion Relations and their Applications to Balance Theory

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

Jean-Baptiste Joinet, Carlos Olarte2026-07-23
💻 computer science

Efficient Decision Procedures for RNmatrix Semantics

यह शोध पत्र प्रतिबंधित गैर-नियत मैट्रिक्स (RNmatrices) के लिए कुशल स्वचालित प्रमेय सिद्धकर्ताओं (automated theorem provers) को प्रस्तुत करता है, जो उनके अर्थों को सैटिस्फिएबिलिटी मॉड्यूल थ्योरीज (SMT) समस्याओं के रूप में कूटबद्ध करके, पैराकंसिस्टेंट, इंट्यूशनिस्टिक और मोडल लॉजिक्स की वैधता तय करने और काउंटरमॉडल बनाने में अत्याधुनिक प्रदर्शन प्राप्त करता है।

Renato R. Leme, Carlos Olarte, Elaine Pimentel2026-07-23
💻 computer science

ITPEval: Benchmarking Formal Translation Across Interactive Theorem Provers

यह शोध पत्र ITPEval प्रस्तुत करता है, जो चार प्रमुख इंटरैक्टिव थ्योरम प्रूवर्स (interactive theorem provers) में स्वचालित औपचारिक प्रमाण अनुवाद (automated formal proof translation) के मूल्यांकन के लिए पहला बेंचमार्क और एकीकृत बुनियादी ढांचा है, जो यह प्रकट करता है कि वर्तमान लार्ज लैंग्वेज मॉडल्स लाइब्रेरी मिसमैच (library mismatches) के कारण प्रमाण अनुवाद में काफी संघर्ष करते हैं और केवल नेटिव टाइप-चेकिंग (native type-checking) अक्सर सिमेंटिक फिडेलिटी (semantic fidelity) का अतिरंजित अनुमान लगाती है।

Jiayi Wu, Robert Joseph George, Anima Anandkumar2026-07-23
💻 computer science

Inference-Behaviour Semantics for All∗^\ast Connectives in Two-Dimensional Sequent Calculi

यह शोध पत्र दो-आयामी सीक्वेंट कैलकुली (sequent calculi) में 10,000 से अधिक संयोजक नियम युग्मों का व्यवस्थित रूप से विश्लेषण करके नए इन्फरेंस-बिहेवियर सिमेंटिक्स (I-bS) दृष्टिकोण को मान्य करता है ताकि 21 सार्थक संयोजकों की पहचान की जा सके और विभिन्न तार्किक प्रणालियों में उनके अर्थ संबंधी अंतर्संबंधों को सटीक रूप से मानचित्रित किया जा सके, जिससे यह प्रकट होता है कि सहज बोध (intuitionistic) संयोजक अपने शास्त्रीय समकक्षों के अर्थ को ठीक आधा हिस्सा समाहित करते हैं।

Sophie Nagler2026-07-23