{"type":"ScholarlyArticle","title":"Intelligence in Strategic Games (Extended Abstract)","authors":[{"name":"Pavel Naumov","slug":"pavel-naumov","given":"Pavel","family":"Naumov","affiliation":"University of Southampton , the United Kingdom"},{"name":"Yuan Yuan","slug":"yuan-yuan","given":"Yuan","family":"Yuan","affiliation":"Vassar College , the United States"}],"abstract":"If an agent, or a coalition of agents, has a strategy, knows that she has a strategy, and knows what the strategy is, then she has a know-how strategy. Several modal logics of coalition power for know-how strategies have been studied before. \r\n\r\nThe contribution of the article is three-fold. First, it proposes a new class of know-how strategies that depend on the intelligence information about the opponents' actions. Second, it shows that the coalition power modality for the proposed new class of strategies cannot be expressed through the standard know-how modality. Third, it gives a sound and complete logical system that describes the interplay between the coalition power modality with intelligence and the distributed knowledge modality in games with imperfect information.","doi":"10.24963/ijcai.2022/805","url":"https://ijcai.org/proceedings/2022/805","pdf":"https://ijcai.org/proceedings/2022/0805.pdf","markdown":"https://ijcai.org/proceedings/2022/805.md","bibtex":"https://ijcai.org/proceedings/2022/bibtex/805","volume":{"slug":"2022","title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2022","url":"https://ijcai.org/proceedings/2022/","year":2022,"location":"Vienna","dates":"23-29 July 2022","editors":"Luc De Raedt","isbn":"978-1-956792-00-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2022"},"section":"Journal Track","track":"Journal Track","number":805,"pages":{"first":5757,"last":5761},"keywords":["Knowledge Representation and Reasoning: Reasoning about actions","Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief"],"videos":[],"references":[{"position":1,"raw":"[Ågotnes and Alechina, 2019] Thomas Ågotnes and Natasha Alechina. Coalition logic with individual, distributed and common knowledge. Journal of Logic and Computation, 29:1041-1069, 11 2019.","title":"Thomas Ågotnes and Natasha Alechina. Coalition logic with individual, distributed and common knowledge","authors":"Alechina Ågotnes","year":"2019","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Ågotnes and Wáng, 2017] Thomas Ågotnes and Yì N Wáng. Resolving distributed knowledge. Artificial Intelli- gence, 252:1-21, 2017.","title":"Resolving distributed knowledge","authors":"Thomas Ågotnes, N Yì, Wáng","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Budiansky, 2002] Stephen Budiansky. German vs. allied codebreakers in the battle of the atlantic. International Journal of Naval History, 1(1), April 2002.","title":"German vs. allied codebreakers in the battle of the atlantic","authors":"Stephen Budiansky","year":"2002","venue":"International Journal of Naval History","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Cao and Naumov, 2020] Rui Cao and Pavel Naumov. Knowing the price of success. Artificial Intelligence, 284:103287, 2020.","title":"Knowing the price of success","authors":"Rui Cao, Pavel Naumov","year":"2020","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Fervari et al., 2017] Raul Fervari, Andreas Herzig, Yanjun Li, and Yanjing Wang. Strategically knowing how. In Proceedings of the Twenty-Sixth International Joint Con- ference on Artificial Intelligence, IJCAI-17, pages 1031- 1038, 2017.","title":"Strategically knowing how","authors":"Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang","year":"2017","venue":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Gabbay, 1972] Dov M Gabbay. A general filtration method for modal logics. Journal of Philosophical Logic, 1(1):29- 34, 1972.","title":"A general filtration method for modal logics","authors":"Dov M Gabbay","year":"1972","venue":"Journal of Philosophical Logic","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Jamroga and Ågotnes, 2007] Wojciech Jamroga and Thomas Ågotnes. Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics, 17(4):423-475, 2007.","title":"Constructive knowledge: what agents can achieve under imperfect information","authors":"Wojciech Jamroga, Thomas Ågotnes","year":"2007","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Jamroga and van der Hoek, 2004] Wojciech Jamroga and Wiebe van der Hoek. Agents that know how to play. Fun- damenta Informaticae, 63(2-3):185-219, 2004.","title":"Wojciech Jamroga and Wiebe van der Hoek. Agents that know how to play","authors":"Van Jamroga, Hoek Der","year":"2004","venue":"Fundamenta Informaticae","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Naumov and Tao, 2017a] Pavel Naumov and Jia Tao. Coali- tion power in epistemic transition systems. In Proceed- ings of the 2017 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 723-731, 2017.","title":"Coalition power in epistemic transition systems","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2017","venue":"Proceedings of the 2017 International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Naumov and Tao, 2017b] Pavel Naumov and Jia Tao. To- gether we know how to achieve: An epistemic logic of know-how. In Proceedings of 16th conference on Theoret- ical Aspects of Rationality and Knowledge (TARK), July 24-26, 2017, EPTCS 251, pages 441-453, 2017.","title":"Together we know how to achieve: An epistemic logic of know-how","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2017","venue":"Proceedings of 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Naumov and Tao, 2018a] Pavel Naumov and Jia Tao. Second-order know-how strategies. In Proceedings of the 2018 International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 390-398, 2018.","title":"Second-order know-how strategies","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2018","venue":"Proceedings of the 2018 International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Naumov and Tao, 2018b] Pavel Naumov and Jia Tao. Strategic coalitions with perfect recall. In Proceedings of Thirty-Second AAAI Conference on Artificial Intelligence, 2018.","title":"Strategic coalitions with perfect recall","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2018","venue":"Proceedings of Thirty-Second AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Naumov and Tao, 2018c] Pavel Naumov and Jia Tao. To- gether we know how to achieve: An epistemic logic of know-how. Artificial Intelligence, 262:279 -300, 2018.","title":"Together we know how to achieve: An epistemic logic of know-how","authors":"Tao Naumov, Pavel Naumov, Jia Tao","year":"2018","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Naumov and Yuan, 2021] Pavel Naumov and Yuan Yuan. Intelligence in strategic games. Journal of Artificial In- telligence Research, 71:521-556, 2021.","title":"Intelligence in strategic games","authors":"Yuan Naumov, Pavel Naumov, Yuan Yuan","year":"2021","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Pauly, 2001] Marc Pauly. Logic for Social Software. PhD thesis, Institute for Logic, Language, and Computation, 2001.","title":"Logic for Social Software","authors":"Marc Pauly","year":"2001","venue":"Language, and Computation","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Pauly, 2002] Marc Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149-166, 2002.","title":"A modal logic for coalitional power in games","authors":"Marc Pauly","year":"2002","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Showell, 2003] Jak P. Mallmann Showell. German Naval Code Breakers. Naval Inst Pr, 1st edition, 2003.","title":"German Naval Code Breakers","authors":"P Mallmann Jak, Showell","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[van Benthem, 2001] Johan van Benthem. Games in dynamic-epistemic logic. Bulletin of Economic Research, 53(4):219-248, 2001.","title":"Games in dynamic-epistemic logic","authors":"; Van Benthem, Johan Van Benthem","year":"2001","venue":"Bulletin of Economic Research","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Wang, 2015] Yanjing Wang. A logic of knowing how. In Logic, Rationality, and Interaction, pages 392-405. Springer, 2015.","title":"A logic of knowing how","authors":"Yanjing Wang","year":"2015","venue":"Logic, Rationality, and Interaction","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Wang, 2018] Yanjing Wang. A logic of goal-directed know- ing how. Synthese, 195(10):4419-4439, 2018.","title":"A logic of goal-directed knowing how","authors":"Yanjing Wang","year":"2018","venue":"Synthese","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}