講演名 2002/5/17
Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
緒方 典裕,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 近年、アナウンスメント、ゲーム、通信などにおける共通知識の更新や「信念変更」に関する様相論理系「Dynamic Epsitemic Logic」、「Dynamic Doxastic Logic」が提案されている。本稿では、Kripkeモデルをcoalgebraの観点から一般化した「Kripke system」による意味論を与え、比較し、サーベイする。
抄録(英) Recently, modal logic systems, of updates of common knowledge in announcements, games, and communication, called Dynamic Epistemic Logics, and Dynamic Doxastic Logics, handling belief revisions, have been proposed. This paper will survey them from the point of view of Kripke systems, generalized Kripke models in terms of coalgebras.
キーワード(和) Dynamic Epistemic Logics / Dynamic Doxastic Logics / Kripke system / coalgebra
キーワード(英) Dynamic Epistemic Logics / Dynamic Doxastic Logics / Kripke system / coalgebra
資料番号 AI2002-4
発行日

研究会情報
研究会 AI
開催期間 2002/5/17(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Artificial Intelligence and Knowledge-Based Processing (AI)
本文の言語 JPN
タイトル(和) Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
サブタイトル(和)
タイトル(英) A Survey of Dynamic Epistemic Logics and Dynamic Doxastic Logics from the point of view of Kripke Systems
サブタイトル(和)
キーワード(1)(和/英) Dynamic Epistemic Logics / Dynamic Epistemic Logics
キーワード(2)(和/英) Dynamic Doxastic Logics / Dynamic Doxastic Logics
キーワード(3)(和/英) Kripke system / Kripke system
キーワード(4)(和/英) coalgebra / coalgebra
第 1 著者 氏名(和/英) 緒方 典裕 / Norihiro OGATA
第 1 著者 所属(和/英) 大阪大学言語文化部
Faculty of Language and Culture, Osaka University
発表年月日 2002/5/17
資料番号 AI2002-4
巻番号(vol) vol.102
号番号(no) 91
ページ範囲 pp.-
ページ数 6
発行日