How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)
How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)
复制标题
如何既富有又快乐：定量与定性相结合的多人游戏战略推理（扩展摘要）
DOI：
10.4204/eptcs.112.8
复制
发表时间：
2013
影响因子：
--
通讯作者：
V. Goranko
中科院分区：
文献类型：
--
作者：
N. Bulling;V. Goranko
我们提出了一个逻辑框架，结合了对多人博弈中代理人通过优化收益或结果偏好来实现定量目标的能力的博弈论研究，以及对玩家实现玩家定性目标的能力的逻辑分析，即，达到或保持具有期望属性的游戏状态。我们丰富的并发游戏模型的正常形式的游戏与模型的状态的回报，并提出了一个定量扩展的逻辑ATL*，使定量和定性推理相结合。
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.