💻 Category

cs.LO

1090 पेपर

💻 computer science

Some Results on Causal Modalities in General Spacetimes

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

Marco Lewis (Université Paris-Saclay, CNRS, CentraleSupélec, ENS Paris-Saclay, Inria, Laboratoire Méthodes Formelles), N (…)2026-07-01
🤖 machine learning

MARS: A neurosymbolic approach for interpretable drug discovery

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

Lauren Nicole DeLong, Yojana Gadiya, Paola Galdi, Jacques D. Fleuriot, Daniel Domingo-Fernández2026-06-30
💻 computer science

Security Engineering in IIIf, Part II -- Shadowing the IIIf

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

Florian Kammüller2026-06-30
💻 computer science

Overview and Roadmap of Team Automata

यह शोध पत्र टीम ऑटोमेटा (Team Automata) के औपचारिक रूप (formalism) पर पुनरावलोकन करता है, इसके सिंक्रोनाइज़ेशन तंत्र की अन्य समन्वय मॉडलों के साथ तुलना करता है, संचार गुणों, साध्यता (realizability), टूल सपोर्ट और परिवर्तनशीलता पर हालिया अनुसंधान प्रवृत्तियों का संश्लेषण करता है, और इस क्षेत्र में भविष्य के अनुसंधान के लिए एक रोडमैप की रूपरेखा प्रस्तुत करता है।

Maurice H. ter Beek, Rolf Hennicker, José Proença2026-06-30
💻 computer science

Rethinking meaning and ontologies from the perspective of ontological units

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

Paul Fabry, Adrien Barton, Jean-François Éthier2026-06-30
💻 computer science

A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems

यह शोध पत्र NP-कम्पलीट समस्याओं के बीच रिडक्शन (reductions) को विकसित करने, विश्लेषण करने और मान्य करने के लिए अनौपचारिक विवरणों और औपचारिक प्रमाणों के बीच के अंतर को पाटने हेतु URSA सॉल्वर का उपयोग करते हुए एक नवीन, संवादात्मक (interactive) SAT-आधारित ढांचे का प्रस्ताव करता है।

Predrag Janičić2026-06-30
💻 computer science

An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators

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

Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan, Tianhao Wu, Lars Lindemann, Jyotirmoy V. Deshmukh2026-06-30
🤖 machine learning

Geometric Measurements of the Axiom of Choice in Neural Proof Embeddings

यह शोध पत्र प्रदर्शित करता है कि चॉइस का अभिगृही (Axiom of Choice) न्यूरल प्रूफ़ एम्बेडिंग्स में एक मापने योग्य ज्यामितीय हस्ताक्षर छोड़ता है—जो निर्भरता ग्राफ (dependency graph) में अभिगृही से दूर जाने पर घटते विसंगति स्कोर (anomaly scores) और पुनर्निर्माण हानि (reconstruction losses) द्वारा अभिलक्षित है—जो लीन 4 (Lean 4) जैसे सिस्टम में रचनात्मक (constructive) और शास्त्रीय (classical) प्रमेय सिद्ध करने के बीच प्रदर्शन के अंतर के साथ सह-संबद्ध है और उसका पूर्वानुमान लगाता है।

Rodrigo Mendoza-Smith2026-06-30✓ Author reviewed ⓘ
💻 computer science

The Undecidability of Artificial General Intelligence (AGI) Alignment

यह शोध पत्र यह स्थापित करता है कि एजीआई (AGI) संरेखण (alignment) असंभव नहीं बल्कि संरचनात्मक रूप से unverifiable (असिद्ध करने योग्य नहीं) है, जो ट्रैखटनब्रॉट की दीवार (Trakhtenbrot's Wall) और एक व्युत्पन्न साउंडनेस-कम्प्लीटनेस-ट्रैक्टेबिलिटी ट्रिलेमा (Soundness-Completeness-Tractability Trilemma) के माध्यम से यह सिद्ध करता है कि वर्तमान रोकथाम रणनीतियाँ अस्थायी सुधार नहीं बल्कि निर्णायक सुरक्षा प्राप्त करने के लिए तार्किक अभिव्यंजना (logical expressivity) का आवश्यक त्याग हैं।

Jose Pascual Gumbau Mezquita2026-06-30
💻 computer science

Syntactic Separation Implies Computational Indistinguishability: An Abstract Obstruction Theorem

यह शोध पत्र स्थापित करता है कि एक स्थानीय प्रणाली के भीतर वाक्यात्मक पृथक्करण (syntactic separation) कम्प्यूटेशनल अविभेद्यता (computational indistinguishability) को निहित करता है, जो स्कोलेम फलन तुल्यता (Skolem function equivalence) के लिए नए व्युत्पत्ति-लंबाई निचली सीमाएँ (derivation-length lower bounds) सिद्ध करता है और यह प्रदर्शित करता है कि कैसे यह अवरोध जटिलता सिद्धांत, तर्कशास्त्र और क्रिप्टोग्राफी में मौलिक बाधाओं को एकीकृत करता है।

Fabio F. G. Buono2026-06-30