论强化迭代信念修正的逻辑：恰当序数区间算子

Darwiche 与 Pearl 1997 年的开创性文章概述了迭代信念修正逻辑的一系列基线原则。这些原则，即 DP 公设，已通过多种替代方式得到补充。所提出的多数建议导致了一种将信念状态等同于世界序的“还原论”形式。然而，这一立场近来被批评为强得不可接受。其他提案，例如广受欢迎的原则 (P)（亦称“独立性”），作为“可容许”修正算子的特征，则值得称赞地更为温和。在本文中，我们用若干新条件补充了 DP 公设与 (P)。DP 公设约束了先验与后验条件信念集之间的关系，而我们的新原则显著地规定了由同一先验经不同修正得到的两个后验条件信念集之间的关系。我们表明，由此产生的算子族（包含词典式修正与克制式修正）可表示为关联于“恰当序数区间”（POI）赋值的信念状态，该结构比简单的世界序更为精细。我们在文末指出，这些算子满足大量 AGM 时代公设的迭代版本，包括超扩张（Superexpansion），而这些对于一般的可容许算子并不成立。