An Abstract Worlds Semantic Framework for Belief Change Operators

技術的要約：抽象的世界（Abstract Worlds）に基づく信念変化オペレータのセマンティック・フレームワーク

問題提起
AGMフレームワーク（Alchourrón et al., 1985）に端を発する信念変化の理論は、歴史的に特定の論理構文、特に古典命題論理（CPL）に結び付けられてきた。その後のKatsuno-Mendelzon（KM）やMultiple Changeといったフレームワークによって範囲は拡大されたものの、ほとんどのオペレータはその基礎となる論理に構造的に拘束されている。この依存性は、フレームワーク間の比較や、非古典論理へのオペレータの適応を妨げている。さらに、非古典論理に関する既存の研究は、多くの場合、古典的なAGMオペレータのみに依拠しており、多様な非優先的（non-prioritized）オペレータ（例：遮蔽された縮小（shielded contraction）、信頼性制限付き修正（credibility-limited revision）、フィルタリングされた修正（filtered revision）、および調整された修正（moderated revision））を考慮できていない。したがって、これらの多様なオペレータを体系化し、AGM準拠の論理を超えて信念変化理論を一般化できる、統一された構文に依存しないセマンティック・フレームワークが必要とされている。

手法
著者らは、世界（worlds）を特定の論理構文とは独立した任意のインデックス集合 $I$ の原始的な要素として扱う集合論的フレームワークである**抽象的世界セマンティクス（Abstract Worlds Semantics: AWS）**を導入する。このアプローチは、集合の代数 $(\mathcal{P}(I), \cap, \cup, ^c, \subseteq)$ を基礎構造として利用することで、Groveの可能世界セマンティクス（1988）を一般化するものである。

手法は主に3つの段階で進行する：

1. 移動（Movements）のセマンティックな定義： 本フレームワークは、信念変化を単一のオペレータとしてではなく、知識（$A$）と新しい情報（$B$）を表す集合の積集合と包含関係に基づく一連の「移動」（拡張、縮小、修正、変化なし、および調整）として定義する。
2. 選択関数によるオペレータの構築： 著者らは、世界選択関数 $\sigma$ を用いて、初等的な世界オペレータ（縮小 $-_w$ および 修正 $*_w$）を定義する。さらに、これら初等的なオペレータを統合する新しい**多才なオペレータ（versatile operators）**の族（$\circ_w$）を導入する。多才なオペレータは、2つの選択関数 $\sigma$ と $\rho$ によって定義され、これによって拡張、修正、縮小、およびその中間にある「調整」の全範囲をカバーすることが可能となる。
3. タルスキ的論理への翻訳： この抽象的なセマンティック・フレームワークを具体的な論理体系に接続するために、著者らはSuszkoの還元（Reduction）とガロア接続（Galois Connections）を適用する。これは、AWSフレームワークをタルスキ的論理（包含、単調性、および冪等性を満たす帰結作用素によって定義される論理）上に写像することを含む。これには、信念集合（論理式の閉集合）と、値付けの閉集合との間の全単射を確立することが含まれ、これにより、世界ベースの公理を信念集合の公理へと翻訳することが可能になる。

主要な貢献

• 多才なオペレータの族： 本論文は、古典的な縮小、修正、および非優先的オペレータを包含する統一的なクラスとして、初等的世界多才オペレータを定義する。これらのオペレータは、入力に応じて拡張、修正、縮小、または調整として振る舞うことができる一連の公理を満たす。
• 非優先的オペレータの体系化： 本フレームワークは、外部の論理式集合に依存することなく、オペレータの振る舞いから導出される**信頼できる（credible）および疑わしい（questionable）**関係を定義することにより、非優先的オペレータ（遮蔽された縮小、信頼性制限付き修正、フィルタリングされた修正、および調整された修正）に対する均質な説明を提供する。
• タルスキ的論理への一般化： 著者らは、AWSがCPLに限定されないことを示す。タルスキ的表現を用いることで、信念変化オペレータが、AGM準拠ではないもの（すなわち、回復公理が成立しないもの）を含むあらゆるタルスキ的論理に対して定義できることを示す。
• 統一された表現定理： 本論文は、以下の内容を示す表現定理を確立している：
  • 初等的世界の縮小と修正は、同一の選択関数によって構成される双対である。
  • 多才なオペレータは、一対の選択関数、または一対の関連する縮小／修正オペレータから構成できる。
  • T1タルスキ的論理（CPLを含む）において、古典的な構成（残余（remainders）およびパッケージの開放（package openings））は、古典的な世界選択関数に基づく構成と同型である。

結果

• フレームワークの統合： AWSフレームワークは、古典命題論理における信念集合に制限した場合、AGM、KM、およびMultiple Changeのフレームワークを正常に回収する。
• 双対性とLevi/Harperの恒等式： 本論文は、多才な文脈におけるLeviおよびHarperの恒等式を再検討する。初等的な縮小と修正が極端な位置にある一方で、多才なオペレータはその中間領域を占め、縮小と修正の間の双対性を効果的に一般化していることを示す。
• 非優先的オペレータの特性化：
  • 遮蔽された縮小は、「疑わしい」関係が自明である多才なオペレータのサブファミリーであることが示される。
  • 信頼性制限付き（CL）修正およびフィルタリングされた修正は、信頼できる関係と疑わしい関係の間の特定の絡み合い（entanglement）特性によって特徴付けられる。
  • 調整された修正は、特定の整合性と空虚性（vacuity）の公理を満たす多才なオペレータとして定義される。
• AGM準拠性の分析： 本論文は、T1タルスキ的論理（位相的かつ完全な表現を持つ論理）を、AGM準拠の論理のクラスとして特定する。これらの論理においては、標準的なAGM構成（残余）が世界選択関数に直接対応することを証明し、非AGM準拠の論理においても、回復公理を必要とせずに多才なオペレータを公理的に定義できることを示す。

意義と主張
著者らは、AWSが信念変化から特定の論理構文を切り離す、純粋にセマンティックな基礎を提供すると主張している。世界を原始的な要素として扱うことで、本フレームワークは信念集合上の信念変化理論を簡素化し、一般化する。

本研究の意義は、以下の能力にある：

1. 異種混在する信念変化のフレームワークやオペレータを、単一の抽象的な構成の下に体系化すること。
2. 信念変化理論を非AGM準拠の論理へと一般化し、セマンティック構造とタルスキ的論理との間の形式的な接続を提供すること。
3. 縮小と修正の間の双対性を再解釈し、非優先的オペレータがどのように広範な信念変化の景観の中に適合するかを示すこと。
4. 信頼性と疑わしさといった概念を、外部の制約ではなく、オペレータの振る舞いに内在する関係として標準化すること。

本論文は、AWSが単一の形式的な結果ではなく、一つの研究プログラムの基礎を確立するものであると結論付けている。これは、将来的な非古典論理（例：様相論理、矛盾許容論理、記述論理）や他のオペレータ（例：更新（update）、消去（erase））への分析に適用可能な、体系的な翻訳メカニズムを提供するものである。ただし、これらの具体的な適用については今後の課題として残されている。