没有证书，没有绝对的言语行为：布劳沃尔对公共理性的保证约束

Arxiv：2603.03971v5宣布类型：替换-交叉摘要：生成性人工智能可以将不确定性转换为看似权威的裁决，取代民主认知机构所依赖的正当性工作。作为修正，我为负责任的人工智能提出了一个受布劳威尔启发的断言约束：在高风险领域，系统只有在能够提供可公开检查和可竞争的权利证书时才能断言或拒绝声明；否则它们必须返回未确定的结果。该约束产生了三种状态的接口语义(断言、拒绝、未确定)，其状态标记了对直言的权利，而不是底层世界声明的真值。该框架将内部权利与公共地位区分开来，同时将它们作为一个边界对象通过证书联系起来。在哲学上，它发展了一种应用直觉主义：抵制未经保证的完备性成为公共机器演讲的一种规范，在这种规范下，绝对承诺需要展示和可争议的权利。我通过结构化证书、用于阈值和argmax谓词的决策层门以及原因编码的输出契约来操作约束。一个设计引理表明，在合同规定的负边上的反驳-可靠性条件下，证书-声音二元全集假定在所声明的范围上见证可判定。根据拟议的标准产出合同，未确定不是一种可调整的拒绝选项，而是一种强制性状态，只要现有证书不是唯一许可断言或拒绝。通过使产出对可争议的权证负责，而不仅仅是信心，这篇论文的目的是保护自动言语进入公共理由的认知机构。