封闭世界假设(CWD)-closed-world assumption

版权声明：欢迎转载，但请注明出处，若有什么不对的地方，欢迎指正，https://blog.csdn.net/wutenglong123/article/details/82707435

封闭世界假设

封闭世界假设是将当前未知的事物都设为假的假设：

小明不知道是不是一位老师，因为我们发现在教师的列表下没有小明的名字，则在CWD下，我i们认为小明不是一名老师。

形式化定义

向知识库增加当前不被它蕴涵的内容是：若知识库是Horn¹范式，则结果相容：

Horn clause

1.Horn 的合取为合取范式
2.有且只有一个肯定句节（文，原文：litral，随清华大学离散数学教材翻译）的horn子句叫做明确子句，没有任何肯定句节的horn子句叫目标子句。

ex:
　$\neg p\vee \neg q\dots \dots \vee \neg t\vee u$
可以转换成
$(p \ \land q \ \land……\land t ) \to u $

为其他情况时：
{ E n g l i s h ( A ) ∨ C h i n e s e ( B ) } { \{ English(A) ∨ Chinese(B) \} } {English(A)∨Chinese(B)}
不蕴含$English(A)$ 不蕴含$Chinese(B)$
若向此知识库增加上述两段知识会导致
{ E n g l i s h ( A ) ∨ C h i n e s e ( B ) , ¬ E n g l i s h ( A ) , ¬ C h i n e s e ( B ) } { \{ English(A) ∨ Chinese(B) ,\neg English(A),\neg Chinese(B)\} } {English(A)∨Chinese(B),¬English(A),¬Chinese(B)}

换句话说，王师傅只给村子里不给自己剃头的人剃头，那么王师傅究竟给不给自己剃头呢？

1. 张师傅给自己剃头，那么张师傅应该是一个不给自己剃头的人，矛盾。
2. 张师傅不给自己剃头，那么张师傅就会给不给自己剃头的人剃头，就会把自己剃了，矛盾。

即CWD会将相容的知识库转化为矛盾的

由于这个矛盾难以让人忍受，许多其他的形式被提出：

K ∧ {   ¬ f   ∣   f ∈ F   } K \land \{\ \neg f \ \vert \ f \in F \ \} K∧{ ¬f ∣ f∈F }
$F$ 为$K$ 的自由否定的公式集合

自由否定$f$的定义如下:

封闭世界假定（CWA）
$f$ 是不被$K$ 蕴含的肯定句节（或：文）。

普通CWA（GCWA）
$f$ 为肯定命题， 使得对于$K⊬c$ 的所有肯定子句$c$，$T⊬c\vee f$成立。

扩展GCWA（EGCWA）
同上，但$f$为肯定句节的合取。

细致CWA（CCWA）
与GCWA相同，但是只考虑肯定子句，若它是由来自肯定集合的肯定句节和来自其他集合的（肯定和否定二者）句节构成

扩展CWA（ECWA）
与CCWA相似，但$f$ 是不包含给定集合的句节的任意公式

附

资料来源于网络书籍等资料，由hiqex收集整理

---

1. ↩︎