Computations on Simple Games using REL VIEW

Rudolf Berghammer (1) , Agnieszka Rusinowska (2) , Harrie de Swart (3)

1 Institut für Informatik
2 CES - Centre d'économie de la Sorbonne
3 Department of Philosophy

Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper we present relational models of simple games and develop relational algorithms for solving some game-theoretic basic problems. The algorithms immediately can be transformed into the language of the Computer Algebra system RelView and, therefore, the system can be used to solve the problems and to visualize the results of the computations. As an example, we consider the German parliament after the 2009 election.

Les jeux simples constituent un outil d'analyse puissant pour la décision et la formation de coalitions dans la vie sociale et politique. Dans cet article,nous présentons les modèles relationnels des jeux simples et développons des algorithmes relationnels pour résoudre certains problèmes de base en théorie des jeux. Les algorithmes peuvent être transformés immédiatement dans le langage RelView d'algèbre computationnelle, et de ce fait, le système peut être utilisé pour résoudre les problèmes et visualiser les résultats des calculs. Nous étudions en tant qu'exemple le parlement allemand après l'élection de 2009.

Mots clés: RelView; simple games; relation algebra

Mots clés: jeux simples; algèbre relationnelle

Domaines: Economies et finances

Rudolf Berghammer, Agnieszka Rusinowska, Harrie de Swart. Computations on Simple Games using REL VIEW. 2011. ⟨halshs-00587690⟩