Computer-aided Reasoning about Collective Decision Making

Authors
Publication date 2020
Book title AAMAS'20
Book subtitle proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems : May 9-13, 2020, Auckland, New Zealand
ISBN (electronic)
  • 9781450375184
Event 19th International Conference on Autonomous Agents and MultiAgent Systems
Pages (from-to) 2176-2178
Publisher Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract Many contributions to the field of computational social choice employ a variety of techniques developed in computer science to study the properties of preference aggregation mechanisms. However, there has been little research on how the availability of such techniques can help us reason about collective decision making. In this positional paper I discuss how computer-aided methods can be used to—automatically—reason about the outcomes of a collective decision making process. I also lay down several research directions one could explore to further develop the field in this direction.
Document type Conference contribution
Note Doctoral consortium.
Language English
Published at http://www.ifaamas.org/Proceedings/aamas2020/pdfs/p2176.pdf https://dl.acm.org/doi/10.5555/3398761.3399116
Other links http://www.ifaamas.org/Proceedings/aamas2020/
Permalink to this page
Back