9、描述符修正：确定性与不确定性的探索

描述符修正：确定性与不确定性的探索

1. 单选择描述符修正

单选择描述符修正涵盖了多数合理的信念改变模式，但也包含一些极不合理的模式。例如，“绝对顽固”模式（$X = {K}$ 且对于所有 $\varphi$ 都有 $K \circ \varphi = K$）就和“完全轻信”模式一样不合理。理性认知主体的行为应处于这两个极端之间，但这一要求难以用公理形式表达。

不过，其他合理属性可以用公理表达，如：
- 确认性（confirmation） ：如果 $K \vDash \varphi$，那么 $K \circ \varphi = K$。
- 避免不一致性（inconsistency avoidance） ：如果 $K \circ \psi \vDash \varphi$ 且 $K \circ \psi \not\vdash \bot$，那么 $K \circ \varphi \not\vdash \bot$。

这两个公设可以通过选择函数的属性来刻画：
- 定义 5.6 ：设 $C$ 是 $X$ 上的选择函数。$C$ 是 $X$ - 偏好的，当且仅当对于所有的 $Y$，如果 $X \in Y \subseteq X$，那么 $X \in C(Y)$。如果 $X$ 是信念集的集合，那么 $C$ 对于可由描述符定义的参数是 $X$ - 偏好的，当且仅当对于所有描述符 $\varphi$，如果 $X \in [[\varphi]]$，那么 $X \in C([[\varphi]])$。
- 观察 5.7