[论文解读] 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，且其对手的得分也至少不差于 j，则 i 必须获得更高的得分。
• 将‘单调隐式形式’表述为一个齐次代数方程组，其中左侧为得分的单调函数。
• 通过在帕累托子集上对有界函数进行构造性延拓，证明自一致性等价于此类单调隐式形式的存在性。
• 应用坐标变换（反正切与正切函数），将有界区域映射至整个空间，从而实现从紧致域到无界域的结果扩展。
• 利用相邻三元组排列下的多重集不变性，证明所构造的函数仅依赖于比较三元组的多重集，而不依赖于其顺序。

实验结果

研究问题

• RQ1 在何种条件下，打分程序在所有偏好配置下均保持自一致性？
• RQ2 自一致性如何通过代数结构形式化表征？
• RQ3 自一致打分算子与具有单调函数的齐次系统解之间存在何种关系？
• RQ4 能否推导出一个统一的代数形式，涵盖大多数现有打分程序？
• RQ5 现有打分方法的公理化表征在多大程度上收敛于同一结构基础？

主要发现

• 打分算子的自一致性是存在单调隐式形式的必要且充分条件。
• 打分算子满足自一致性，当且仅当其可表示为左侧为单调函数的齐次代数方程组的解。
• 该证明构造了一个在 ℝᵏ 上严格递增的函数，可扩展任意定义在帕累托子集上的有界函数，同时保持单调性与一致性。
• 所构造的函数 f(x) 在相邻坐标三元组 (z₃ᵣ₋₂, z₃ᵣ₋₁, z₃ᵣ) 的排列下保持不变，意味着其仅依赖于此类三元组的多重集。
• 该不变性使得函数 f 可重新解释为定义在比较三元组多重集上的函数 g，该函数将所有此类多重集映射为零，满足所需性质。
• 即使 apᵢⱼ 与 apⱼᵢ 不被强制要求和为1，该结果依然成立，表明其对替代数据表示具有鲁棒性。