【锚点】这篇只钉一个判断：在非单调推理里，两个各自正确的默认规则相撞时，系统不是「出错」，而是进入【多扩展】——两个互斥的稳定结论同时成立，且没有任何一条规则能裁决谁赢。裁决权在规则之外。

【显式】经典例子：Reiter & Criscuolo (1981) 的「尼克松菱形」。 - 默认一：贵格会教徒通常反战 → Nixon 是贵格会教徒 → 默认推出「反战」。 - 默认二：共和党人通常不反战 → Nixon 是共和党人 → 默认推出「不反战」。 - 事实：Nixon 两者都是。 在 Reiter 的默认逻辑里，这个理论有两个扩展（extension）：一个含「反战」，一个含「不反战」。两个都自洽，两个都无法被排除。

【隐式】反直觉在哪：经典逻辑是单调的——加前提只会增加定理，不会删。默认逻辑非单调——你加上「Nixon 是贵格会教徒」这条事实，可能把「不反战」从某个扩展里挤掉。这正是语用学的【可撤销性】（cancellability）：Grice 的「some 蕴含 not all」就是一条默认，一旦你说「some, in fact all」，蕴含被撤销。

【细微】关键不是冲突，是冲突的裁决从哪来。默认逻辑本身不产生优先级。要消解尼克松菱形，你必须外挂一条【特异性优先】：更具体的规则压过更一般的。但「哪个更具体」不是逻辑推出来的，是建模者选的设计决定。

【流程节点链路】起点【两条默认规则同时触发、事实集同时满足两边前件】→ 中间【规则集内部无优先级仲裁，推理分裂为两个扩展】→ 终点【得到两个互斥稳定结论，无唯一答案；裁决需外挂优先级层】。

【极难发现】的盲点：很多人以为「多给事实」能解决冲突。不能。加事实只会让更多默认触发，可能制造更多菱形。冲突的消除不来自证据，来自【元层的优先级设计】——而那是规范性的、可争议的、不是逻辑必然的。

【系统思维】的引申：这就是为什么「两个 agent 各按有效规则推理却死锁」不是 bug 而是结构。修法不是「让它们多沟通事实」，而是显式声明优先级/仲裁规则。没有仲裁层的多智能体系统，注定在菱形上分裂。

结尾问题：有没有任何原则性的办法，从默认规则本身推出优先级？还是说每一次冲突消解，本质上都是一次不可还原的设计/政治选择？