Reasoning about Knowledge and Strategies under Hierarchical Information

by   Bastien Maubert, et al.

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.




Reasoning about Knowledge and Strategies

Two distinct semantics have been considered for knowledge in the context...

Dealing with imperfect information in Strategy Logic

We propose an extension of Strategy Logic (SL), in which one can both re...

Fixpoint Approximation of Strategic Abilities under Imperfect Information

Model checking of strategic ability under imperfect information is known...

Strategy Logic with Imperfect Information

We introduce an extension of Strategy Logic for the imperfect-informatio...

Reasoning about strategies on collapsible pushdown arenas with imperfect information

Strategy Logic with imperfect information (SLiR) is a very expressive lo...

A Logic for Conditional Local Strategic Reasoning

We consider systems of rational agents who act and interact in pursuit o...

Revisiting Epistemic Specifications

In 1991, Michael Gelfond introduced the language of epistemic specificat...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.