[论文解读] Committee Scoring Rules: Axiomatic Characterization and Hierarchy

Piotr Faliszewski, Piotr Skowron+2 more|arXiv (Cornell University)|Feb 19, 2018

Game Theory and Voting Systems参考文献 70被引用 10

一句话总结

本文通过识别自然子类（如可分解、OWA-基础、top-$k$-计数规则）来引入并公理化刻画一种委员会计分规则的分层结构——这是人工智能与社会选择中关键的多胜者投票系统。研究表明，SNTV、Bloc 和 $k$-Approval Chamberlin–Courant 是这些类别两两交集中唯一的非平凡规则，并提出了新颖的可分解规则类，该类严格推广了 OWA-基础规则，为委员会选择中的新应用提供了可能。

ABSTRACT

Committee scoring voting rules are multiwinner analogues of positional scoring rules which constitute an important subclass of single-winner voting rules. We identify several natural subclasses of committee scoring rules, namely, weakly separable, representation-focused, top-$k$-counting, OWA-based, and decomposable rules. We characterize SNTV, Bloc, and $k$-Approval Chamberlin--Courant as the only nontrivial rules in pairwise intersections of these classes. We provide some axiomatic characterizations for these classes, where monotonicity properties appear to be especially useful. The class of decomposable rules is new to the literature. We show that it strictly contains the class of OWA-based rules and describe some of the applications of decomposable rules.

研究动机与目标

• 为了理解委员会计分规则的内部结构，这是一类在人工智能与社会选择中广泛使用的多胜者投票规则。
• 识别并正式定义委员会计分规则的自然子类，例如弱可分、侧重代表性的、top-$k$-计数、OWA-基础和可分解规则。
• 对这些子类提供公理化刻画，特别是利用单调性属性，以建立语法规则设计与规范性行为之间的联系。
• 引入并分析新颖的可分解委员会计分规则类，该类严格包含 OWA-基础规则，并支持新应用。
• 通过展示 SNTV、Bloc、Chamberlin–Courant 等知名规则是所定义子类两两交集中唯一的非平凡规则，澄清这些规则之间的关系。

提出的方法

• 作者定义并形式化了委员会计分规则的五个子类：弱可分、侧重代表性的、top-$k$-计数、OWA-基础和可分解规则。
• 他们使用公理化分析，特别是单调性属性，来刻画每个子类的规范性行为。
• 通过在评分函数上引入新的语法条件，提出可分解规则类，从而推广 OWA-基础规则。
• 他们分析这些子类之间的逻辑交集，并证明只有 SNTV、Bloc 和 $k$-Approval Chamberlin–Courant 规则在任意两个类中非平凡地共存。
• 他们通过形式化构造和比较，证明可分解规则类严格大于 OWA-基础规则类。
• 他们将该框架应用于连接规则设计与人工智能中的实际应用，如个性化推荐和搜索结果排序。

实验结果

研究问题

• RQ1 哪些委员会计分规则属于两个或多个自然子类的交集，其定义性质是什么？
• RQ2 单调性属性能否用于公理化刻画委员会计分规则的子类？
• RQ3 OWA-基础规则与新引入的可分解规则类之间存在何种正式关系？
• RQ4 委员会计分规则的语法特征如何与它们的规范性行为及实际适用性相关联？
• RQ5 是否存在新的、非基于 OWA 的委员会计分规则，仍满足理想的公理性质并支持新颖应用？

主要发现

• 提出了可分解委员会计分规则类作为一类新的、更广泛的类，其严格包含 OWA-基础规则，为规则设计提供了更通用的框架。
• SNTV、Bloc 和 $k$-Approval Chamberlin–Courant 是唯一同时属于所定义子类两两交集的非平凡规则，凸显了它们在结构上的独特角色。
• 研究表明，单调性属性在公理化刻画委员会计分规则子类方面尤为有效，特别是在区分不同类型代表性和响应性方面。
• 本文确立了所有非平凡委员会计分规则均满足非强制性（nonimposition）属性，即在某些偏好配置下，每个可能的委员会均可被选出。
• 该框架使得更清晰地理解语法规则设计（如评分函数结构）如何映射到规范性行为（如比例性、多样性、个体卓越性）成为可能。
• 研究结果为未来对委员会计分规则与其他多胜者投票系统（如 Monroe 规则或 Phragmén 方法）之间的公理化比较奠定了基础。