8、信念改变框架中的描述符修订：理论与应用

信念改变框架中的描述符修订：理论与应用

1. 描述符修订的引入

在构建新的信念改变框架时，我们来到了关键的最后一步，即从原始输入（I 的元素）过渡到基于成功条件的改变，这些成功条件通过描述符来表达。我们的目标是用描述符 而不是 I 的元素来修订信念状态 K，这就需要一个以描述符为输入的信念改变操作 ◦。这个操作将取代并统一传统的操作，例如，K ◦Bp 承担修订的角色，K ◦¬Bp 承担收缩的角色，K ◦{¬Bp1, …, ¬Bpn} 承担多重（打包）收缩的角色等。

使用描述符作为输入并不需要引入新的输出。我们假设 I 是详尽的，即从 K 直接可达的每个新信念状态都可以通过 I 中的某个输入进行修订而得到。这意味着对于每个描述符 ，我们可以将 K ◦ 与某个 ı ∈ I 的信念状态 K ⊚ı 等同起来。结合操作 ◦ 应成功的条件，即结果 K ◦ 应满足 （除非没有具有此属性的集合 K ⊚ı），我们得到：如果 在 KK 内是可满足的，那么 K ◦ ∈ {K′ ∈ KK | sL(K′) ⊩ }。

为了构建这样的操作，我们需要从 {K′ ∈ KK | sL(K′) ⊩ } 中选择一个元素。通常，这个集合会有多个元素，例如，如果 表示“我家客厅里的旧花瓶碎了”，那么 在大量潜在的信念改变结果中都能得到满足，包括一些牵强的情况，如“一只野鸟从开着的窗户飞进来撞倒了花瓶”。通过 进行的修订不应导致这些牵强的结果，而应是一个“最小改变”的信念状态，直观地说，它与我之前的信念状态尽可能接近或相似，同时与 的同化兼容。

在建模确定性信念改变时，我们必须做出的关键假设是，在满足 的各种潜在结果中，有一个被挑选出来作为通过 进行修订的结果。在形式语言中，这种挑选最方便地由一个选择函