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.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|