[2I1-OS-1a] 計算社会科学

[2I1-OS-1a-03] 計算論的社会選択競技会COMPSOCにおける投票規則の公理の充足可能性の検証アルゴリズムの提案

〇谷畑 壮一朗¹、Hadfi Rafik²、伊藤 孝行² (1. 京都大学工学部情報学科、2. 京都大学情報学研究科社会情報学専攻)

キーワード：社会選択理論、投票理論、マルチエージェントシステム

集団意思決定において全員の選好を満たす結論を導くことは困難である．そこで，現実世界では，投票などの集計手法を用いることが多い．投票などの集計手法は，社会選択理論（Social Choice Theory）で広く研究されている．我々は，どのような投票手法がよりよい集団意思決定を実現できるかについて，様々な投票ルールを集め，様々な観点から評価することで競い合わせ，より良い投票規則を見出すために国際競技会COMPSOC(Computational Social Choice Competition)を2023年より開始している．これまでのCOMPSOCでは，投票ルールの評価は社会厚生（Social Welfare）に基づいていた．本稿では，投票ルールの評価手法として，社会的選択理論で標準的な公理（axiom）に基づく評価を提案する．特に既存の投票ルール（Borda、Copeland、Simpsonなど）の公理の充足可能性を評価するアルゴリズムを提案し，その効果を示す．