TY - GEN
T1 - Natural strategic ability under imperfect information
AU - Jamroga, Wojciech
AU - Malvone, Vadim
AU - Murano, Aniello
N1 - Publisher Copyright:
© 2019 International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org) Ail rights reserved.
PY - 2019/1/1
Y1 - 2019/1/1
N2 - Strategies in game theory and multi-agent logics are mathematical objects of remarkable combinatorial complexity Recently, the concept of natural strategies has been proposed to model more human-like reasoning about simple plans and their outcomes So far, the theory of such simple strategic play was only considered in scenarios where all the agents have perfect information about the state of the game In this paper, we extend the notion of natural strategies to games with imperfect information We also show that almost all the complexity results for model checking carry over from the perfect to imperfect information setting That is, verification of natural strategies is usually no more complex for agents with uncertainty This tells games of natural strategic ability clearly apart from most results in game theory and multi-agent logics.
AB - Strategies in game theory and multi-agent logics are mathematical objects of remarkable combinatorial complexity Recently, the concept of natural strategies has been proposed to model more human-like reasoning about simple plans and their outcomes So far, the theory of such simple strategic play was only considered in scenarios where all the agents have perfect information about the state of the game In this paper, we extend the notion of natural strategies to games with imperfect information We also show that almost all the complexity results for model checking carry over from the perfect to imperfect information setting That is, verification of natural strategies is usually no more complex for agents with uncertainty This tells games of natural strategic ability clearly apart from most results in game theory and multi-agent logics.
KW - (verification and validation of agent-based systems] verification techniques for multi-agents systems, including model checking
KW - Logics for agents and multi-agents systems
KW - [agent theories and models] logic and game theory
M3 - Conference contribution
AN - SCOPUS:85076998779
T3 - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
SP - 962
EP - 970
BT - 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
PB - International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
T2 - 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
Y2 - 13 May 2019 through 17 May 2019
ER -