A relation-algebraic approach to simple games
Berghammer,R. Bolus,Stefan Rusinowska,A. de Swart,Harrie
Berghammer,R.
Bolus,Stefan
Rusinowska,A.
de Swart,Harrie
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 Rel View after a simple translation into the tool’s programming language. In order to demonstrate the visualization facilities of Rel View we consider an example of the Catalonian Parliament after the 2003 election.
Description
Date
2011
Journal Title
Journal ISSN
Volume Title
Publisher
Research Projects
Organizational Units
Journal Issue
Keywords
Citation
Berghammer, R, Bolus, S, Rusinowska, A & de Swart, H 2011, 'A relation-algebraic approach to simple games', European Journal of Operational Research, vol. 210, no. 1, pp. 68-80. https://doi.org/10.1016/j.ejor.2010.09.006