Public and Private Affairs in Strategic Reasoning - CNRS - Centre national de la recherche scientifique Access content directly
Conference Papers Year : 2022

Public and Private Affairs in Strategic Reasoning

Bastien Maubert
  • Function : Author
Aniello Murano
  • Function : Author
Sasha Rubin
  • Function : Author
Moshe Vardi
  • Function : Author


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.

Dates and versions

hal-03775036 , version 1 (12-09-2022)



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 {KR-2022}, Jul 2022, Haifa, Israel. pp.132-140, ⟨10.24963/kr.2022/14⟩. ⟨hal-03775036⟩


6 View
0 Download



Gmail Facebook X LinkedIn More