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.
Original language | English (US) |
---|---|
Title of host publication | Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021 |
Editors | Zhi-Hua Zhou |
Publisher | International Joint Conferences on Artificial Intelligence |
Pages | 1787-1793 |
Number of pages | 7 |
ISBN (Electronic) | 9780999241196 |
State | Published - 2021 |
Event | 30th International Joint Conference on Artificial Intelligence, IJCAI 2021 - Virtual, Online, Canada Duration: Aug 19 2021 → Aug 27 2021 |
Publication series
Name | IJCAI International Joint Conference on Artificial Intelligence |
---|---|
ISSN (Print) | 1045-0823 |
Conference
Conference | 30th International Joint Conference on Artificial Intelligence, IJCAI 2021 |
---|---|
Country/Territory | Canada |
City | Virtual, Online |
Period | 8/19/21 → 8/27/21 |
Bibliographical note
Publisher Copyright:© 2021 International Joint Conferences on Artificial Intelligence. All rights reserved.