Fiche du document
2011
- handle: 10670/1.5otb8u
- hal: hal-00574767
- doi: 10.1016/j.ejor.2010.09.006
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ejor.2010.09.006
info:eu-repo/semantics/OpenAccess
Mots-clés
Relation algebra RelView simple game winning coalition swinger dominant player central player power index C - Mathematical and Quantitative Methods/C.C7 - Game Theory and Bargaining Theory/C.C7.C71 - Cooperative Games C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C63 - Computational Techniques • Simulation Modeling C - Mathematical and Quantitative Methods/C.C8 - Data Collection and Data Estimation Methodology • Computer Programs/C.C8.C88 - Other Computer SoftwareSujets proches
Amusements Children--Recreation Games for children Pastimes Primitive games Recreations Games, Primitive Children's gamesCiter ce document
Rudolf Berghammer et al., « A relation-algebraic approach to simple games », HAL-SHS : économie et finance, ID : 10.1016/j.ejor.2010.09.006
Métriques
Partage / Export
Résumé
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.