知識に関する推論

ウィキペディア小見出し辞書

知識に関する推論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/09/28 17:38 UTC 版)

「非単調論理」の記事における「知識に関する推論」の解説

何かを知らないという事実を含む論理は単調でないと考えられる。というのも、新たな知識を獲得したとき、それを知らないという事実が削除されるからである。このような追加による削除が単調性に反している。このような論理として自己認識論理がある。