Dealing with imperfect information in Strategy Logic

08/07/2019
by   Sophia Knight, et al.
0

We propose an extension of Strategy Logic (SL), in which one can both reason about strategizing under imperfect information and about players' knowledge. One original aspect of our approach is that we do not force strategies to be uniform, i.e. consistent with the players' information, at the semantic level; instead, one can express in the logic itself that a strategy should be uniform. To do so, we first develop a "branching-time" version of SL with perfect information, that we call BSL, in which one can quantify over the different outcomes defined by a partial assignment of strategies to the players; this contrasts with SL, where temporal operators are allowed only when all strategies are fixed, leaving only one possible play. Next, we further extend BSL by adding distributed knowledge operators, the semantics of which rely on equivalence relations on partial plays. The logic we obtain subsumes most strategic logics with imperfect information, epistemic or not.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

05/31/2018

Reasoning about Knowledge and Strategies

Two distinct semantics have been considered for knowledge in the context...
05/31/2018

Reasoning about Knowledge and Strategies under Hierarchical Information

Two distinct semantics have been considered for knowledge in the context...
02/12/2009

Qualitative Concurrent Stochastic Games with Imperfect Information

We study a model of games that combines concurrency, imperfect informati...
06/26/2020

A Hennessy-Milner Theorem for ATL with Imperfect Information

We show that a history-based variant of alternating bisimulation with im...
05/29/2019

Reachability Games in Dynamic Epistemic Logic

We define reachability games based on Dynamic Epistemic Logic (DEL), whe...
12/07/2015

Knowledge Sharing in Coalitions

The aim of this paper is to investigate the interplay between knowledge ...
07/30/2020

Reasoning about strategies on collapsible pushdown arenas with imperfect information

Strategy Logic with imperfect information (SLiR) is a very expressive lo...
This week in AI

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