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 journalConference articleResearchpeer-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 languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume112
Pages (from-to)33-41
Number of pages9
ISSN2075-2180
DOIs
Publication statusPublished - 2013
Event1st Workshop on Strategic Reasoning (SR 2013) - Rome, Italy
Duration: 16 Mar 201317 Mar 2013
http://www.strategicreasoning.net/

Conference

Conference1st Workshop on Strategic Reasoning (SR 2013)
CountryItaly
CityRome
Period16/03/201317/03/2013
Internet address

Bibliographical note

This work is licensed under the Creative Commons Attribution License.

Keywords

  • cs.LO cs.MA

Cite this