A relation-algebraic approach to simple games
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.
Year of publication: |
2011
|
---|---|
Authors: | Berghammer, Rudolf ; Bolus, Stefan ; Rusinowska, Agnieszka ; Swart, Harrie De |
Institutions: | HAL |
Saved in:
freely available
Saved in favorites
Similar items by person
-
Computing tournament solutions using relation algebra and RelView
Berghammer, Rudolf, (2013)
-
Computing tournament solutions using relation algebra and RelView
Berghammer, Rudolf, (2013)
-
Computing Tournament Solutions using Relation Algebra and REL VIEW
Berghammer, Rudolf, (2011)
- More ...