Propriétés de jeux multi-agents

Résumé : Nous etendons les logiques temporelles du temps alternant ATL et ATL* au moyen de contextes strategiques et de contraintes sur la memoire : la premiere extension permet aux agents de s'en tenir a leurs strategies lors de l'evaluation des formules, contrairement a ATL ou chaque quantificateur de strategies ecrase les strategies anterieurement selectionnees. La seconde extension permet aux quantificateurs de strategies de se restreindre aux strategies sans memoire ou avec memoire bornee. Nous avons l'etudie l'expressivite de nos logiques. Nous montrons qu'elles expriment des proprietes importantes comme l'exstence d'equilibres, et nous les comparons formellement a d'autres formalismes proches (ATL, ATL*, Game Logic, Strategy Logic, ...). Nous avons aborde les problemes de model-checking. Nous donnons un algorithme PSPACE pour la logique n'impliquant que des strategies sans memoire, et un algorithme EXPSPACE pour le cas des strategies a memoire bornee. Dans le cas general, malgre leur forte expresssivite, nous prouvons que leur model-checking reste decidable par un algorithme a base d'automates d'arbres alternants qui permet d'evaluer une formule sur la classe complete des CGS avec n joueurs.
Type de document :
Thèse
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2011. Français. 〈NNT : 2011DENS0034〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00744970
Contributeur : Abes Star <>
Soumis le : mercredi 24 octobre 2012 - 12:07:10
Dernière modification le : jeudi 11 janvier 2018 - 06:20:13
Document(s) archivé(s) le : vendredi 25 janvier 2013 - 03:43:45

Fichier

DaCostaLopes2011.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00744970, version 1

Collections

Citation

Arnaud da Costa Lopes. Propriétés de jeux multi-agents. Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2011. Français. 〈NNT : 2011DENS0034〉. 〈tel-00744970〉

Partager

Métriques

Consultations de la notice

561

Téléchargements de fichiers

611