11、信念修正中的全局描述符与动态描述符

信念修正中的全局描述符与动态描述符

全局单选择和中心线性修正

在全局描述符修正中，有两种重要的操作类型：全局中心线性修正和共外延（全局）中心线性修正。

对于全局中心线性修正，其等价条件如下：
- 定理1 ：设◦是信念集集合X上的全局描述符修正，以下两个条件等价：
- 条件A ：◦是全局中心线性修正。
- 条件B ：◦满足以下公设：
- 闭包 ：X ◦ = Cn(X ◦)
- 相对成功 ：X ◦ ⊩ 或 X ◦ = X
- 局部规则性 ：如果X ◦ ⊩，那么X ◦ ⊩
- 累积性 ：如果X ◦ ⊩，那么X ◦ = X ◦( ∪)
- 确认 ：如果X ⊩，那么X ◦ = X

对于共外延（全局）中心线性修正，其等价条件如下：
- 定理2 ：设◦是信念集集合X上的全局描述符修正，以下两个条件等价：
- 条件Ae ：◦是共外延（全局）中心线性修正。
- 条件Be ：◦满足以下公设：
- 闭包 ：X ◦ = Cn(X ◦)
- 相对成功 ：X ◦ ⊩ 或 X ◦ = X