封閉世界假定
維基百科,自由的 encyclopedia
封閉世界假定是當前不是已知的事物都為假的假定。這個名字也稱呼Ray Reiter對這個假定的邏輯形式化。與封閉世界假定相對立的使用開放世界假定,宣稱知識的缺乏不蘊涵虛假。
否定為失敗與封閉世界假定有關,因為它總體上相信不能被證明為真的所有命題都是假的。
封閉世界假定經常暗含在數據庫中,因為所有沒有明確的包換在表中記錄都暗含的假定表示這是假(而不是未知)這個事實。例如,如果數據庫包含下列表,報告寫作給定文章的人的,關於沒有編輯形式邏輯的文章的人的查詢,經常被預期返回「Sarah Johnson」。
More information 編輯, 編輯者 ...
編輯 | |
---|---|
編輯者 | 文章 |
John Doe | 形式邏輯 |
Joshua A. Norton | 形式邏輯 |
Sarah Johnson | 空間數據庫導論 |
Charles Ponzi | 形式邏輯 |
Emma Lee-Choon | 形式邏輯 |
Close
這個結果服從表中不包含Sarah在第一個位置而「形式邏輯」在第二個位置的行的事實。這個論證暗含的是基於表中缺乏「Sarah|形式邏輯」這樣的行蘊涵Sarah沒有編輯關於形式邏輯的文章的假定。所以,這個查詢的結果基於的是封閉世界假定,與之相對,在開放世界假定中,沒有明確的陳述的事物是未知的而不是假的。在開放世界假定中,Sarah編輯這個文章是未知的;在封閉世界假說中,她沒有編輯這個文章是已知的。