Belief Contraction in Dynamic Epistemic Logic

技術的要約：動的認識論理における信念の縮小（Belief Contraction）

問題提起
標準的な動的認識論理（DEL）は、主に可能性の排除（ハード・アップデート）を通じて信念の変化をモデル化しており、これは信念の拡張（expansion）を捉えるには効果的であるが、事実的な命題に関する信念の縮小（contraction）をモデル化するには不十分である。これに対する有力な代替案として、クリプキ・モデルに「尤度順序（plausibility orderings）」を付加して「ソフト」なアップデート（可能性の排除ではなく、可能性の促進）を表現する手法があるが、本論文は、尤度フレームワークにおける2つの決定的な表現上の限界を特定している：

1. 肯定的内省（Positive Introspection）： 尤度順序は推移的であるため、このフレームワークは公理4（$Ba\phi \to BaBa\phi$）を妥当とする。その結果、自身の信念について誤解しているエージェントをモデル化することができない。
2. ヘッジ付き告知（Hedged Announcements）： 尤度フレームワークは、「$\phi$ は偽かもしれない」といったヘッジ付きの公開告知から生じる信念の縮小をモデル化できない。このような告知は、直感的には、エージェントに $\phi$ に関する判断を保留させる（$\phi$ を新たな事実的信念として採用することなく）ものである。本論文は、定理3.2を通じて、エージェントが $\neg p$ を信じているモデルを、エージェントが $p$ についても $\neg p$ についても判断を保留している（どちらも信じていない）モデルへと、モーダル同値性を維持したまま変換できる尤度イベント・モデルは存在しないことを証明している。

方法論
著者らは、ドクサスティック（信念的）な到達関係に対して制約（推移性やユークリッド性など）を課すことなく、標準的なマルチエージェント・クリプキ・モデル上で直接定義される新しい信念縮小のフレームワークを提案している。

• ヘッジ付き公開告知論理（HPAL）： コアとなるメカニズムは、「$\phi$ は偽かもしれない」というヘッジ付き公開告知を表す動的なモダリティ $[\div \phi]$ である。更新操作 $M \div \phi$ は、以下の通り、到達関係 $R_a$ を修正する：

  • エージェント $a$ が世界 $w$ において $\phi$ を信じている場合（$M, w \models Ba\phi$）、エージェントの到達可能な世界の集合は、$\neg \phi$ が成立するすべての世界を含むように拡張される：$R^{\div \phi}_a(w) = R_a(w) \cup \{v \in W : M, v \models \neg \phi\}$。
  • エージェントが $\phi$ を信じていない場合、到達関係は変更されない。
    このアプローチは、縮小を（世界の）制限ではなく、（エッジの）拡張として扱う。

• 一般化されたDEL（GDEL）： 私的な、あるいは半私的な告知といった、より複雑なシナリオに対応するため、著者らは一般化されたイベント・モデル $E = (E, Q, Q^+, pre)$ を導入している。これは、排除される可能性を表す $Q_a$ とは別に、イベント自体によって「導入される」可能性を表す関係 $Q^+_a$ を追加することで、標準的なイベント・モデルを拡張したものである。一般化された積更新 $M \otimes E$ は、標準的な排除（$Q$ による）と、新しい可能性の追加（$Q^+$ による）を組み合わせる。

主要な貢献と結果

1. HPALの公理化： 本論文は、ヘッジ付き公開告知の論理のための健全かつ完全な公理化（表1）を提供している。この体系には、動的な論理式を静的なドクサスティック論理式へと翻訳するための簡約公理が含まれる。主要な簡約公理（A5）は、縮小後の信念を特徴づける：エージェントが $\phi$ について縮小した後に $\psi$ を信じるのは、当初 $\phi$ を信じていなかったか、あるいは $\phi$ を信じており、かつ新たに加えられた $\neg \phi$ の世界において $\psi$ が成立する場合のいずれかである。

2. 保存性と成功性の分析：

   • 保存性（Preservation）： 著者らは、論理式 $\phi$ が「保存される」とは、$\phi \to [\div \neg \phi]\phi$ が妥当であることと定義する。彼らは、標準的な公開告知は普遍的（universal）な論理式を保存する一方で、ヘッジ付き告知は存在論的（existential）な論理式（リテラル、$\land$、$\lor$、および $eBa$ から構築されるもの）を保存することを示す。
   • 成功性（Success）： 論理式は、$\phi$ が偽かもしれないというヘッジ付き告知の後で、それが信じられなくなる場合（$[\div \phi]\neg Ba\phi$）、「成功的」であるとされる。本論文は、普遍的論理式が成功的であることを証明している。逆に、「ムーア的（Moorean）」な文、例えば $p \land Ba\neg p$ は、自己反駁的であり、したがって保存されないことが示されている。

3. AGM公理： 著者らは、この動的な設定における標準的なAGM縮小公理を評価している。

   • 妥当なもの： 閉包（Closure）、外延性（Extensionality）、および整合性（Consistency）は保持される。
   • 妥当でないもの： 成功性（Success）、包含（Inclusion）、および空虚性（Vacuity）は無制限には保持されない。例えば、ヘッジ付き告知の後、エージェントは自身の信念の欠如に関する新たな信念を獲得する場合があり（包含の違反）、これは包含性を損なう。
   • 強固な空虚性（Strong Vacuity）： 強められたバージョンの空虚性が保持される：モデル内のどこにおいてもエージェントが $\phi$ を信じていないならば、縮小は影響を与えない。

4. GDELとシミュレーション： 本論文は、GDELが標準的なDELの保守的拡張であることを確立している。主要な理論的結果（定理7.8）は、いかなる一般化された更新も、初期モデルの「洗練（refinement）」の「シミュレーション（simulation）」となるモデルを生成することである。これは、更新の二重の性質を形式的に捉えたものである：それは可能性を排除（洗練）することも、可能性を追加（シミュレーション）することもできる。

5. 表現能力： 著者らは、GDELがHPALではモデル化できないダイナミクスをモデル化できることを示している。具体的には、例7.9および命題7.10は、ヘッジ付き告知が、ある特定の背景知識と互換性のある新しい可能性を導入することで、エージェントがある命題（$p$）についての判断を保留させつつ、別の命題（$q$）に関する特定の信念を保持させるシナリオを、HPALではモデル化できないことを示している。GDELは、$Q^+$ 関係を用いて選択的に新しい可能性を導入することにより、これを克服する。

意義
本論文は、尤度に基づく信念縮小のアプローチにおける表現上の限界に対する解決策を提示していると主張している。標準的なクリプキ・モデル上に直接縮小を定義することで、このフレームワークは、肯定的内省を欠くエージェントや、ヘッジ付き告知に応じて判断を保留するエージェントをモデル化することに成功している。著者らは、本研究を、情報の喪失（縮小）と情報の獲得（拡張）の両方を許容する、標準的なDELの自然な拡張として位置づけている。彼らは、本フレームワークがエッジを追加することで尤度ダイナミクスを模倣できる一方で、縮小の過程でドクサスティックな論理式の真理値が変化することを許容するという点で、AGM理論とは異なる（これは動的な設定に固有の特徴であるが、静的なAGMモデルには欠けている）と述べている。本研究は、HPALにおけるすべての成功的な論理式の特性化、およびGDELにおいて内省の性質が保持される条件の特定という課題を今後の課題として残している。