Published on Thu Feb 11 2021

A Logic for Conditional Local Strategic Reasoning

Valentin Goranko, Fengkui Ju

We consider systems of rational agents who act and interact in pursuit of individual and collective objectives. To formalize such reasoning we extend Pauly's Coalition Logic with three new operators of conditional strategic reasoning. We provide formal semantics for the new conditional strategic operators in concurrent game models.

0
0
0
Abstract

We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an external observer, about the expected choices of action of the other agents based on their objectives, in order to assess the reasoner's ability, or expectation, to achieve their own objective. To formalize such reasoning we extend Pauly's Coalition Logic with three new modal operators of conditional strategic reasoning, thus introducing the Logic for Local Conditional Strategic Reasoning ConStR. We provide formal semantics for the new conditional strategic operators in concurrent game models, introduce the matching notion of bisimulation for each of them, prove bisimulation invariance and Hennessy-Milner property for each of them, and discuss and compare briefly their expressiveness. Finally, we also propose systems of axioms for each of the basic operators of ConStR and for the full logic.

Thu Oct 10 2019
Artificial Intelligence
Strategic Coalitions in Stochastic Games
The article introduces a notion of a stochastic game with failure states. It proposes two logical systems with modality "coalition has a strategy to transition to a non-failure state"
0
0
0
Thu Apr 03 2014
Artificial Intelligence
Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
Epistemic Strategy Logic (ESL) is an extension of Strategy Logic with modal operators for individual knowledge. We show that the complexity of model checking ESL is not worse than (non-epistemic) Strategy Logic.
0
0
0
Thu Jan 16 2014
Artificial Intelligence
Reasoning About the Transfer of Control
DCL-PC is a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The basic modal constructs of DCL- PC are of the form coalition C can cooperate to bring about phi. We distinguish between first-order control -- the ability of an agent or coalition to control. some state of affairs through the assignment of values to
0
0
0
Tue Jul 12 2016
Artificial Intelligence
Extended Graded Modalities in Strategy Logic
Graded Strategy Logic (GradedSL) is an extension of SL by graded quantifiers over tuples of strategy variables. We prove that the model-checking problem of GradedSL is decidable. We conclude that the important problems of checking for the existence of a unique Nash
0
0
0
Mon Dec 07 2015
Artificial Intelligence
Knowledge Sharing in Coalitions
This work provides a partial answer to the question: which kind of group knowledge is required for a group to achieve its goals in the context of imperfect information. We investigate how knowledge sharing within a group of agents contributes to its coalitional ability.
0
0
0
Thu Apr 03 2014
Artificial Intelligence
A Resolution Prover for Coalition Logic
ClProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems. We provide an overview of coalition problems and of the resolution-based calculus.
0
0
0