How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended 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.,...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2013-03-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1303.0789v1 |
id |
doaj-8c0e952f738f4dc8927d9c68ff11ffdf |
---|---|
record_format |
Article |
spelling |
doaj-8c0e952f738f4dc8927d9c68ff11ffdf2020-11-24T22:20:42ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-03-01112Proc. SR 2013334110.4204/EPTCS.112.8How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)Nils BullingValentin GorankoWe 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. http://arxiv.org/pdf/1303.0789v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Nils Bulling Valentin Goranko |
spellingShingle |
Nils Bulling Valentin Goranko How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) Electronic Proceedings in Theoretical Computer Science |
author_facet |
Nils Bulling Valentin Goranko |
author_sort |
Nils Bulling |
title |
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) |
title_short |
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) |
title_full |
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) |
title_fullStr |
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) |
title_full_unstemmed |
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract) |
title_sort |
how to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract) |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2013-03-01 |
description |
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. |
url |
http://arxiv.org/pdf/1303.0789v1 |
work_keys_str_mv |
AT nilsbulling howtobebothrichandhappycombiningquantitativeandqualitativestrategicreasoningaboutmultiplayergamesextendedabstract AT valentingoranko howtobebothrichandhappycombiningquantitativeandqualitativestrategicreasoningaboutmultiplayergamesextendedabstract |
_version_ |
1725774353096769536 |