Buchumschlag

AI Space Physics: Constitutive boundary semantics for open AI institutions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Romanchuk, Oleg, Bondar, Roman
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Semantic Laundering in AI Agent Architectures: Why Tool Boundaries Do Not Confer Epistemic Warrant
von: Romanchuk, Oleg, et al.
Veröffentlicht: (2026)

Operator-based semantics for choice programs: is choosing losing? (full version)
von: Heyninck, Jesse
Veröffentlicht: (2024)

Automated planning with ontologies under coherence update semantics (Extended Version)
von: Borgwardt, Stefan, et al.
Veröffentlicht: (2025)

Reasoning in Neurosymbolic AI
von: Tran, Son, et al.
Veröffentlicht: (2025)

On logic and generative AI
von: Gurevich, Yuri, et al.
Veröffentlicht: (2024)

The Responsibility Vacuum: Organizational Failure in Scaled Agent Systems
von: Romanchuk, Oleg, et al.
Veröffentlicht: (2026)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
von: Prudhomme, Tim, et al.
Veröffentlicht: (2024)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
von: Hamilton, Kyle, et al.
Veröffentlicht: (2026)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
von: Keyi, Hu
Veröffentlicht: (2025)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
von: Majkic, Zoran
Veröffentlicht: (2026)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
von: Švancár, Slavomír, et al.
Veröffentlicht: (2024)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
von: Kim, Chang-Eop
Veröffentlicht: (2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
von: Tudor, Alexis R., et al.
Veröffentlicht: (2025)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
von: Guasch, Antoni, et al.
Veröffentlicht: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
von: Florath, Andreas
Veröffentlicht: (2024)

Ethical Hyper-Velocity (EHV): A Hardware-Rooted Zero-Trust Runtime Enforcement Architecture for Agentic AI Systems
von: Sharma, Riddhi Mohan
Veröffentlicht: (2026)

Credibility-Limited Revision for Epistemic Spaces
von: Sauerwald, Kai
Veröffentlicht: (2024)

On the Trap Space Semantics of Normal Logic Programs
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2026)

Approximation Fixpoint Theory with Refined Approximation Spaces
von: Vanbesien, Linde, et al.
Veröffentlicht: (2025)

Formal Explanations for Neuro-Symbolic AI
von: Paul, Sushmita, et al.
Veröffentlicht: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
von: Purgał, Stanisław J., et al.
Veröffentlicht: (2022)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
von: Li, Jinzhao, et al.
Veröffentlicht: (2023)

Epistemic reflections on AI answering our questions: overwatch, erudite, logician, interlocutor
von: Hoorn, Johan F., et al.
Veröffentlicht: (2023)

Categorical semantics of compositional reinforcement learning
von: Bakirtzis, Georgios, et al.
Veröffentlicht: (2022)

Shields to Guarantee Probabilistic Safety in MDPs
von: Heck, Linus, et al.
Veröffentlicht: (2026)

Decentralized Planning Using Probabilistic Hyperproperties
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

Application of AI to formal methods - an analysis of current trends
von: Stock, Sebastian, et al.
Veröffentlicht: (2024)

Formal Mathematical Reasoning: A New Frontier in AI
von: Yang, Kaiyu, et al.
Veröffentlicht: (2024)

Learning to Rank the Initial Branching Order of SAT Solvers
von: Eriksson, Arvid, et al.
Veröffentlicht: (2026)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2023)

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
von: Patel, Manooshree, et al.
Veröffentlicht: (2025)

Data quality dimensions for fair AI
von: Quaresmini, Camilla, et al.
Veröffentlicht: (2023)