“…Traditional social choice theory typically takes a normative approach, by specifying desirable axioms that the aggregation method (also known as a voting rule) should satisfy (Arrow, 1951). In contrast, researchers in computational social choice (Brandt, Conitzer, Endriss, Lang, & Procaccia, 2016) often advocate quantitative approaches to the same problem. The high-level idea is to identify a compelling objective function, and design voting rules that optimize this function.…”