DVote: Constraining Committee Voting with Database Dependencies

Roi Yona

doi:10.14778/3750601.3750640

DVote: Constraining Committee Voting with Database Dependencies

2025-08-01

0

PRE

AI

DOI：10.14778/3750601.3750640

原文链接

原文求助

摘要

En 中文

基于批准的委员会（ABC）投票是指根据选民偏好（即每位选民批准的具体候选人）来选择所需规模的委员会的任务。一种投票规则将选民偏好汇总为获胜委员会。作为一种特殊情况，ABC评分规则根据选民的批准情况确定每位选民对委员会的贡献分数。已提出多种方法来对当选委员会施加约束。该演示介绍了DVOTE——一个实现近期框架的工具，该框架用于在给定候选人的关系数据库上下文约束下扩展基于评分的ABC投票。DVOTE提供了一个便捷的界面来设置投票实例，并构建以元组生成依赖关系（TGDs）和否定约束（DCs）形式存在的上下文约束。获胜委员会的计算由封装了上下文数据库的后端组件完成，并将整个受约束的选举任务转化为混合整数规划。在演示中，与会者将在不同的领域和上下文中体验使用DVOTE进行ABC投票。

DVote: Constraining Committee Voting with Database Dependencies

摘要

期刊

机构

引用论文