Computations on Simple Games using RelView

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

1 Institut für Informatik
2 CES - Centre d'économie de la Sorbonne
3 Faculteit Wijsbegeerte-Logica en taalanalyse

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.

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

Domaines: Economies et finances

Rudolf Berghammer, Agnieszka Rusinowska, Harrie de Swart. Computations on Simple Games using RelView. Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov. Computer Algebra in Scientific Computing, Springer, pp.49-60, 2011, Lecture Notes in Computer Science (LNCS) 6885, ⟨10.1007/978-3-642-23568-9_5⟩. ⟨hal-00633857⟩