How to Find Good Coalitions to Achieve Strategic Objectives - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

How to Find Good Coalitions to Achieve Strategic Objectives

Résumé

Alternating-time Temporal Logic (ATL) is an extension of the temporal logic CTL in which we can quantify over coalition of agents. In the model checking process, the coalitions in a given formula are fixed, so it is assumed that the user knows the specific coalitions to be checked. Unfortunately, this is not true in general. In this paper, we present an extension of MCMAS, a well-known tool that handles ATL model checking, in which we give the ability to a user to characterise the coalition quantifiers with respect to two main features: the number of agents involved in the coalitions and how to group such agents. Moreover, we give details of such extensions and provide experimental results.

Dates et versions

hal-04336255 , version 1 (11-12-2023)

Identifiants

Citer

Angelo Ferrando, Vadim Malvone. How to Find Good Coalitions to Achieve Strategic Objectives. 15th International Conference on Agents and Artificial Intelligence, Feb 2023, Lisbon, Portugal. pp.105-113, ⟨10.5220/0011778700003393⟩. ⟨hal-04336255⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More