閉世界仮説

閉世界仮説(Close world assumption: CWA)は、「真ということが示されていない証明されていないもの」は全て偽とする仮説のこと. データベースなどの完全な情報を持つシステムでは閉世界仮説を採用する形になる. もし閉世界仮説を導入しない場合に、「Aさんは犬ではない」「Aさんは皿ではない」と言ったように全ての事柄についてその否定を書く必要がある.しかし、逆に持っている知識が少ない場合には、誤った推論が行われる. 例えば「犬は走る」ということのみを知っていた場合、閉世界仮説に基づけば「犬以外は走らない」という知識を推定することになる.しかしこれは実際の事実は異なってくる. 上記のように閉世界仮説は完全なデータがあれば、推定される事柄は正しくなる.例えば、全ての従業員のデータが入っているデータベースに名前で検索されても出てこない人は、従業員ではないと結論づけて問題ない. 頭ごなしに全て否定しない仮説は開世界仮説.

Prologなどの論理プログラミング用語では、「失敗による否定」を行うことが多く、 この「失敗による否定」は真と導けなかったものは偽とする「閉世界仮説」に即した挙動となっている.