[論文レビュー] The Common Structure of Paradoxes in Aggregation Theory

Umberto Grandi|arXiv (Cornell University)|Jun 11, 2014

Game Theory and Voting Systems参考文献 40被引用数 4

ひとこと要約

本稿は、整合性制約を伴う2値集合的枠組みにおいて、コンドルセの逆説、弁護的ジレンマ、オストログルスキーの逆説、複数選挙逆説といった古典的逆説の背後にある統一的な句構造を特定する。多数決ルールが逆説を回避するのは、合理性制約がサイズ2以下の節の論理積として表現可能な場合に限ることを証明する。

ABSTRACT

In this paper we analyse some of the classical paradoxes in Social Choice Theory (namely, the Condorcet paradox, the discursive dilemma, the Ostrogorski paradox and the multiple election paradox) using a general framework for the study of aggregation problems called binary aggregation with integrity constraints. We provide a definition of paradox that is general enough to account for the four cases mentioned, and identify a common structure in the syntactic properties of the rationality assumptions that lie behind such paradoxes. We generalise this observation by providing a full characterisation of the set of rationality assumptions on which the majority rule does not generate a paradox.

研究の動機と目的

• 社会選択理論における多様な逆説を、集合的枠組みとしての単一の形式的枠組みで統一すること。
• 集合的枠組みにおける「逆説」を、合理的な個人が不合理な集団的結果を生じる状況として定義すること。
• すべての古典的逆説的合理性制約に共通する文法的特徴を同定すること。
• 多数決ルールの逆説に対して耐性を示す合理性仮定の集合を特徴づけること。
• 組合せ的ドメインにおける安全な集団的意思決定を計算的に識別可能な基準として提供すること。

提案手法

• 整合性制約を表現するための命題論理を用いた2値の組合せ的ドメインを用いて、集合的問題を形式化すること。
• 逆説を、個人の選択を束ねる同一の合理性制約に反する集団的結果として定義すること。
• 合理性仮定を命題論理における論理式として表現し、特に選言的構造に注目すること。
• 多数決ルールを用いて個々の投票を集約し、集団的意思決定を生成すること。
• モデル理論的および文法的分析を用いて、どの論理式（整合性制約）が逆説を防ぐかを特徴づけること。
• 論理式がサイズ2以下の節の論理積に同値である場合に限り、多数決ルール下で逆説を回避することを証明すること。

実験結果

リサーチクエスチョン

• RQ1 集合的枠組みにおける古典的逆説が文法的レベルで共有する共通の構造的特徴は何か？
• RQ2 コンドルセの逆説、弁護的ジレンマ、オストログルスキーの逆説といった多様な事例を統一する一般的な逆説の定義をどのように提示できるか？
• RQ3 多数決ルールが2値の組合せ的集合的枠組みで逆説を生じない条件は何か？
• RQ4 多数決ルール下で安全な合理性仮定の集合を論理的用語で完全に特徴づけることができるか？
• RQ5 この枠組みは、既存の判断集合的枠組みおよび選好集合的枠組みとどのように関係しているか？

主な発見

• 集合的枠組みにおけるすべての古典的逆説は、共通の文法的特徴を持つ：それらの背後にある合理性制約には、サイズ3以上のリテラルの選言が含まれる。
• 多数決ルールが逆説を生成しないのは、整合性制約がサイズ2以下の節の論理積に論理的に同値である場合に限る。
• この特徴づけは、集団的意思決定における安全な合理性仮定を識別する計算的に決定可能な基準を提供する。
• 提案された逆説の定義は、コンドルセの逆説、弁護的ジレンマ、オストログルスキーの逆説、複数選挙逆説をすべて包含する十分に一般化されたものである。
• この枠組みは、多くの逆説が集約メカニズムそのものではなく、合理性制約の命題的構造に起因することを明らかにする。
• 結果から、集団的意思決定システムを設計するには、論理的制約付きドメインを通じて問題間の依存関係を注意深くモデル化する必要があることが示唆される。