Strategic commitment and release in logics for multi-agent systems


In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are \emph{revocable} in the sense that in the evaluation of the goal $\phi$ the agent $i$ is no longer restricted by the strategy she has chosen in order to reach the state where the goal is evaluated. Here we discuss some alternatives leading to amendments of that semantics. In particular, we consider variants of \acro{atl}$^*$ where strategies, on the contrary, are \emph{irrevocable}. Unlike in the standard semantics of \acro{atl}, memory plays an essential role in the semantics based on irrevocable strategies. Further, we propose and discuss various syntactic and semantics mechanisms for handling commitments to strategies and release from such commitments in the semantics of ATL$^*$, leading to more expressive and semantically refined versions of that logic.

Author's Profile

Valentin Goranko
Stockholm University


Added to PP

236 (#57,358)

6 months
51 (#71,767)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?