Skip to Main content Skip to Navigation
Conference papers

Public and Private Affairs in Strategic Reasoning

Abstract : Do agents know each others’ strategies? In multi-process software construction, each process has access to the processes already constructed; but in typical human-robot interactions, a human may not announce its strategy to the robot (indeed, the human may not even know their own strategy). This question has often been overlooked when modeling and reasoning about multi-agent systems. In this work, we study how it impacts strategic reasoning. To do so we consider Strategy Logic (SL), a well-established and highly expressive logic for strategic reasoning. Its usual semantics, which we call “white-box semantics”, models systems in which agents “broadcast” their strategies. By adding imperfect information to the evaluation games for the usual semantics, we obtain a new semantics called “black-box semantics”, in which agents keep their strategies private. We consider the model-checking problem and show that the black-box semantics has much lower complexity than white-box semantics for an important fragment of Strategy Logic.
Document type :
Conference papers
Complete list of metadata
Contributor : Nathanaël Fijalkow Connect in order to contact the contributor
Submitted on : Monday, September 12, 2022 - 11:51:23 AM
Last modification on : Monday, September 12, 2022 - 11:51:23 AM




Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi. Public and Private Affairs in Strategic Reasoning. 19th International Conference on Principles of Knowledge Representation and Reasoning , Jul 2022, Haifa, Israel. pp.132-140, ⟨10.24963/kr.2022/14⟩. ⟨hal-03775036⟩



Record views