A relation-algebraic approach to simple games

Rudolf Berghammer (), Stefan Bolus, Agnieszka Rusinowska and Harrie de Swart ()
Additional contact information
Rudolf Berghammer: Institut für Informatik - CAU - Christian-Albrechts-Universität zu Kiel = Christian-Albrechts University of Kiel = Université Christian-Albrechts de Kiel
Harrie de Swart: Faculteit Wijsbegeerte-Logica en taalanalyse - Tilburg University [Netherlands]

Université Paris1 Panthéon-Sorbonne (Post-Print and Working Papers) from HAL

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.

Keywords: Relation algebra; RelView; simple game; winning coalition; swinger; dominant player; central player; power index (search for similar items in EconPapers)
Date: 2011
New Economics Papers: this item is included in nep-gth and nep-hpe
Note: View the original document on HAL open archive server: https://hal.science/hal-00574767v1
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (12)

Published in European Journal of Operational Research, 2011, 210 (1), pp.68-80. ⟨10.1016/j.ejor.2010.09.006⟩

Downloads: (external link)
https://hal.science/hal-00574767v1/document (application/pdf)

Related works:
Journal Article: A relation-algebraic approach to simple games (2011)
Working Paper: A relation-algebraic approach to simple games (2011)
Working Paper: A Relation-algebraic Approach to Simple Games (2009)
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:cesptp:hal-00574767

DOI: 10.1016/j.ejor.2010.09.006

Access Statistics for this paper

More papers in Université Paris1 Panthéon-Sorbonne (Post-Print and Working Papers) from HAL
Bibliographic data for series maintained by CCSD ().