封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称唿Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定，宣称知识的缺乏不蕴涵虚假。否定为失败与封闭世界假定有关，因为它总体上相信不能被证明为真的所有命题都是假的。封闭世界假定经常暗含在数据库中，因为所有没有明确的包换在表中记录都暗含的假定表示这是假（而不是未知）这个事实。例如，如果数据库包含下列表，报告写作给定文章的人的，关于没有编辑形式逻辑的文章的人的查询，经常被预期返回“Sarah”。这个结果服从表中不包