TY - GEN
T1 - Reasoning about natural strategic ability
AU - Jamroga, Wojciech
AU - Malvone, Vadim
AU - Murano, Aniello
N1 - Publisher Copyright:
© Copyright 2017, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.
PY - 2017/1/1
Y1 - 2017/1/1
N2 - In game theory, as well as in the semantics of game logics, a strategy can be represented by any function from states of the game to the agent's actions. That makes sense from the mathematical point of view, but not necessarily in the context of human behavior. This is because humans are quite bad at executing complex plans, and also rather unlikely to come up with such plans in the first place. In this paper, we adopt the view of bounded rationality, and look only at "simple" strategies in specifications of agents' abilities. We formally define what "simple" means, and propose a variant of alternating-Time temporal logic that takes only such strategies into account. We also study the model checking problem for the resulting semantics of ability.
AB - In game theory, as well as in the semantics of game logics, a strategy can be represented by any function from states of the game to the agent's actions. That makes sense from the mathematical point of view, but not necessarily in the context of human behavior. This is because humans are quite bad at executing complex plans, and also rather unlikely to come up with such plans in the first place. In this paper, we adopt the view of bounded rationality, and look only at "simple" strategies in specifications of agents' abilities. We formally define what "simple" means, and propose a variant of alternating-Time temporal logic that takes only such strategies into account. We also study the model checking problem for the resulting semantics of ability.
M3 - Conference contribution
AN - SCOPUS:85046462991
T3 - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
SP - 714
EP - 722
BT - 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
A2 - Das, Sanmay
A2 - Durfee, Edmund
A2 - Larson, Kate
A2 - Winikoff, Michael
PB - International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
T2 - 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
Y2 - 8 May 2017 through 12 May 2017
ER -