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