[論文レビュー] Characterizations of scoring methods for preference aggregation

Pavel Chebotarev, Elena Shamis|ArXiv.org|Feb 23, 2006

Multi-Criteria Decision Making参考文献 56被引用数 11

ひとこと要約

本稿は、選好集約のためのスコアリング手法について、包括的な公理的特徴付けを提供しており、スコアリング作用素が自己一貫性を満たすための必要十分条件が、左辺に単調関数をもつ同次代数方程式系への還元に帰着されることを証明している。この研究は、40以上の既存の特徴付けを統合し、社会選択、意思決定理論、オペレーションズ・リサーチ分野におけるスコアリング手順の評価と比較のための基盤的枠組みを確立する。

ABSTRACT

The paper surveys more than forty characterizations of scoring methods for preference aggregation and contains one new result. A general scoring operator is {\it self-consistent} if alternative $i$ is assigned a greater score than $j$ whenever $i$ gets no worse (better) results of comparisons and its `opponents' are assigned respectively greater (no smaller) scores than those of $j$. We prove that self-consistency is satisfied if and only if the application of a scoring operator reduces to the solution of a homogeneous system of algebraic equations with a monotone function on the left-hand side.

研究の動機と目的

• オペレーションズ・リサーチ、心理測定学、社会選択など、多様な分野で用いられるスコアリング手順の評価のための統一的公理的枠組みを構築すること。
• 多数の既存手順に共通する構造的性質を特定することで、広範な「妥当な」スコアリング手法のクラスを同定すること。
• 自己一貫性と同次系に単調関数をもつ解の存在との同値性を形式的に定式化し、新たな特徴付け基準を提供すること。
• スコアリング手法に関する40以上の既存の公理的特徴付けを調査・統合し、それらの共通する代数的構造を浮き彫りにすること。
• 形式的公理的分析を通じて、スコアリング手順の比較・改善の理論的基盤を確立すること。

提案手法

• 個々の選好プロファイル A を用いて代替案にスコアを割り当てる一般化されたスコアリング作用素 ϕ: A → ℝⁿ を定義する。
• 自己一貫性の概念を導入する：代替案 i がすべての比較において j 以上に優れているほか、i の対戦相手のスコアが j よりも高く（もしくは同等に）評価されるならば、i は j よりも高いスコアを受けるべきである。
• 「単調な暗黙的形」を、左辺がスコアの単調関数である同次代数方程式系として定式化する。
• 有界関数をパレート的部分集合上で定義した関数を、単調性と一貫性を保ちながら拡張する構成的技法を用いて、自己一貫性と単調な暗黙的形の存在が同値であることを証明する。
• 有界領域を全空間に写像する座標変換（逆正 tangent 関数および正 tangent 関数）を適用し、コンパクトな領域から非有界領域への結果の拡張を可能にする。
• 隣接する座標の三つ組 (z₃ᵣ₋₂, z₃ᵣ₋₁, z₃ᵣ) の置換に関してマルチセット不変性を用いて、構築された関数が順序に依存せず、三つ組のマルチセットにのみ依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下でスコアリング手順が、すべての選好プロファイルに対して自己一貫性を満たすか？
• RQ2 自己一貫性は、代数的構造の観点からどのように形式的に特徴付けられるか？
• RQ3 自己一貫性を満たすスコアリング作用素と、単調関数を左辺にもつ同次系の解との関係は何か？
• RQ4 多数の既存スコアリング手順を包含する統一的代数的形を導出可能か？
• RQ5 既存のスコアリング手法の公理的特徴付けは、どの程度共通する構造的基盤に収束するか？

主な発見

• スコアリング作用素の自己一貫性は、単調な暗黙的形の存在にとって必要かつ十分である。
• スコアリング作用素が自己一貫性を満たすための必要十分条件は、左辺に単調関数をもつ同次代数方程式系の解として表現できることである。
• 証明では、パレート的部分集合上で定義された任意の有界関数を、ℝᵏ 上の厳密に増加する関数に拡張する構成的技法が用いられ、単調性と一貫性が保たれる。
• 構築された関数 f(x) は、隣接する座標三つ組 (z₃ᵣ₋₂, z₃ᵣ₋₁, z₃ᵣ) の置換に関して不変であり、これは f がその三つ組のマルチセットにのみ依存することを意味する。
• この不変性により、関数 f は比較三つ組のマルチセット上での関数 g として再解釈可能となり、すべての such マルチセットをゼロに写像する。これは必要な性質を満たす。
• apᵢⱼ と apⱼᵢ が合計が1に制約されない場合でも、この結果は成り立つため、代替のデータ表現に対してもロバストであることが示された。