Social choice theory deals with questions regarding the design and analysis of methods for collective decision making. In recent years there has been a growing interest in the computational aspects of collective decision making, giving rise to the field of computational social choice. This tutorial will provide an introduction to this field, highlighting in particular the role of logic in computational social choice. The first lecture will be devoted to a general introduction and an exposition of the axiomatic method in social choice theory; the second lecture will be about logical languages for preference representation and social choice; and the third lecture will be an introduction to judgment aggregation. No special background knowledge will be expected.
The following paper is the main reference for this tutorial:
For further reading on the topics touched upon during the tutorial, you can consult the following survey papers:
I have previously given (somewhat longer) variants of this tutorial at ESSLLI-2008 and at ECAI-2010. For much more material, see my course on computational social choice, given annually at the ILLC. For teaching materials prepared by others, have a look at the website of the COST-ADT Doctoral School in Computational Social Choice held in 2010.
Visit the COMSOC website to find out about the COMSOC workshops and related events, to browse through a list of PhD theses in the field, and to join the mailing list.