OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Concurrent Game Structures for Temporal STIT Logic

Boudou, Joseph and Lorini, Emiliano Concurrent Game Structures for Temporal STIT Logic. (2018) In: 17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), 11 July 2018 - 13 July 2018 (Stockholm, Sweden).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
483kB

Official URL: http://ifaamas.org/Proceedings/aamas2018/pdfs/p381.pdf

Abstract

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''.

Item Type:Conference or Workshop Item (Paper)
Additional Information:AAMAS'18 : Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems ISBN: 978-1-4503-5649-7 ISSN: 2523-5699 https://dl.acm.org/citation.cfm?id=3237443
HAL Id:hal-02382734
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited On:21 Nov 2019 14:44

Repository Staff Only: item control page