ウィキペディア

自己認識論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2009/09/23 19:14 UTC 版)

自己認識論理（英: Autoepistemic logic）とは、知識に関する知識を表現したり推論したりするために定式化された形式論理である。命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。

安定モデル意味論は、自己認識論理を単純化したものと見ることができる。安定モデル意味論は失敗による否定のある論理プログラミングの意味論として使われている。