封閉世界假定

封閉世界假定是當前不是已知的事物都爲假的假定 。 這個名字也稱呼Ray Reiter對這個假定的邏輯形式化 。 與封閉世界假定相對立的使用開放世界假定 ， 宣稱知識的缺乏不蘊涵虛假 。 否定爲失敗與封閉世界假定有關 ， 因爲它總體上相信不能被證明爲真的所有命題都是假的 。 封閉世界假定經常暗含在數據庫中 ， 因爲所有沒有明確的包換在表中記錄都暗含的假定表示這是假 （ 而不是未知 ） 這個事實 。 例如 ， 如果數據庫包含下列表 ， 報告寫作給定文章的人的 ， 關於沒有編輯形式邏輯的文章的人的查詢 ， 經常被預期返回 “ Sarah Johnson ” 。 這個結果服從表中不包含Sarah在第一個位置而 “ 形式邏輯 ” 在第二個位置的行的事實 。 這個論證暗含的是基於表中缺乏 “ Sarah | 形式邏輯 ” 這樣的行蘊涵Sarah沒有編輯關於形式邏輯的文章的假定 。 所以 ， 這個查詢的結果基於的是封閉世界假定 ， 與之相對 ， 在開放世界假定中 ， 沒有明確的陳述的事物是未知的而不是假的 。 在開放世界假定中 ， Sarah編輯這個文章是未知的 ； 在封閉世界假說中 ， 她沒有編輯這個文章是已知的 。