5、信念变更中的可疑模式剖析

信念变更中的可疑模式剖析

1. 有限结果公设问题

在信念修正的标准方法中，存在一些公设面临着挑战。对于有限结果而言，部分公设虽在直觉上应适用于AGM操作，但实际上却并不成立；而对于其他一些有争议的公设，尽管有充分理由表明它们不应成立，但却依然被满足。

2. 成功公设的严格性

• 修正的成功公设 ：修正的成功公设（$p \in K * p$）要求输入的句子总是被接受。然而在现实生活中，当新信息与强烈持有的先前信念相矛盾时，往往会被拒绝。这种修正操作体现出对新信息的过度重视，被称为“新信息优先”“近期偏见”或“最新证据独裁”。许多学者指出需要放宽修正的成功条件，例如David Makinson认为，当新信息与旧信息冲突时，应权衡两者，若新信息过于牵强或不可信，则不应接受。
• 收缩的成功公设 ：信念收缩的成功条件同样严格，输入的句子除非是重言式，否则总是被移除。Hans Rott认为，推理者不仅在句子为逻辑真理时可以拒绝撤回句子，对于其他一些“必要真理”，也应允许拒绝撤回。

成功公设的严格性是AGM模型的问题之一，但在框架内相对容易修改。例如，可以将输入分为可接受和不可接受两类，对可接受的输入按照AGM模型处理，对不可接受的输入则不做改变。这种非优先信念修正已得到广泛研究。

公设类型	要求	现实问题	解决思路