A STIT-extension of ATL - Archive ouverte HAL
Communication Dans Un Congrès Année : 2006

A STIT-extension of ATL

Résumé

A problem in many formalisms for reasoning about multi-agent systems, like ATL or PDL, is the inability to express that a certain complex action (as in PDL), choice or strategy (as in ATL) is performed by an agent. However, in so called STIT-logics, this is exactly the main operator: seeing to it that a certain condition is achieved. Here we present an extension of ATL, introducing ideas from STIT-theory, that can express that a group of agents A perform a certain strategy. As a demonstration of the applicability of the formalism, we show how it sheds new light on the problem of modelling ‘uniform strategies’ in epistemic versions of ATL.

Dates et versions

hal-03537172 , version 1 (20-01-2022)

Identifiants

Citer

Jan Broersen, Andreas Herzig, Nicolas Troquard. A STIT-extension of ATL. 10th European Conference on Logics in Artificial Intelligence (JELIA 2006), Sep 2006, Liverpool, United Kingdom. pp.69-81, ⟨10.1007/11853886_8⟩. ⟨hal-03537172⟩
34 Consultations
0 Téléchargements

Altmetric

Partager

More