A relation-algebraic approach to simple games

R. Berghammer, Stefan Bolus, A. Rusinowska, Harrie de Swart

Research output: Contribution to journalArticleScientificpeer-review

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.
Original languageEnglish
Pages (from-to)68-80
JournalEuropean Journal of Operational Research
Volume210
Issue number1
DOIs
Publication statusPublished - 2011

Fingerprint

Simple Game
Algebraic Approach
Algebraic Specification
Specifications
Power Indices
Coalition Formation
Relation Algebra
Elections
Coalitions
Computer programming languages
Algebra
Programming Languages
Visualization
Decision making
Decision Making
Specification
Demonstrate
Simple game
Model

Cite this

Berghammer, R. ; Bolus, Stefan ; Rusinowska, A. ; de Swart, Harrie. / A relation-algebraic approach to simple games. In: European Journal of Operational Research. 2011 ; Vol. 210, No. 1. pp. 68-80.
@article{296310b627e44827b636ab35691ad218,
title = "A relation-algebraic approach to simple games",
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.",
author = "R. Berghammer and Stefan Bolus and A. Rusinowska and {de Swart}, Harrie",
year = "2011",
doi = "10.1016/j.ejor.2010.09.006",
language = "English",
volume = "210",
pages = "68--80",
journal = "European Journal of Operational Research",
issn = "0377-2217",
publisher = "Elsevier Science BV",
number = "1",

}

A relation-algebraic approach to simple games. / Berghammer, R.; Bolus, Stefan; Rusinowska, A.; de Swart, Harrie.

In: European Journal of Operational Research, Vol. 210, No. 1, 2011, p. 68-80.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - A relation-algebraic approach to simple games

AU - Berghammer, R.

AU - Bolus, Stefan

AU - Rusinowska, A.

AU - de Swart, Harrie

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1016/j.ejor.2010.09.006

DO - 10.1016/j.ejor.2010.09.006

M3 - Article

VL - 210

SP - 68

EP - 80

JO - European Journal of Operational Research

JF - European Journal of Operational Research

SN - 0377-2217

IS - 1

ER -