Computational Foundations of Social Choice (CFSC)

这个合作研究项目将解决计算社会选择中的一些关键问题，计算社会选择是一个介于社会选择理论和计算机科学之间的跨学科研究领域。计算社会选择涉及将计算技术应用于社会选择机制的研究，如投票规则和公平分配协议，以及将社会选择范式整合到计算中。这是一个年轻而充满活力的调查领域。虽然近年来已经发表了一些重要的孤立结果，但到目前为止，还没有一个更大的科学家小组协调一致的努力。这个项目将汇集该领域一些最活跃的研究人员的专业知识，他们过去从事计算社会选择的不同方面的工作，他们来自非常不同的背景：理论计算机科学、人工智能、逻辑、经济学和政治学。这个项目的广泛目标是为计算社会选择的科学学科发展坚实的基础。我们计划沿着三个主要维度朝着这一目标努力：第一，我们希望加深对社会选择(社会选择和理论计算机科学)中的算法和复杂性理论问题的理解。其次，我们打算开发基于逻辑的语言，用于对社会选择问题和偏好结构(社会选择和逻辑)进行建模和推理。第三，我们将把人工智能的既定技术，如偏好诱导和学习，应用于社会选择问题(社会选择和人工智能)。除了这些科学目的和目标，作为第一个关于计算社会选择的大型国际项目，该项目也有可能为目前围绕这些重要和令人兴奋的主题形成的研究界提供一个明确的重点。

This collaborative research project will address some of the key issues in computational social choice, an interdisciplinary field of study at the interface of social choice theory and computer science. Computational social choice is concerned with the application of computational techniques to the study of social choice mechanisms, such as voting rules and fair division protocols, and with the integration of social choice paradigms into computing. This is a young and dynamic field of investigation. While recent years have seen the publication of a number of important isolated results, to date there has been no coordinated effort by a larger group of scientists. This project will bundle the expertise of some of the most active researchers in the field, who have worked on different aspects of computational social choice in the past, and who have come to this area from very different backgrounds: theoretical computer science, artificial intelligence, logic, economics, and political science.The broad aim of this project is to develop sound foundations for the scientific discipline of computational social choice. We plan to work towards this goal along three main dimensions: Firstly, we want to deepen our understanding of algorithmic and complexity-theoretic issues in social choice (social choice and theoretical computer science). Secondly, we intend to develop logic-based languages for modeling and reasoning about social choice problems and preference structures (social choice and logic). And thirdly, we shall apply established techniques from artificial intelligence, such as preference elicitation and learning, to problems of social choice (social choice and artificial intelligence). Besides these scientific aims and objectives, being the first large-scale international project on computational social choice, this project also has the potential to provide a clear focus to the research community currently forming around these important and exciting topics.