Reasoning About Agents That May Know Other Agents’ Strategies

Belardinelli, Francesco; Knight, Sophia; Lomuscio, Alessio; Maubert, Bastien; Murano, Aniello; Rubin, Sasha

doi:10.24963/ijcai.2021/246

Reasoning About Agents That May Know Other Agents’ Strategies

Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

Download BibTeX Cite

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Main Track. Pages 1787-1793.

https://doi.org/10.24963/ijcai.2021/246

Keywords

Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief
Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis
Agent-based and Multi-agent Systems: Multi-agent Planning

Abstract

We study the semantics of knowledge in strategic reasoning. Most existing works either implicitly assume that agents do not know one another’s strategies, or that all strategies are known to all; and some works present inconsistent mixes of both features. We put forward a novel semantics for Strategy Logic with Knowledge that cleanly models whose strategies each agent knows. We study how adopting this semantics impacts agents’ knowledge and strategic ability, as well as the complexity of the model-checking problem.

Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, and Sasha Rubin. 2021. Reasoning About Agents That May Know Other Agents’ Strategies. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. IJCAI, 1787–1793. https://doi.org/10.24963/ijcai.2021/246

@inproceedings{ijcai2021p246,
  title     = {Reasoning About Agents That May Know Other Agents’ Strategies},
  author    = {Belardinelli, Francesco and Knight, Sophia and Lomuscio, Alessio and Maubert, Bastien and Murano, Aniello and Rubin, Sasha},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on
               Artificial Intelligence, {IJCAI-21}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Prof. Zhi-Hua Zhou},
  pages     = {1787--1793},
  year      = {2021},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2021/246},
  url       = {https://doi.org/10.24963/ijcai.2021/246},
}

TY  - CPAPER
TI  - Reasoning About Agents That May Know Other Agents’ Strategies
AU  - Belardinelli, Francesco
AU  - Knight, Sophia
AU  - Lomuscio, Alessio
AU  - Maubert, Bastien
AU  - Murano, Aniello
AU  - Rubin, Sasha
T2  - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2021
SP  - 1787
EP  - 1793
DO  - 10.24963/ijcai.2021/246
UR  - https://doi.org/10.24963/ijcai.2021/246
ER  -