[科普中国]-封闭世界假定

封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定，宣称知识的缺乏不蕴涵虚假。

介绍否定为失败与封闭世界假定有关，因为它总体上相信不能被证明为真的所有命题都是假的。

封闭世界假定经常暗含在数据库中，因为所有没有明确的包换在表中记录都暗含的假定表示这是假（而不是未知）这个事实。例如，如果数据库包含下列表，报告写作给定文章的人的，关于没有编辑形式逻辑的文章的人的查询，经常被预期返回“Sarah”。

|| ||

这个结果服从表中不包含Sarah在第一个位置而“形式逻辑”在第二个位置的行的事实。这个论证暗含的是基于表中缺乏“Sarah|形式逻辑”这样的行蕴涵Sarah没有编辑关于形式逻辑的文章的假定。所以，这个查询的结果基于的是封闭世界假定，与之相对，在开放世界假定中，没有明确的陈述的事物是未知的而不是假的。在开放世界假定中，Sarah编辑这个文章是未知的；在封闭世界假说中，她没有编辑这个文章是已知的1。

缺陷如果逻辑中含有否定目标，则封闭世界假定可能会得出矛盾的结论。

小米给自己剃头（shaves）。张师傅是个剃头匠，他给村里所有不给自己剃头的人剃头（是否定目标）。问张师傅给不给自己剃头。

如果张师傅不给自己剃头，那么由于张师傅是村民（villager（张师傅）），也不给自己剃头（not（shaves(X,X）)），所以得出结论张师傅应该给自己剃头。于是得出矛盾结论。

如果张师傅给自己剃头，那么要求张师傅是村民（villager（张师傅）），且not（shaves(X,X）)为真，即张师傅不给自己剃头。于是得出矛盾结论。

参见开放世界假定

非单调逻辑

界限

否定为失败

缺省逻辑

本词条内容贡献者为:

王沛 - 副教授、副研究员 - 中国科学院工程热物理研究所