Autoepistemic logicとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Autoepistemic logicの意味・解説 

自己認識論理

(Autoepistemic logic から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/11/18 09:24 UTC 版)

ナビゲーションに移動 検索に移動

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

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


統語論

自己認識論理の統語論は、命題論理に知識を表す様相作用素 を追加したものである。 を論理式としたとき が既知であることを意味する。したがって が既知であることを意味し、 を知らないことを意味する。

この統語論により、事実に関する知識に基づく推論が可能となる。例えば、 は、 が真であることが未知ならば、それを偽とみなすことを意味する。これは失敗による否定に他ならない。

意味論

自己認識論理の意味論は推論の展開に基づくもので、命題論理のそれと類似した役割を持つ。命題論理モデルでは個々の原子項の真偽を指定するが、この拡張においては個々の論理式 の真偽を指定する。特に自己認識論理式 T の展開は、 に含まれる全ての部分論理式 についてこの指定をする。 を含む全ての部分論理式は真偽のどちらかなので、この指定は を命題論理式として扱うことを可能にする。特にこの条件において、 を内含するかどうかは命題論理の規則でチェック可能である。初期の前提が展開であるため、部分論理式 が内含されるのは、 が初期の前提として真とされた場合のみである。

例えば、論理式 において、ボックス部分論理式は のひとつだけである。従って、考慮すべき展開は真と偽の2種類だけである。実際には、以下のようになる。

を偽と仮定した場合
と等価であり、 は真とされているので、 は(仮定が成り立つ限り)恒に真である。従って は内含されない。 が偽ということは は既知ではないので、この結論が暗に裏付けられる。従って、 が偽であるという前提は展開である。
を真と仮定した場合
を内含する。従って が真であるという当初の前提に含まれる暗黙の前提、すなわち が真であると知られていることは充足している。結果として、これはもう1つの展開である。

従って論理式 は2つの展開を持ち、その1つでは は未知であり、もう1つでは は既知である。後者の場合、 が真であるという初期前提が が真であることの唯一の裏づけであるため、直観的でない。言い換えれば、これは自立した仮定である。このような自立した信念を扱う論理を not strongly grounded と言い、そうでない論理を strongly grounded と言う。strongly grounded な自己認識論理も存在する。

関連項目

参考文献

  • G. Gottlob (1995). Translating default logic into standard autoepistemic logic. Journal of the ACM, 42:711-740.
  • T. Janhunen (1998). On the intertranslatability of autoepistemic, default and priority logics. In Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence (JELIA'98), pages 216-232.
  • W. Marek and M. Truszczynski (1991). Autoepistemic logic. Journal of the ACM, 38(3):588-619.
  • R. C. Moore (1985). Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25:75-94.
  • I. Niemelä (1988). Decision procedure for autoepistemic logic. In Proceedings of the Ninth International Conference on Automated Deduction (CADE'88), volume 310 of Lecture Notes in Computer Science, pages 675-684. Springer.

「Autoepistemic logic」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Autoepistemic logic」の関連用語

Autoepistemic logicのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Autoepistemic logicのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの自己認識論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS