Выступление Харри де Шварца (Harrie de Swart, Erasmus University Rotterdam) на тему "Computational Social Choice using relation algebra and the software tool RelVieW"

8 июня 2016 г. в НИУ ВШЭ состоялось очередное заседание общемосковского научного семинара"МАТЕМАТИЧЕСКИЕ МЕТОДЫ АНАЛИЗА РЕШЕНИЙ  В ЭКОНОМИКЕ, БИЗНЕСЕ И ПОЛИТИКЕ".

Докладчик: Harrie de Swart   (Erasmus University Rotterdam)

Соавторы: Rudolf Berghammer and Agnieszka Rusinowska

Краткое описание доклада
Many concepts from game theory and social choice theory can be formulated in relation algebraic terms, resulting in very compact and concise algebraic definitions of the notions in question. These algebraic definitions are the essence of small computer programs, consisting of only a few lines. Next, given a particular problem, the software tool RelVieW, developed by Rudolf Berghammer in Kiel (D), may compute and visualize the solution by executing the corresponding program. The visualization is in terms of graphs or Boolean matrices. Using one leading example we will compute and visualize several solution concepts, among which minimal winning coalitions, swingers of a given coalition, vulnerable winning coalitions, central players, dominant players and Penrose-Banzhaf power indices.