社会选择程序,例如投票机制在我们的生活中起着至关重要的作用是民主政府的基石。在计算方面社会选择,我们从这个角度看待社会选择计算机科学和人工智能。一个关键问题投票的各个方面在多大程度上是实际的可计算:一种理论上有吸引力的社会选择机制除非它实际上是可计算的,或者如果这很容易操作。