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 | |
| 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/Territory | Italy |
| City | Rome |
| Period | 16/03/2013 → 17/03/2013 |
| Internet address |
Bibliographical note
This work is licensed under the Creative Commons Attribution License.Keywords
- cs.LO cs.MA