Concurrent Game Structures for Temporal STIT Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Concurrent Game Structures for Temporal STIT Logic

Résumé

The paper introduces a new semantics for temporal STIT logic (the logic of seeing to it that ) based on concurrent game structures (CGSs), thereby strengthening the connection between temporal STIT and existing logics for MAS including coalition logic, alternating-time temporal logic and strategy logic whose language are usually interpreted over CGSs. Moreover, it provides a complexity result for a rich temporal STIT language interpreted over these structures. The language extends that of full computation tree logic (CTL*) by individual agency operators, allowing to express sentences of the form "agent i sees to it that $\varphi$ is true, as a consequence of her choice''.

Mots clés

Fichier principal
Vignette du fichier
boudou_24703.pdf (471.76 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02382734 , version 1 (27-11-2019)

Identifiants

  • HAL Id : hal-02382734 , version 1

Citer

Joseph Boudou, Emiliano Lorini. Concurrent Game Structures for Temporal STIT Logic. 17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), International Foundation for Autonomous Agents and MultiAgent Systems (IFAAMAS), Jul 2018, Stockholm, Sweden. pp.381-389. ⟨hal-02382734⟩
56 Consultations
95 Téléchargements

Partager

More