[論文レビュー] The logic of ontic and epistemic change

Hans P. van Ditmarsch, Barteld Kooi|arXiv (Cornell University)|Oct 15, 2006

Logic, Reasoning, and Knowledge参考文献 19被引用数 1

ひとこと要約

この論文は、世界状態（オンティック）の変化と知識（エピステムス）の変化を統合する動的知識論理を導入し、完全な公理的体系を提供する。プログラムの代入を真または偽の値に制限しても表現力に損失がないことが示され、カードゲームや通信プロトコルの正確な論理的構造のモデル化が可能になる。

ABSTRACT

We propose an epistemic logic incorporating dynamic operators to describe information changing events, both informative actions, where agents become more informed about the non-changing state of the world, as ontic changes, wherein the world and the facts describing it change themselves as well. A complete axiomatisation is provided. There are some independent semantic results, for example that assignments in programs can be restricted to those to false or true only. We apply the logic to model systems for card deals and to model protocols. 1

研究の動機と目的

• 世界状態の変化（オンティック変化）と知識の更新（エピステムス的変化）を統一的な形式的枠組みで統合する論理的枠組みの構築を目的とする。
• 提案された論理に対して完全な公理的体系を提供し、論理的完全性と整合性を保証することを目的とする。
• この論理におけるプログラムの代入を真または偽の値に制限しても、表現力を損なわないことを示すこと。
• この論理をカードの扱いや通信プロトコルといった具体的なシステムに応用し、実用的有用性を示すこと。
• 論理的構造を支持し、動的知識論理の推論の複雑さを軽減する独立した意味論的結果を確立すること。

提案手法

• 知識論理に動的演算子を拡張し、情報的行動（知識の更新）とオンティック変化（世界状態の変化）を両方モデル化する。
• 事実の変化（オンティック）とエージェントの知識の変化（エピステムス）を明確に区別する形式的意味論を導入する。
• すべての妥当な論理式が体系内で証明可能であることを保証する、完全なヒルベルト形式の公理的体系を構築する。
• プログラムにおける代入を真または偽の値に制限してもよいことが証明され、論理言語の簡素化が可能になる。
• カードの配りのようなシステムをモデル化するための枠組みを適用し、カードの配りが世界状態の変化とエージェントの知識の更新を引き起こすことを捉える。
• 通信プロトコルのモデル化にも論理を応用し、メッセージが世界状態とエージェントの信念の両方を変化させることを捉える。

実験結果

リサーチクエスチョン

• RQ1 オンティック変化とエピステムス的変化を、単一の動的論理枠組み内で形式的に統合する方法は何か？
• RQ2 動的知識論理において、完全な表現力を維持するために必要な最小限の代入操作の集合は何か？
• RQ3 オンティック的およびエピステムス的ダイナミクスを組み合わせた論理に対して、完全な公理的体系を提供できるか？
• RQ4 この論理は、カードゲーム や通信プロトコルといった現実世界のシステムをどのようにモデル化できるか？
• RQ5 真または偽の値への代入の制限によって、どのような意味論的性質が生じるか？

主な発見

• 論理は完全な公理的体系を備え、システム内でのすべての妥当な論理式が証明可能であることを保証する。
• プログラムの代入を真または偽の値に制限しても、表現力に損失がないことが確立された。
• この枠組みは、物理的なカードの配り（オンティック変化）とそれに伴う知識の更新（エピステムス的変化）を捉えることで、カードの扱いを効果的にモデル化している。
• この論理は、メッセージが世界状態の変化と知識の更新の両方を引き起こすため、通信プロトコルのモデル化に応用可能である。
• 複雑な代入が単純な真偽値代入によって定義可能であるといった、独立した意味論的結果が得られた。
• オンティック的およびエピステムス的ダイナミクスの統合により、知識と世界状態の変化を別々に取り扱うのとは対照的に、より一貫性があり表現力に富んだ形式的枠組みが実現された。