A relation-algebraic approach to simple games - HAL-SHS - Sciences de l'Homme et de la Société Access content directly
Journal Articles European Journal of Operational Research Year : 2011

A relation-algebraic approach to simple games

Rudolf Berghammer
  • Function : Author
  • PersonId : 878837
Agnieszka Rusinowska

Abstract

Simple games are a powerful tool to analyze decision - making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems of them. In particular, we test certain fundamental properties of simple games and compute specific players and coalitions. We also apply relation algebra to determine power indices. This leads to relation-algebraic specifications, which can be evaluated with the help of the BDD-based tool RelView after a simple translation into the tool's programming language. In order to demonstrate the visualization facilities of RelView, we consider an example of the Catalonian Parliament after the 2003 election.
Fichier principal
Vignette du fichier
SimpleGamesRevised3.pdf (466.76 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00574767 , version 1 (08-03-2011)

Identifiers

Cite

Rudolf Berghammer, Stefan Bolus, Agnieszka Rusinowska, Harrie de Swart. A relation-algebraic approach to simple games. European Journal of Operational Research, 2011, 210 (1), pp.68-80. ⟨10.1016/j.ejor.2010.09.006⟩. ⟨hal-00574767⟩
396 View
346 Download

Altmetric

Share

Gmail Facebook X LinkedIn More