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 - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

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

Résumé

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.
Fichier principal
Vignette du fichier
lorini_24689.pdf (226.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03656613 , version 1 (02-05-2022)

Identifiants

  • HAL Id : hal-03656613 , version 1

Citer

Emiliano Lorini, François Schwarzentruber. 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. 16th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), May 2017, Sao Paulo, Brazil. pp.687-695. ⟨hal-03656613⟩
22 Consultations
18 Téléchargements

Partager

More