How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games

Nils Bulling; Valentin Goranko

doi:10.4204/EPTCS.112.8

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games

Nils Bulling, Valentin Goranko

Research output: Contribution to journal › Conference article › Research › peer-review

277 Downloads (Pure)

Abstract

We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for achieving qualitative objectives of players, i.e., reaching or maintaining game states with desired properties. We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative and qualitative reasoning.

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science
Volume	112
Pages (from-to)	33-41
Number of pages	9
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.112.8
Publication status	Published - 2013
Event	1st Workshop on Strategic Reasoning (SR 2013) - Rome, Italy Duration: 16 Mar 2013 → 17 Mar 2013 http://www.strategicreasoning.net/

Conference

Conference	1st Workshop on Strategic Reasoning (SR 2013)
Country	Italy
City	Rome
Period	16/03/2013 → 17/03/2013
Internet address	http://www.strategicreasoning.net/

Bibliographical note

This work is licensed under the Creative Commons Attribution License.

Keywords

cs.LO cs.MA

Access to Document

10.4204/EPTCS.112.8

1303Final published version, 530 KB

Cite this

@inproceedings{c5e3f0541ad8424cb20310dab1c8ac49,

title = "How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games",

abstract = "We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for achieving qualitative objectives of players, i.e., reaching or maintaining game states with desired properties. We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative and qualitative reasoning.",

keywords = "cs.LO cs.MA",

author = "Nils Bulling and Valentin Goranko",

note = "This work is licensed under the Creative Commons Attribution License.; 1st Workshop on Strategic Reasoning (SR 2013) ; Conference date: 16-03-2013 Through 17-03-2013",

year = "2013",

doi = "10.4204/EPTCS.112.8",

language = "English",

volume = "112",

pages = "33--41",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

url = "http://www.strategicreasoning.net/",

}

TY - GEN

T1 - How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games

AU - Bulling, Nils

AU - Goranko, Valentin

N1 - This work is licensed under the Creative Commons Attribution License.

PY - 2013

Y1 - 2013

N2 - We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for achieving qualitative objectives of players, i.e., reaching or maintaining game states with desired properties. We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative and qualitative reasoning.

AB - We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for achieving qualitative objectives of players, i.e., reaching or maintaining game states with desired properties. We enrich concurrent game models with payoffs for the normal form games associated with the states of the model and propose a quantitative extension of the logic ATL* enabling the combination of quantitative and qualitative reasoning.

KW - cs.LO cs.MA

U2 - 10.4204/EPTCS.112.8

DO - 10.4204/EPTCS.112.8

M3 - Conference article

VL - 112

SP - 33

EP - 41

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

T2 - 1st Workshop on Strategic Reasoning (SR 2013)

Y2 - 16 March 2013 through 17 March 2013

ER -