Changing agents and ascribing beliefs in dynamic epistemic logic

要約

動的認識論理 (Van Ditmarsch, Van Der Hoek, & Kooi, 2008) では、アクション フレーム (Baltag & Moss, 2004; Baltag, Moss, & Solecki, 1998) を使用して、1 つのアクションのさまざまなビューを記述するのが通例です。
この記事では、アクション フレームを拡張してエージェントを追加または削除します。これらをエージェント更新フレームと呼びます。
これは、Baltag と Moss (2004) によって以前に研究された、プライベートな更新や欺瞞などのいくつかの興味深い例をモデル化するために使用できる、特定のエージェントのみが更新の情報を取得するように選択的に行うことができます。
坂間 (2015);
Van Ditmarsch、Van Eijck、Sietsma、および Wang (2012)。
アクションフレームによるクリプキモデルの製品更新は、アクションを実行した結果である変換されたクリプキモデルを説明する省略された方法です。
これは、新しい設定でのエージェント更新フレームによる Kripke モデルの和積更新に大幅に拡張されます。
これらのアイデアは、ストーリーをモデル化する AI の問題に適用されます。
エージェント更新フレームに基づいた更新モダリティを備えた動的認識論理が、健全で完全な証明システムを持ち続けていることを示します。
モデルのチェックと充足可能性の決定手順は複雑であることが予想されます。
サブ言語の場合、多項式空間アルゴリズムがあります。

要約(オリジナル)

In dynamic epistemic logic (Van Ditmarsch, Van Der Hoek, & Kooi, 2008) it is customary to use an action frame (Baltag & Moss, 2004; Baltag, Moss, & Solecki, 1998) to describe different views of a single action. In this article, action frames are extended to add or remove agents, we call these agent-update frames. This can be done selectively so that only some specified agents get information of the update, which can be used to model several interesting examples such as private update and deception, studied earlier by Baltag and Moss (2004); Sakama (2015); Van Ditmarsch, Van Eijck, Sietsma, and Wang (2012). The product update of a Kripke model by an action frame is an abbreviated way of describing the transformed Kripke model which is the result of performing the action. This is substantially extended to a sum-product update of a Kripke model by an agent-update frame in the new setting. These ideas are applied to an AI problem of modelling a story. We show that dynamic epistemic logics, with update modalities now based on agent-update frames, continue to have sound and complete proof systems. Decision procedures for model checking and satisfiability have expected complexity. For a sublanguage, there are polynomial space algorithms.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google