84,637 research outputs found
Reasoning about Knowledge and Strategies under Hierarchical Information
Two distinct semantics have been considered for knowledge in the context of
strategic reasoning, depending on whether players know each other's strategy or
not. The problem of distributed synthesis for epistemic temporal specifications
is known to be undecidable for the latter semantics, already on systems with
hierarchical information. However, for the other, uninformed semantics, the
problem is decidable on such systems. In this work we generalise this result by
introducing an epistemic extension of Strategy Logic with imperfect
information. The semantics of knowledge operators is uninformed, and captures
agents that can change observation power when they change strategies. We solve
the model-checking problem on a class of "hierarchical instances", which
provides a solution to a vast class of strategic problems with epistemic
temporal specifications on hierarchical systems, such as distributed synthesis
or rational synthesis
- …