38、结构化概率论证中的信念修正与多粒度数据库模型

结构化概率论证中的信念修正与多粒度数据库模型

结构化概率论证中的信念修正

在结构化概率论证的信念修正领域，我们首先探讨了两个一致性假设在特定条件下的等价性。

设 • 为一个算子，满足 $I • (f, af ′) = (Π_{EM}, Π_{AM} ∪ {f}, af ′′)$ 且 $\forall w, Π_{I•(f,af ′)}^{AM}(w) ⊆ Π_{I∪(f,af ′)}^{AM}(w)$。该算子满足一致性假设 1 当且仅当它满足一致性假设 2。

接下来，我们引入了用于修正 P - PreDeLP 程序的算子。为了保持一致性并满足包含性假设，对于与世界 $w$ 相关的 $Π_{AM}(w)$，我们引入了候选替换程序集：
[
candPgm(w, I) = {Π′ {AM} | Π′ {AM} ⊆ Π_{AM}(w) \text{ 且 } Π′ {AM} \text{ 是一致的，且不存在 } Π′′ {AM} ⊆ Π_{AM}(w) \text{ 使得 } Π′′ {AM} ⊃ Π′ {AM} \text{ 且 } Π′′ {AM} \text{ 是一致的}}
]
直观地说，$candPgm(w, I)$ 是 $Π {AM}(w)$ 的最大一致子集的集合。

例如，考虑一个 P - PreDeLP 程序 $I$ 和以下 EM 知识库：
- $rain ∨ hail : 0.5 ± 0.1$;
- $rain ∧ hail : 0.3 ± 0.1$;
- $wind : 0.2 ± 0.0$。 </