cs.LO पेपर | Gist.Science

Univalence without function extensionality

यह शोध पत्र यह प्रदर्शित करता है कि यूनिवैलेंस एक्सिओम (univalence axiom) का एक कमजोर संस्करण, जिसे "कैटेगोरिकल यूनिवैलेंस" (categorical univalence) कहा जाता है, फलन विस्तारशीलता (function extensionality) को निहित नहीं करता है, जो वॉन ग्लेहन (Von Glehn) के पॉलिनोमियल मॉडल निर्माण का विश्लेषण करता है, जो मार्टिन-लॉफ टाइप थ्योरी (Martin-Löf type theory) के ऐसे मॉडल उत्पन्न करता है जो कैटेगोरिकल यूनिवैलेंस को संतुष्ट करते हैं जबकि फलन विस्तारशीलता को खंडित करते हैं।

Evan Cavallo, Jonas Höfer2026-05-04

💻 computer science

Delooping presented groups in homotopy type theory

यह शोधपत्र जनरेटिंग सेट्स (generating sets) का उपयोग करके होमोटोपी टाइप थ्योरी में प्रेजेंटेड ग्रुप्स (presented groups) के डेलूपिंग्स (deloopings) के निर्माण के लिए सरलीकृत, गणनात्मक रूप से कुशल विधियों को प्रस्तुत करता है, और परिणामी हायर इंडक्टिव टाइप्स (higher inductive types) तथा उनके संबद्ध केली ग्राफ्स (Cayley graphs) और कॉम्प्लेक्स (complexes) का विश्लेषण करने के लिए एक टाइप-थ्योरेटिक 2-पॉलीग्राफ फ्रेमवर्क (type-theoretic 2-polygraph framework) पेश करता है, जिसके विकास को क्यूबिकल एगडा (Cubical Agda) में औपचारिक रूप दिया गया है।

Camil Champin, Samuel Mimram, Emile Oleon2026-05-01

🤖 AI

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement

यह शोध पत्र एक पदानुक्रमित अनुकूली परिशोधन दृष्टिकोण प्रस्तुत करता है जो नाजुक क्षेत्रों को गतिशील रूप से लक्षित करके बड़े पैमाने के मार्कोव निर्णय प्रक्रियाओं में नीति संश्लेषण को त्वरित करता है, जो निकट-इष्टतम सटीकता बनाए रखते हुए PRISM की तुलना में 2 गुना तक की गति वृद्धि प्राप्त करता है।

Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou2026-05-01

💻 computer science

Strong Normalisation for Asynchronous Effects

यह शोधपत्र लिंडले और स्टार्क के $\top\top$ -लिफ्टिंग दृष्टिकोण का विस्तार करके एसिंक्रोनस इफेक्ट्स कैलकुलस (asynchronous effects calculus)—इसके शुद्ध रूप और नियंत्रित पुनरावर्ती व्यवहार (controlled recursive behaviour) दोनों में—की स्ट्रॉन्ग नॉर्मलाइजेशन को स्थापित करता है, जिसके सभी परिणाम एगडा (Agda) में औपचारिक रूप से सत्यापित किए गए हैं।

Danel Ahman, Ilja Sobolev2026-05-01

📈 economics

Topological Semantics for Common Inductive Knowledge

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

Siddharth Namachivayam2026-05-01

💻 computer science

Constructing (Co)inductive Types via Large Sizes

यह शोध पत्र इंडक्टिव और को-इंडक्टिव प्रकारों (types) के निर्माण के लिए पैरामीट्रिक क्वांटिफायर्स और आकारों के एक बड़े प्रकार के साथ इंटेंशनल टाइप थ्योरी का एक सुसंगत विस्तार प्रस्तावित करता है, जो पिछले दृष्टिकोणों की सीमाओं और एगडा (Agda) के वर्तमान साइज़्ड टाइप्स कार्यान्वयन की असंगतता को दूर करता है।

Bastiaan Laarakker, Daniël Otten, Benno van den Berg2026-05-01

💻 computer science

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

यह शोध पत्र Horn DL ऑन्टोलॉजीज़ (विशेष रूप से bottom concept के साथ या उसके बिना EL और ELI) को ABox और Boolean क्वेरी उदाहरणों में फिट करने की कम्प्यूटेशनल जटिलता की जांच करता है, जो सिमुलेशन के माध्यम से फिटिंग ऑन्टोलॉजीज़ के अस्तित्व को अभिलक्षणिक बनाता है और यह स्थापित करता है कि यह समस्या atomic queries के लिए PTime से लेकर conjunctive और union queries के लिए क्रमशः $\Sigma_P^2$ -complete या ExpTime-complete तक विस्तृत है।

Marvin Grosser, Carsten Lutz2026-05-01

💻 computer science

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

यह शोध पत्र एक द्वि-स्तरीय, वरीयता-आधारित अर्थपूर्ण ढांचे का प्रस्ताव करता है जो डिफ़ॉल्ट (defeasible) सशर्त दायित्वों को मॉडल करने के लिए गैर-मोनोटोनिक तर्क (nonmonotonic reasoning) के साथ हान्सन-लुईस शैली के द्वयिक कर्तव्यशास्त्र (dyadic deontic logic) का विस्तार करता है, जिसमें पूर्व कमियों को दूर करने और बाधित इनपुट/आउटपुट तर्क के साथ संबंध स्थापित करने के लिए विशिष्ट आदर्श और सामान्य विश्व क्रमों का उपयोग किया गया है।

Xavier Parent2026-05-01

💻 computer science

Finite-Horizon First-Order Rank Profiles of Regular Languages

यह शोध पत्र सीमित लंबाई वाले शब्दों पर भाषा वर्गीकरण के लिए आवश्यक क्वांटिफायर डेप्थ (quantifier depth) को मापने के लिए परिमित-क्षित प्रथम-क्रम रैंक प्रोफाइल (finite-horizon first-order rank profile) प्रस्तुत करता है, यह स्थापित करते हुए कि नियमित भाषाओं (regular languages) के लिए, यह रैंक एक तीक्ष्ण द्विशाखता (sharp dichotomy) प्रदर्शित करती है जहाँ यह तभी स्थिर रहती है जब भाषा अपिरियोडिक (aperiodic) हो, अन्यथा शब्द की लंबाई के साथ लघुगणकीय (logarithmically) रूप से बढ़ती है।

Madina Bazarova, Faruk Alpay2026-05-01

💻 computer science

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes

यह शोध पत्र मिलनर के चार्ट्स और स्ट्रिंग डायग्राम्स का उपयोग करते हुए, गैर-नियत प्रक्रियाओं (nondeterministic processes) के लिए व्यवहारिक दूरी (behavioural distance) का एक सुदृढ़ और पूर्ण आरेखीय स्वयंसिद्धीकरण (diagrammatic axiomatisation) प्रस्तुत करता है, जो एक परिवर्तन-मुक्त (variable-free), संयोजनपरक (compositional) ढांचा प्रदान करता है जो भाषा तुल्यता (language equivalence) से ध्यान हटाकर बिसिमिलरिटी (bisimilarity) पर केंद्रित करता है।

Wojciech Różowski, Robin Piedeleu, Alexandra Silva, Fabio Zanasi2026-05-01

← पिछला अगला →