[論文レビュー] Ceteris Paribus Structure in Logics of Game Forms

Davide Grossi, Emiliano Lorini+1 more|arXiv (Cornell University)|Oct 23, 2013

Logic, Reasoning, and Knowledge参考文献 23被引用数 4

ひとこと要約

本稿では、時間的要因を含まないSTITおよび命題的制御の協力論理（CL-PC）の両者に共通する構造的特徴を捉える、同一条件下でのモーダル論理を導入する。両論理を命題原子の同値類に基づく共通の枠組みに埋め込むことで、著者たちは統一的な同一条件下の構造を明らかにし、それらの関係を明確にし、複雑性結果を新しい論理に移転可能にする。

ABSTRACT

The article introduces a ceteris paribus modal logic interpreted on the equivalence classes induced by sets of propositional atoms. This logic is used to embed two logics of agency and games, namely atemporal STIT and the coalition logic of propositional control (CL-PC). The embeddings highlight a common ceteris paribus structure underpinning the key modal operators of both logics, they clarify the relationship between STIT and CL-PC, and enable the transfer of complexity results to the ceteris paribus logic.

研究の動機と目的

• 行動論理およびゲーム形式の背後にある共通の構造的基盤を特定し形式化すること。
• 命題原子の同値類に基づく同一条件下のモーダル論理を構築すること。
• 時間的要因を含まないSTITおよび命題的制御の協力論理（CL-PC）を、この統一的枠組みに埋め込むこと。
• 同一条件下の構造的性質を通じて、STITとCL-PCの形式的関係を明確にすること。
• STITおよびCL-PCから、複雑性結果（例：充足可能性、モデルチェック）を提案された同一条件下の論理に移転可能にするための基盤を提供すること。

提案手法

• 命題原子の集合によって誘導される同値類上に、同一条件下のモーダル論理を定義すること。
• 同値類の構造を用いて、行動および制御における「他のことが等しい」という条件をモデル化すること。
• 時間的要因を含まないSTITおよびCL-PCを、同一条件下の論理に埋め込むこと。
• STITおよびCL-PCにおけるモーダル作用素を、同一構造の同一条件下の枠組みの特殊例として形式化すること。
• 埋め込まれた論理と基本的な同一条件下の論理との間の意味論的および証明論的関係を確立すること。
• 共有された構造を活用し、STITおよびCL-PCから既知の複雑性結果（例：充足可能性、モデルチェック）を新しい論理に移転すること。

実験結果

リサーチクエスチョン

• RQ1 STITや制御の協力論理といった行動論理を統合する構造的特徴は何か？
• RQ2 単一の同一条件下のモーダル論理が、STITおよびCL-PCの両方の核心的推論パターンを捉えられるか？
• RQ3 共通の論理的枠組みを通じて、STITとCL-PCの関係をどのように形式的に明確化できるか？
• RQ4 STITおよびCL-PCから得られる複雑性結果が、新しい同一条件下の論理にどの程度移転可能か？
• RQ5 命題原子の同値類は、ゲーム形式における「他のことが等しい」という状況をモデル化する上で果たす役割は何か？

主な発見

• 命題原子の同値類上に、同一条件下のモーダル論理が成功裏に構築され、統一的な意味論的枠組みが提供された。
• 時間的要因を含まないSTITおよびCL-PCが、この論理に埋め込まれ、共通の基盤となる同一条件下の構造が明らかになった。
• 同一条件下の論理により、STITとCL-PCの形式的関係が明確化された。両者は同じ構造的パターンを実装していることが示された。
• 充足可能性やモデルチェックの複雑性といった複雑性結果が、STITおよびCL-PCから同一条件下の論理に移転可能である。
• この枠組みにより、統一的なモーダル的視点を通じて、ゲーム形式における行動および制御の理解が深まった。
• 提案された論理は、『他のことが等しい』という仮定の下での集団的行動および制御の推論のための、新たな抽象的基盤を提供する。