15、逻辑推理中的句子修订、撤销与相关关系

逻辑推理中的句子修订、撤销与相关关系

1. 句子修订

句子修订是逻辑推理中的重要操作，其中涉及到全局句子修订和基于一维距离的句子修订等概念。
- 全局句子修订 ：可以从全局描述符修订中推导得出。设◦是集合X上的（确定性）全局描述符修订，操作∗定义为对于所有X∈X和p∈L，X ∗ p = X ◦ Bp，这就是可从◦推导得出的（确定性）全局句子修订。然而，这种推导得出的全局句子修订并不满足Darwiche - Pearl的四个迭代修订假设，即DP1、DP2、DP3和DP4。即使在距离对称且为一维的基于距离的中心线性修订的过度简化模型中，这些假设也不成立。
- 一维距离的句子修订 ：当二元度量δ满足存在实值函数ł，使得对于所有X, Y∈X，δ(X, Y) = |ł(X) - ł(Y)|时，称δ为一维距离度量。基于一维距离度量的描述符修订是一维的，基于此的句子修订就是一维距离的句子修订。同样，对于一维距离的句子修订，DP1、DP2、DP3和DP4假设一般也不成立。

假设	内容
DP1	如果q ⊢ p，那么(X ∗ p) ∗ q = X ∗ q
DP2	如果q ⊢ ¬p，那么(X ∗ p) ∗ q = X ∗ q
DP3	如果X ∗ q ⊢