| 翻訳と辞書 |
閉世界仮説[へいせかいかせつ]
閉世界仮説（へいせかいかせつ、）は、現時点で真であると判明していないことは偽であると仮定することを意味する。論理学では、Raymond Reither が閉世界仮説を形式化した。閉世界仮説の逆を開世界仮説（Open world assumption）と呼び、知識の欠如を偽とは見なさない。
== 概要 ==
失敗による否定（Nagation as failure）は閉世界仮説と関連しており、真であると証明されなかった述語は偽であると見なされる。
ナレッジマネジメントでは、閉世界仮説が少なくとも2つの状況で使われる。第一に、知識ベースが完成した時点で、そこに含まれない知識は偽であるとされる。例えば、企業の従業員のデータベースが完全であれば、そこに記録されていない人は従業員ではない。第二に、知識ベースが不完全であるときでも、そこにない知識は偽であるとして回答することが最善の場合である。例えば、以下のような編集者と記事名の表がデータベースにあったとき、"Formal Logic" の編集に関わっていない編集者というクエリに対しては “Sarah Johnson” と答えることが期待される。
閉世界仮説では、この表が完全である（全ての編集者と記事の対応が格納されている）と仮定され、この表の中では Sarah Johnson だけが Formal Logic に関わっていない編集者とされている。もしここで開世界仮説を採用すれば、この表には全ての情報（編集者と記事の対応）が格納されていないと考えられ、答えが得られない。つまり、この表に載っていない編集者がどれだけいるか、Sarah Johnson が関わってこの表に載っていない記事がどれだけあるか分からないのである。
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「閉世界仮説」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|