Evaluating the Assignment of Behavioral Goals to Coalitions of Agents

Abstract : We present a formal framework for solving what we call the “assignment problem”: given a set of behavioral goals for a system and a set of agents described by their capabilities to make the system evolve, the problem is to find a “good” assignment of goals to (coalitions of) agents. To do so, we define Kore, a core modelling framework as well as its semantics in terms of a strategy logic called USL. In Kore, agents are defined by their capabilities, which are pre- and post-conditions on the system variables, and goals are defined in terms of temporal logic formulas. Then, an assignment associates each goal with the coalition of agents that is responsible for its satisfaction. Our problem consists in defining and checking the correctness of this assignment. We define different criteria for modelling and formalizing this notion of correctness. They reduce to the satisfaction of USL formulas in a structure derived from the capabilities of agents. Thus, we end up with a procedure for deciding the correctness of the assignment. We illustrate our approach using a toy example featuring exchanges of resources between a provider and two clients.
Type de document :
Communication dans un congrès
Brazilian Symposium on Formal Methods, Sep 2015, Belo Horizonte, Brazil. 〈10.1007/978-3-319-29473-5_4〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01206625
Contributeur : David Chemouil <>
Soumis le : mardi 29 septembre 2015 - 13:55:27
Dernière modification le : jeudi 15 novembre 2018 - 08:38:02
Document(s) archivé(s) le : mercredi 30 décembre 2015 - 10:40:43

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Christophe Chareton, Julien Brunel, David Chemouil. Evaluating the Assignment of Behavioral Goals to Coalitions of Agents. Brazilian Symposium on Formal Methods, Sep 2015, Belo Horizonte, Brazil. 〈10.1007/978-3-319-29473-5_4〉. 〈hal-01206625〉

Partager

Métriques

Consultations de la notice

65

Téléchargements de fichiers

96