Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014)

Résumé

We introduce ATLEP, an extension of Alternating-time Temporal Logic (ATL), following the recent Alternating-time Temporal Logic with Explicit Actions (ATLEA). ATLEP adds to the language of ATL explicit programs which agents are committed to play, formulated in a language similar to Propositional Dynamic Logic (PDL), which allows to express full strategies. We also add combinations of commitments, inspired from the work on the Game Description and we give an example on how a multi-agent game can be fully modeled with several winning strategies.
Fichier principal
Vignette du fichier
Lamas14.pdf (204.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03224137 , version 1 (12-05-2021)

Identifiants

  • HAL Id : hal-03224137 , version 1

Citer

Andreas Herzig, Emiliano Lorini, Faustine Maffre, Dirk Walther. Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014). Workshop on Logical Aspects of Multi-Agent Systems @ AAMAS 2014 (LAMAS 2014), IFAAMAS, May 2014, Paris, France. ⟨hal-03224137⟩
26 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More