Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

スポンサーリンク

概要

• 論文の詳細を見る

• 近年、アナウンスメント、ゲーム、通信などにおける共通知識の更新や「信念変更」に関する様相論理系「Dynamic Epsitemic Logic」、「Dynamic Doxastic Logic」が提案されている。本稿では、Kripkeモデルをcoalgebraの観点から一般化した「Kripke system」による意味論を与え、比較し、サーベイする。

• 2002-05-17

著者

• 緒方 典裕

  大阪大学言語文化部

関連論文

• Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• TL2000-12 領域オントロジーと領域言語

スポンサーリンク