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

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

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

这个结果服从表中不包含Sarah在第一个位置而“形式逻辑”在第二个位置的行的事实。这个论证暗含的是基于表中缺乏“Sarah|形式逻辑”这样的行蕴涵Sarah没有编辑关于形式逻辑的文章的假定。所以，这个查询的结果基于的是封闭世界假定，与之相对，在开放世界假定中，没有明确的陈述的事物是未知的而不是假的。在开放世界假定中，Sarah编辑这个文章是未知的；在封闭世界假说中，她没有编辑这个文章是已知的。
None
Ray Reiter
UNK
Q8078
逻辑
Concept
Q851949
开放世界假定
Concept
Q2119400
否定为失败
ORG
Q8513
数据库
Concept
None
表
UNK
None
记录
UNK
Q1102454
封闭世界假定
Concept
Q1102454
封闭世界假定
Concept
Q1102454
封闭世界假定
Concept
Q1102454
封闭世界假定
Concept
Q1102454
封闭世界假定
Concept
opposite of
opposite of
opposite of
opposite of
opposite of