A Logic with Revocable and Refinable Strategies - Archive ouverte HAL
Article Dans Une Revue Information and Computation Année : 2015

A Logic with Revocable and Refinable Strategies

Résumé

In this article, we present Updatable Strategy Logic (USL), a multi-agent temporal logic which subsumes the main propositions in this area, such as ATL, ATL*, ATL sc and SL. These logics allow to express the capabilities of agents to ensure the satisfaction of temporal properties. USL mainly differs from SL, in two ways. Semantically, USL relies on multi-strategies (that is, non-deterministic strategies), and the notion of strategy composition is extended to enable an agent to refine her strategy, that is to update it without revoking it. Syntactically, the logic features a binding operator enabling multi-strategy refinements as well as an " unbinding " operator that allows an agent to explicitly revoke a multi-strategy (whereas revocation is implicit with the binding operator in SL). We show that USL allows to express a notion of sustainable control for an agent, i.e., a capability to always decide the satisfaction of a property, that still holds even after the said capability has been employed. Furthermore, USL allows the definition of a notion of equality between multi-strategies that enables to consider quantification over deterministic strategies. This makes USL strictly more expressive than SL. Finally, we also show that the model-checking problem for USL is decidable but non-elementary (as for SL).
Fichier principal
Vignette du fichier
20150409-preprint-HAL.pdf (259.23 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00785659 , version 1 (06-02-2013)
hal-00785659 , version 2 (16-04-2013)
hal-00785659 , version 3 (09-04-2015)

Identifiants

Citer

Christophe Chareton, Julien Brunel, David Chemouil. A Logic with Revocable and Refinable Strategies. Information and Computation, 2015, 242, pp.157-182. ⟨10.1016/j.ic.2015.03.015⟩. ⟨hal-00785659v3⟩

Collections

ONERA
208 Consultations
240 Téléchargements

Altmetric

Partager

More