Reasoning about agents that may know other agents’ strategies
File(s)
Accepted version
Author(s)
Type
Conference Paper
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.
Date Issued
2022
Date Acceptance
2021-05-14
Citation
IJCAI : proceedings of the conference / sponsored by the International Joint Conferences on Artificial Intelligence, 2022, pp.1787-1793
ISSN
1045-0823
Publisher
IJCAI
Start Page
1787
End Page
1793
Journal / Book Title
IJCAI : proceedings of the conference / sponsored by the International Joint Conferences on Artificial Intelligence
Copyright Statement
© 2022 The Author(s).
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
EP/I00520X/1
Source
30th International Joint Conference on Artificial Intelligence (IJCAI21)
Publication Status
Published
Start Date
2021-08-19
Finish Date
2021-08-26
Coverage Spatial
Montreal, Canada (Virtual)
Date Publish Online
2022