如何既富有又快乐：结合定量与定性策略推理的多玩家博弈（扩展摘要）
计算机科学中的逻辑
2013-03-05 v1 多智能体系统
摘要
我们提出一个逻辑框架，将博弈论中关于多玩家博弈中实现定量目标（通过优化收益或结果偏好）的能力研究与关于玩家实现定性目标（即达到或维持具有期望属性的博弈状态）的能力的逻辑分析相结合。我们用与模型状态相关联的正规型博弈的收益来丰富并发博弈模型，并提出ATL*逻辑的定量扩展，使得能够结合定量与定性推理。
引用
@article{arxiv.1303.0789,
title = {How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)},
author = {Nils Bulling and Valentin Goranko},
journal= {arXiv preprint arXiv:1303.0789},
year = {2013}
}
备注
In Proceedings SR 2013, arXiv:1303.0071