arXiv:2608.15147cs.AIcs.MA2026-08

为机器智能在真实世界落地提供可审计的合法性框架

Constitutive Priors for Machine Intelligence: A Legitimacy Theory of the Artificial Physical World

  • 提出可合法提取先验知识的普布利卡准则,基于人工物理世界的有意构造与可读生成档案
  • 证明故障定位在封闭概念层可多项式时间求解,所有判断均可追溯至明文条款
  • 明确大模型与规则引擎的分工:规则由人预设,现场判断交由大模型,生成过程全程可审计

机器智能向物理世界推进面临结构性困境:部署即需可审计判断,但故障样本稀缺或缺失,而‘何为故障’的规范存在于设计文档而非运行数据中。本文认为该缺口源于结构,提出‘普布利卡准则’:从某世界提取先验框架合法,当且仅当该世界具有有意构造性(C1)并留下可读生成档案(C2)。四类世界(现象、基础物理、人工物理、人工符号)沿约束强度轴分布,仅有‘人工物理世界’(如建筑、工厂、基础设施)在双轴上均高,其规范先于实例存在。合法路径是从未知生成档案中提取框架,而非从数据中归纳。进一步推导出框架必须包含四个不可兼容载体,故至少四层(语法、概念、知识、实例);在封闭概念层,故障定位可多项式时间判定,每项判断皆可追溯至明文条款。该准则亦界定大模型运行分工:可预设职责交由规则引擎,超出预设的现场判断交由大模型,所有生成均被明文条款夹持,具备可审计性。理论具可证伪性:提出四条可证伪命题(P1-P4),其中包含‘下一次大规模AI突破将发生在人工物理世界’。证据包括形式化证明(附录A)、两个案例(附录B:冷却站、好奇号第1536个火星日异常)及八条逆向溯源链(从BACnet到RDF/OWL,附录C)。

原文摘要 · Abstract (English)

Machine intelligence's push into the physical world is stuck on a gap: deployment demands auditable judgments from day one, fault samples are scarce or absent, and the norms defining "what counts as a fault" live in design documents, not in operational data. We argue this gap is structural, and locate where it can be legitimately closed. We divide the worlds machine intelligence faces into four (phenomenal, basic physical, artificial physical, artificial symbolic) along one axis of constraint strength, and give the Promulgation Criterion: extracting a prior framework from a world is legitimate if and only if the world is intentionally constituted (C1) and has left a readable generative archive (C2). On the criterion's two gradient axes, exactly one world is high on both: the artificial physical world (buildings, factories, infrastructure), whose norms precede their instances; the legitimate path is to extract the framework from the archive, not to induce it from data. We then show what shape such a framework must take: four construction goals force four incompatible carriers, hence at least four layers (syntax, concepts, knowledge, instances); on a closed concept layer fault localization is decidable in polynomial time, and every judgment is interrogable, traceable to a promulgated clause. The same criterion fixes the runtime division of labor with LLMs: promulgatable duties go to rule engines, on-site judgments beyond promulgation go to LLMs, and every generation sandwiched by promulgated clauses is auditable. The theory is falsifiable: four bets (P1-P4) with explicit falsification conditions -- among them that the next large-scale AI breakthrough occurs in the artificial physical world. Evidence: formal proofs (Appendix A); two cases (Appendix B: a cooling plant; the Curiosity rover Sol 1536 anomaly); eight reverse-read lineages, from BACnet to RDF/OWL (Appendix C).

机器智能可审计性先验知识大模型分工

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。