OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Path in the Jungle of Logics for Multi-Agent Systems: on the Relation between General Game-Playing Logics and Seeing-To-It-That Logics

Lorini, Emiliano and Schwarzentruber, François A Path in the Jungle of Logics for Multi-Agent Systems: on the Relation between General Game-Playing Logics and Seeing-To-It-That Logics. (2017) In: 16th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), 8 May 2017 - 12 May 2017 (Sao Paulo, Brazil).

[img]
Preview
(Document in English)

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

Official URL: https://dl.acm.org/doi/10.5555/3091125.3091224

Abstract

In the recent years, several concurrent logical systems for reasoning about agency and social interaction and for representing game properties have been proposed. The aim of the present paper is to put some order in this 'jungle' of logics by studying the relationship between the dynamic logic of agency DLA and the game description language GDL. The former has been proposed as a variant of the logic of agency STIT by Belnap et al. in which agents' action are named, while the latter has been introduced in AI as a formal language for reasoning about general game-playing. The paper provides complexity results for the satisfiability problems of both DLALogic and GDL as well as a polynomial embedding of GDL into DLA.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to International Foundation for Autonomous Agents and Multiagent Systems ( IFAAMAS ). The definitive version is available at http://dl.acm.org This papers appears in AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems ISBN: 978-1. The original PDF is available at: https://dl.acm.org/doi/10.5555/3091125.3091224
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (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)
Other partners > Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE)
Laboratory name:
Statistics:download
Deposited On:04 May 2020 15:20

Repository Staff Only: item control page