Computer-aided Reasoning about Collective Decision Making

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.