[논문 리뷰] The Common Structure of Paradoxes in Aggregation Theory

Umberto Grandi|arXiv (Cornell University)|2014. 06. 11.

Game Theory and Voting Systems참고 문헌 40인용 수 4

한 줄 요약

이 논문은 정수 제약 조건이 있는 이진 집계 프레임워크 내에서 모델링함으로써, 콘도르세의 역설, 논리적 딜레마, 오스트로고르스키의 역설 및 다수의 선거 역설과 같은 고전적 집계 이론의 역설들 뒤에 깔린 통합적인 문법적 구조를 규명한다. 그리고 다수결 원칙이 역설을 피하는 것은 정합성 제약 조건이 크기가 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 이하인 문장들의 합성과 논리적으로 동치일 경우에만 다수결 원칙 하에서 역설을 피하는 것을 증명하기 위해.

실험 결과

연구 질문

• RQ1 집계 이론의 고전적 역설들이 문법 수준에서 공통적으로 가지는 구조적 특징은 무엇인가?
• RQ2 콘도르세의 역설, 논리적 딜레마, 오스트로고르스키의 역설과 같은 다양한 사례들을 통합할 수 있는 일반적인 역설 정의는 어떻게 제안할 수 있는가?
• RQ3 이중 조합 집계에서 다수결 원칙이 언제 역설을 유발하지 않는가?
• RQ4 다수결 원칙 하에서 안전한 이성 가정의 집합을 논리적으로 완전히 특성화할 수 있는가?
• RQ5 이 프레임워크는 기존의 판단 집계 및 선호 집계 모델과 어떻게 관련이 있는가?

주요 결과

• 집계 이론의 모든 고전적 역설들은 공통적인 문법적 특징을 공유한다: 이들의 뒷받질이 되는 이성 제약 조건들은 크기가 3 이상인 리터럴의 논리적 합성 포함한다.
• 다수결 원칙 하에서 역설이 발생하지 않는 것은 정수 제약 조건이 크기가 2 이하인 문장들의 합성과 논리적으로 동치일 경우에 정확히 해당된다.
• 이 특성화는 조합 영역에서 집단적 의사결정의 안전한 이성 가정을 식별하기 위한 계산적으로 결정 가능한 기준을 제공한다.
• 제안된 역설 정의는 콘도르세의 역설, 논리적 딜레마, 오스트로고르스키의 역설, 다수의 선거 역설을 모두 포함할 수 있을 정도로 일반적이다.
• 이 프레임워크는 많은 역설들이 집계 메커니즘 자체가 아니라 이성 제약 조건의 명제적 구조에서 기인한다는 것을 드러낸다.
• 결과적으로, 집단적 의사결정 시스템을 설계할 때 논리적으로 제약된 영역를 통해 이슈 간 의존성을 신중히 모델링해야 한다는 시사점을 제공한다.