Knowledge and Common Knowledge of Strategies
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918165507735552 |
|---|---|
| author | Miranda, Borja Sierra Studer, Thomas |
| author_facet | Miranda, Borja Sierra Studer, Thomas |
| contents | Most existing work on strategic reasoning simply adopts either an informed or an uninformed semantics. We propose a model where knowledge of strategies can be specified on a fine-grained level. In particular, it is possible to distinguish first-order, higher-order, and common knowledge of strategies. We illustrate the effect of higher-order knowledge of strategies by studying the game Hanabi. Further, we show that common knowledge of strategies is necessary to solve the consensus problem. Finally, we study the decidability of the model checking problem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_19298 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Knowledge and Common Knowledge of Strategies Miranda, Borja Sierra Studer, Thomas Logic in Computer Science Artificial Intelligence Most existing work on strategic reasoning simply adopts either an informed or an uninformed semantics. We propose a model where knowledge of strategies can be specified on a fine-grained level. In particular, it is possible to distinguish first-order, higher-order, and common knowledge of strategies. We illustrate the effect of higher-order knowledge of strategies by studying the game Hanabi. Further, we show that common knowledge of strategies is necessary to solve the consensus problem. Finally, we study the decidability of the model checking problem. |
| title | Knowledge and Common Knowledge of Strategies |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2510.19298 |