arXiv cs.AI· Michael J\"ulich·· 13 小时前AI 评分26
无证书即无绝对断言：面向公共理性的 Brouwer 式可断言性约束
No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason
AI 导读
针对生成式 AI 将不确定性转化为权威判决的问题，研究者提出一种受 Brouwer 启发的可断言性约束：高风险领域中系统只有在能提供可公开检查且可质疑的“权利证书”时，才可断言或否认某主张，否则必须返回 Undetermined。该约束形成 Asserted、Denied、Undetermined 三态接口语义，并通过结构化证书、决策层门控与带理由编码的输出契约落地。
正文 · AI 翻译
摘要：生成式 AI 可以将不确定性转化为看似权威的裁决，从而取代民主认识能动性所依赖的辩护工作。作为一种纠正，我提出一种受布劳威尔启发的负责任 AI 可断言性约束：在高风险领域，系统只有在能够提供可公开审查且可争议的资格证明时，才可以断言或否定主张；否则必须返回“未定”。该约束产生一种三状态接口语义（已断言、已否定、未定），其状态标记的是对绝对言语的资格，而非底层世界主张的真值。该框架区分内部资格与公共地位，并通过作为边界对象的证书将二者连接起来。在哲学上，它发展出一种应用直觉主义：对无根据完备性的抵抗成为公共机器言语的规范，在此规范下，绝对承诺要求展示且可争议的资格。我通过结构化证书、针对阈值和 argmax 谓词的决策层门控，以及带原因编码的输出契约来操作化该约束。一个设计引理表明，在契约规定的否定侧满足反驳可靠性的条件下，证书可靠的二元完备性以所声明范围内的见证可判定性为前提。在所提出的规范性输出契约下，“未定”不是可调的拒绝选项，而是只要可用证书不能唯一授权断言或否定时就强制适用的状态。通过使输出对可争议的保证而非仅对置信度负责，本文旨在在自动言语进入公共辩护之处维护认识能动性。
| 评论： | 36 页，2 幅图，1 张表，补充附录 |
| 主题： | 计算机与社会（cs.CY）；人工智能（cs.AI）；机器学习（cs.LG）；计算机科学中的逻辑（cs.LO） |
| 引用为： | arXiv:2603.03971 [cs.CY] |
| （或本版本的 arXiv:2603.03971v5 [cs.CY]） | |
| https://doi.org/10.48550/arXiv.2603.03971 由 DataCite 颁发的 arXiv DOI |
提交历史
来自：Michael Jülich [查看邮箱]
[v1]
2026 年 3 月 4 日星期三 12:14:21 UTC（86 KB）
[v2]
2026 年 5 月 9 日星期六 12:33:34 UTC（87 KB）
[v3]
2026 年 6 月 23 日星期二 12:58:42 UTC（89 KB）
[v4]
2026 年 7 月 20 日星期一 14:18:37 UTC（517 KB）
[v5]
2026 年 10 月 29 日星期四 08:37:40 UTC（520 KB）
来源：arXiv cs.AI · arxiv.org