Dynamic epistemic logic とは

動的知的ロジック(DEL)は、知識と情報の変化を扱う論理的なフレームワークです。通常、DELは複数のエージェントを含む状況に焦点を当て、イベントが発生したときに知識がどのように変化するかを調べます。これらのイベントは、実際の世界の事実上のプロパティを変更することができます(オニュアイベントと呼ばれます)。たとえば、赤いカードは青で塗りつぶされます。彼らはまた、世界の事実上の特性を変えることなく知識の変化を引き起こすことができます(認識事象と呼ばれています)。例えば、カードが公然(または私的に)赤であることが明らかにされます。もともと、DELは認識事象に焦点を当てていた。このエントリーでは、元のDELフレームワークの基本的なアイデアの一部を紹介します。 DELの一般的な詳細については、参考文献を参照してください。
DELは関連性があり、コンピュータサイエンス(人工知能)、哲学(正式認識論)、経済学(ゲーム理論)、認知科学などの多くの研究分野に応用されている。コンピュータサイエンスにおいて、DELは、例えば、複数のインテリジェントエージェントが相互作用し情報を交換するシステムであるマルチエージェントシステムに非常に関連している。
動的論理と認識論理の組み合わせとして、動的認識論理は若い研究分野です。これは1989年にPlazaの公式発表の論理から始まりました。独立して、GerbrandyとGroeneveldは、プライベートアナウンスを扱うシステムを提案しました。これはVeltmanの仕事からインスピレーションを受けました。 van Ditmarschによって提案された別のシステムは、Cluedoの主なインスピレーションであった。しかし、最も影響力がありオリジナルのシステムはBaltag、Moss、Soleckiによって提案されたシステムでした。このシステムは、上記の研究で研究されたすべてのタイプの状況に対処することができ、その基本的な方法論は概念的に根拠があります。このエントリーでは、いくつかの基本的な考え方を紹介します。
正式には、DELは、アクションを記述するイベントモデルと、イベントモデルを通じて記述されたアクションを実行した結果として認識モデルがどのように更新されるかを定義する製品更新演算子を含むことによって、通常の認識論理を拡張する。知的論理が最初に想起されるでしょう。次に、アクションとイベントが画像に入り、DELフレームワークを導入します。