← Back to all news
arXiv AI By Jason Gower, Michael J. de C. Henshaw, Siyuan Ji

Models as Governed Interfaces for AI-Native MBSE: Read-Side Adequacy and Write-Side Admissibility

Read the original on arXiv AI →

The paper argues that while machine-readable models like SysML v2 enable AI participation in systems engineering, the data architecture surrounding these models must also be robust. It introduces the concept of epistemic adequacy, split into read‑side adequacy (ensuring derivations, status, and provenance are answerable) and write‑side admissibility (filtering AI contributions before they enter the record). The authors illustrate their ideas using the public Apollo 11 SysML v2 reconstruction and propose a Governed‑Query Architecture Framework to enforce these principles.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

Related stories

arXiv AI
Jul 21

An Explicit World Model Based on Data-First Ontology: DaoQL Multimodal Storage Validation and Counterfactual Reasoning Evaluation

arXiv:2607. 17269v1 Announce Type: new Abstract: Large language models encode world models implicitly in neural weights, which exposes four structural risks in high-precision domains such as medicine and finance: hallucination, frozen knowledge, poor explainability, and poor modifiability.

By Zhanbo Li, Shifeng Wu, Xiangjin Meng, Wenjie Cai
llmsagentsmultimodalbenchmarkssafety
More like this →
arXiv AI
Aug 20

One Gate Is Not Enough: Composing Stateful Pre-Action Controls for Agentic AI

The paper investigates how multiple pre‑action controls—authority, resource, and evidence gates—interact in agentic AI systems. It formalizes remediation‑induced control coupling, showing that remediation can invalidate earlier judgments and that the order of remediation matters. The authors propose a remediate‑and‑regate protocol to restore soundness, analyze non‑commuting remediation operators, and demonstrate the approach on a deterministic open‑data artifact with three published engines.

By Gaston Besanson
agents
More like this →
arXiv AI
Sep 17

Making AI-Assisted Claims Independently Challengeable: Publication Authority and a Protocol for Falsifiable Publication Records

The paper introduces Publication Authority, a single-use, non-transferable capability that ensures AI-assisted claims can be independently challenged by providing a machine-readable, falsifiable publication record. It presents the PAC-2026 protocol, evaluates its fourth bounded semantic freeze (SF-4), and demonstrates through extensive modeling that the system enforces strict obligations on evidence, authorization, and lifecycle continuity. The study confirms internal coherence, bounded safety, and fault sensitivity, though it does not address factual truth or field efficacy.

By Torsten Olivi Tiltack, Yifei Dong, Kun Yu, Xu Wang, Wei Liu, Jianlong Zhou, Ren Ping Liu, Fang Chen
safety
More like this →