Towards an Updatable Strategy Logic

Abstract : This article is about temporal multi-agent logics. Several of these formalisms have been already presented (ATL-ATL*, ATLsc, SL). They enable to express the capacities of agents in a system to ensure the satisfaction of temporal properties. Particularly, SL and ATLsc enable several agents to interact in a context mixing the different strategies they play in a semantical game. We generalize this possibility by proposing a new formalism, Updating Strategy Logic (USL). In USL, an agent can also refine its own strategy. The gain in expressive power rises the notion of "sustainable capacities" for agents. USL is built from SL. It mainly brings to SL the two following modifications: semantically, the successor of a given state is not uniquely determined by the data of one choice from each agent. Syntactically, we introduce in the language an operator, called an "unbinder", which explicitely deletes the binding of a strategy to an agent. We show that USL is strictly more expressive than SL.
Type de document :
Communication dans un congrès
1st International Workshop on Strategic Reasoning, Mar 2013, Rome, France. 112, pp.91 - 98, 2013, Proceedings 1st International Workshop on Strategic Reasoning: Preface. 〈10.4204/EPTCS.112.14〉
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00796962
Contributeur : David Chemouil <>
Soumis le : lundi 27 août 2018 - 16:09:33
Dernière modification le : jeudi 15 novembre 2018 - 08:38:03
Document(s) archivé(s) le : mercredi 28 novembre 2018 - 15:51:23

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Christophe Chareton, Julien Brunel, David Chemouil. Towards an Updatable Strategy Logic. 1st International Workshop on Strategic Reasoning, Mar 2013, Rome, France. 112, pp.91 - 98, 2013, Proceedings 1st International Workshop on Strategic Reasoning: Preface. 〈10.4204/EPTCS.112.14〉. 〈hal-00796962〉

Partager

Métriques

Consultations de la notice

129

Téléchargements de fichiers

8