Académique Documents
Professionnel Documents
Culture Documents
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 1 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 2
• Jennings N.R., et al. "Automated négociation: prospects, methods, and challenges", • Huhns M.N. & Singh M.P. - editors (97), Readings in Agents, Morgan-Kaufmann.
Journal of Group Decision and négociation, 2000. • ...
•…
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 3 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 4
Types de relations entre les actions des agents [Von Martial 92]
1. Types dʼinteractions entre Catégories de relations pouvant exister entre ces actions [Von Martial 92]:
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 5 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 6
Types de relations entre les actions des agents [Von Martial 92] Types d'INTERACTIONS entre agents [Ferber 95]
relations entre actions • Buts compatibles et incompatibles : le but d'un agent a est incompatible avec celui d'un
agent b si les agents a et b ont comme buts respectifs d'atteindre les états décrits
relations négatives relations positives respectivement par p et par q et que p => ¬q
• Ressources = tous les éléments environnementaux et matériels utiles à la réalisation
incompatibilité de buts conflits de ressources relations relations de d'une tâche
subsomption
ressources ressources non d'égalité relations de • Compétences (capacités) des agents
consommables consommables faveur Types d'interactions :
Buts Ressources Compétences Types d'interaction Catégorie
relations positives (ou synergiques) : compatibles suffisante suffisante indépendance indifférence
compatibles suffisante insuffisante collaboration simple coopération
• relations d'égalité : certaines actions ne sont pas liées à un agent compatibles insuffisante suffisante encombrement coopération
compatibles insuffisante insuffisante collaboration coordonnée coopération
particulier et peuvent être réalisées par un autre agent incompatibles suffisante suffisante compétition individuelle pure antagonisme
• relations de subsomption : l'action a d'un agent A fait partie des incompatibles suffisante insuffisante compétition collective pure antagonisme
incompatibles insuffisante suffisante conflits individuels pour des antagonisme
actions b d'un agent B, et en réalisant b, B réalise du même coup a
ressources
• relations de faveur : lʼaction en se réalisant favorise la possibilité incompatibles insuffisante insuffisante conflits collectifs pour des antagonisme
ressources
d'en réaliser une autre
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 7 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 8
Indifférence : Indépendance des agents Coopération entre agents
pas d'interactions entre les agents du fait que qu'ils ont : un agent doit coopérer avec d'autres agents du fait :
• des buts compatibles (autrement dit leurs buts ne sont pas en conflits) • qu'il n'est pas capable de l'accomplir seul ou
• des ressources suffisantes • que les autres sont plus efficaces
• les capacités requises
2 points de vue :
F • des attitudes des agents :
C
indépendance E
A B Ex: des robots qui s'aident pour porter du poids
D
• de l'observateur qui interprète à posteriori les
A D comportements :
B E Ex: construction d'un nid de termites
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 9 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 10
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 11 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 12
Coopération : Collaboration coordonnée Antagonisme : Compétition
les agents ont : F
Coordination F D B
• des buts compatibles d'actions Conflit ! A
A C B E A C
C
• des capacités suffisantes
• des ressources A D
A D
insuffisantes B E
B E
C F 1 2
C F 1 2
Compétition individuelle pure Compétition collective pure
4 buts génériques pour établir la coopération [Durfee & al. 89]: • buts compatibles • buts incompatibles
• capacités suffisantes • ressources suffisantes
• accroître le taux de finalisation des tâches : grâce au parallélisme et aux
• ressources suffisantes • capacités insuffisantes
interactions positives • les agents doivent négocier ou "lutter" pour • les agents se regroupent (coalitions) en vue
• accroître le nombre de tâches réalisables : grâce au partage de ressources atteindre leurs buts. d'atteindre leurs buts.
(information, expertise, ...) • Il y a compétition pure car l'accès aux • groupes (coalitions) dʼagents unis par des
ressources n'est pas un enjeu. liens de collaborations coordonnées.
• accroître les chances de finaliser des tâches : en les dupliquant et en
• Il n'y a pas d'interaction en vue d'une • les groupes s'affrontent entre eux.
utilisant éventuellement des modes de réalisation différents coordination des efforts. Ex : course en équipe avec passage de relais
• réduire les interférences entre tâches : en évitant les interactions négatives Ex: compétitions sportives individuelles
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 13 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 14
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 15 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 16
Interactions entre agents EN CONFLIT : NEGOCIATION
Contexte :
• agents sont en conflits, antagonismes (agents ego-centrés)
• la coordination des interactions entre les agents se basent principalement sur
la négociation :
• utilisée comme méthode de coordination et de résolution de conflits
• utilisée pour l'allocation de tâches et les changements de plans
2. Coordination dans les SMA
• difficile à définir de façon précise ! Coordination entre êtres humains
! La coordination dans les SMA : différentes approches
! La coordination comme résolution de problème
Négociation entre agents égo-centrés : ! Types de coordination d'action entre agents
résolution décentralisée de conflits par les agents : ! Caractéristiques de la coordination
• possédant une rationalité limitée ! Coordination et planification
• possédant des informations incomplètes ! Coordination réactive
• pouvant s'échanger de manière itérative des propositions et des
contre-propositions
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 17 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 18
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 19 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 20
La coordination dans les SMA : différentes approches La coordination comme résolution de problème [J. Ferber 95]
Avec qui coordonner ses actions ? solution souvent donnée par le problème lui-
Approche de Jennings : même (Ex: contrôle aérien, ...)
• Engagements (promesses en vue de réaliser certaines actions): avec les
Comment ? en s'appuyant sur :
engagements des autres agents, un agent peut prédire les actions qu'il peut
faire, et les coordonner avec celles des autres • les dépendances mutuelles entre actions : utiliser au mieux les degrés de
• Conventions (lois sociales partagées par tous les agents) : elles permettent liberté des agents
de faire le suivi des engagements dans des circonstances changeantes, en • les relations entre actions : analyser les relations positives et négatives
définissant les conditions pour lesquelles ils doivent être réévaluées, et
spécifier alors les actions à exécuter (Ex: code de la route)
Approche de von Martial : basée sur les relations positives et les relations
négatives entre les actions des agents
Approche de Malone :
• Buts : identification et sélection de buts
• Plans : mapping des plans aux buts (planification)
• Agents : mappings des buts aux agents (allocation de buts et négociation)
• Interdépendances : gestion des interdépendances (allocation de
ressources, ordonnancement et synchronisation) => ici modifier le moins possible le comportement des agents les plus
contraints
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 21 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 22
• Coordination par planification (de centralisé à distribuée): l'action prédictivité faible très bonne faible moyenne
comme processus de coordination ; 3 types :
• caractéristiques organisationnelles: manière dont est organisée la coordination
• planification centralisée pour agents multiples : centralisation/distribution, mode de communication, liberté de manoeuvre :
• coordination centralisée pour plans partiels
synchronisation planification réactive règlement
• coordination distribuée pour plans partiels
distribution indifférent indifférent indifférent centralisé
• Coordination par réglementation (standardisation): par exemple par communication message messages stimuli/marques indifférent
l'usage de code, loi ou conventions sociales (code de la route)
liberté très faible faible grande assez faible
• Coordination réactive : de type stimulis-réponse (agents réactifs)
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 23 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 24
Caractéristiques de la coordination : qualité, réalisation et Coordination par planification centralisée
généralisation [Durfee & al. 89, Ferber 95] un système (ou agent) central planifie et distribue les plans aux agents, en résolvant les
problèmes de synchronisation et d'allocation de ressources :
• Qualité et d'efficacité: qualité des résultats de la coordination, évitement de
conflit, nombre d'agents pouvant être coordonnés Buts
p Exécution
Exécution
SInit Planification {pi} Sélection Exécution
Exécution
• Réalisation: quantité d'informations nécessaires, degré de représentation Actions
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 25 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 26
Coordination centralisée pour plans partiels Coordination distribuée pour plans partiels
• un seul coordinateur, plusieurs planificateurs-exécuteurs • plusieurs planificateurs-exécuteurs, qui peuvent se communiquer leurs plans
• la planification est distribuée • coordination par échange de plans partiels jusqu'à satisfaction des buts
• la coordination par fusion des plans partiels construits par les agents est centralisée
Buts Exécution
Planification
Planification {pi} Sélection
Sélection {pj} Exécution
Buts Planification
SInit Planification Sélection
Sélection Exécution
Exécution
Planification p Exécution
Exécution
Planification
Planification
SInit Planification {pi} Exécution Actions
Sélection Exécution
Actions
• la planification, comme la coordination des plans, sont distribués :
3 cas possibles :
but A
cordination but A
1. Indépendance des actions but D
plan
2. Relations positives entre actions P E1
P E1
but B
3. Relations négatives et conflits de plan but B
ressources
E2 plan
but C E2
but C
E3
E3
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 27 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 28
Coordination distribuée pour plans partiels Coordination réactive
Questions : Coordination adaptée aux agents réactifs :
• avec qui coordonner ses plans? ! Coordination par action située :
• quand les coordonner? • proximité: champ de potentiel
Problèmes : • outil commun: synchronisation
• détecter les synergies et les conflits ! Coordination du comportement de meute aux systèmes
• convergence des plans (Ex : système PGP (Lesser, Durfee, Decker,...)) anticollision :
• hypothèse d'homogénéité des agents • les techniques élémentaires
• limitation du nombre d'agents • des robots collectifs
• hypothèse de régularité du monde • les bancs de poissons
• problèmes temporels : durée des actions, simultanéité • les champs de forces symétriques
Solutions envisageables : ! Marquage de l'environnement :
• hiérarchisation des plans • marques et synchronisation d'action
• engagement des agents
• marques et amélioration des performances
• ...
! Actions de coordination: robots miniers
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 29 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 30
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 31 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 32
Définitions de la négociation entre agents Grands types de négociation
Une définition faible [Bussmann & Muller 92]: Négociation compétitive (Competitive negotiation):
• les agents d'intérêts différents tentent un choix de groupe sur des
"….negotiation is the communication process of a group of agents in alternatives bien définies ("agents of disparate interests attempt to make a
order to reach a mutually accepted agreement on some matter." group choice over well-defined alternatives" [Rosenschein & Zlotkin 94])
"… la négociation est un processus de communication d'un groupe • ils ont des buts indépendants et interagissent entre eux
d'agents permettant d'atteindre un accord mutuellement accepté ..." • ils sont a priori pas coopératifs, en compétition mais partagent de
l'information
• Accord pouvant être sur : un prix, le choix d'un lieu et d'une date de réunion, Ex: achats-ventes sur le Web, accès à une ressource commune, planification de rendez-
d'une action commune, d'un objectif commun, ... vous, partage de tâches, etc. Commerce électronique : (KASBAH [Chavez & Maes,
1996], MAGMA [Tsvetovatyy & Gini, 1996], …
• Processus nécessitant : l'échange d'information, la relaxation de buts
initiaux, des concessions mutuelles (recherche d'un consensus) Négociation coopérative (Cooperative negotiation):
Remarques : • les agents ont un but commun unique ("a global goal/single task envisioned
for the system" [Smith & Davis 81])
• pour négocier les agents doivent raisonner sur les croyances, désirs et • les agents sont collaboratifs, ils coopèrent
intentions des autres agents [Rao & Georgeff 95] Ex: le contrôle aérien, collaboration de stratégies dans le domaine des batailles navales
• usage de divers techniques d'IA et de mathématiques (logique, pour définir la meilleure tactique, ...
raisonnement par cas, révision de croyances, optimisation, théorie des jeux, ...
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 33 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 34
Principes généraux de la Négociation Compétitive Composantes du modèle de négociation dans les SMA
Elle implique : • langage de négociation (fonctionnement de la société d'agents) : composé
• un nombre limité d'agents d'un ensemble de primitives de communication précisant la manière dont les
• un langage commun, un cadre commun (une abstraction du problème et de agents communiquent
ses solutions), des actions essentielles (agents) : proposer, contre-
• protocole de négociation (fonctionnement de la société d'agents) : ensemble
proposer, appuyer, accepter, rejeter, écarter, se retracter
• de la connaissance spécialisée de négociation (peut être codée dans des des règles qui régit la négociation (propositions légales, états de la négociation)
agents tiers « Facilitateurs ») • objets de négociation : c'est sur ces objets que porte la négociation (e.g prix,
Concepts principaux : délai, temps de réponse)
• un accord : un plan commun entre 2 agents satisfaisant les buts de chacun • processus de décision (fonctionnement de l'agent) :
• l'utilité d'un accord pour un agent : le montant qu'il accepte de payer moins
! cʼest le coeur de fonctionnement et l'intelligence de la négociation
ce que l'accord lui coûte
• l'ensemble de négociation : l'ensemble de tous les accords qui ont une utilité ! il oriente la stratégie de l'agent au cours de la négociation
positive pour chaque agent ! la stratégie peut être entièrement définie et immuable, ou alors
Situations possibles d'interaction [Rosenschein & Zlotkin 94] : modifiable en fonction des stratégies des autres agents (observation,
• le conflit: l'ensemble de négociation est vide supposition).
• le compromis: les agents préfèrent être seul, mais acceptent un accord La cardinalité des participants de la négociation : négociation un-à-un, un-à-
négocié plusieurs, plusieurs-à-plusieurs.
• le consensus : les 2 agents préfèrent tous les accords de l'ensemble de
négociation plutôt que d'atteindre leurs buts individuellement
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 35 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 36
Théorie de la négociation [Rosenschein & Zlotkin 94] Théorie de la négociation : Domaines de négociation
Proposée par Rosenschein et Zlotkin, elle établie des propriétés particulières pour Elle définit 3 domaines de négociation permettant de classer les différents types
certains domaines de négociations, pour élaborer des protocoles spécifiques : d'interactions et choisir le meilleur protocole de négociation :
"We are not interested in describing the ways humans interact, and simulating that behavior in
machines. Instead, we are interested in creating social environments for machines with 1. Domaines orientés tâches (TOD : Task Oriented Domains) :
provably optimal, bene cial behavior. Rather than describing a social phenomenon, we are • les agents ont pour but de réaliser leurs tâches dont la réalisation est
doing social engineering, helping designers establish an automated society's rules" indépendante des autres
• il n'y a pas d'interactions implicites entre les agents
Elle formule 5 hypothèses :
1. maximisation des utilités : les agents doivent être conçus pour • domaine naturellement coopératif
maximiser leurs utilités 2. Domaines orientés états (SOD : State Oriented Domains) :
2. absence d'effets de mémoire des négociations passées : les • les agents tentent de déplacer l'environnement dans lequel ils évoluent d'un
actions des agents indépendantes des éventuelles négociations passées état donné vers un autre qui leur est plus favorable
3. comparaison des utilités : les stratégies des agents sont visibles des
• les actions des agents peuvent avoir des effets de bords et influer sur les
autres agents buts des autres
4. capacités symétriques : les agents ont les mêmes capacités et des
• domaines où des conflits réels peuvent apparaître car :
ressources illimitées pour atteindre leurs buts
5. absence de transfert d'utilité entre agents : les agents ne peuvent • les agents peuvent avoir des buts différents
transférer vers d'autres agents, ce qu'ils ont acquis par la négociation. • un état final satisfaisant les buts de tous les agents peut ne pas exister
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 37 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 38
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 39 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 40
Théorie de la négociation : limites Quelques modèles de négociation entre agents
Certaines hypothèses de travail sont assez irréalistes : Négociation coopérative (Cooperative negotiation):
• Capacités et ressources des agents : • les agents ont un but commun unique
• les agents sont collaboratifs, ils coopèrent
• on suppose que les agents ont les mêmes capacités et des ressources
illimitées => système de négociation fortement symétrique et équitable. ! Contract Net Protocole - CNP [Davis & Smith 81-83]
=> Malheureusement, il existe des cas où les capacités des agents et les
ressources dont ils disposent sont limitées Négociation compétitive (Competitive negotiation):
• les agents d'intérêts différents tentent un choix de groupe sur des
• Conception de la stratégie des agents : alternatives bien définies
• on suppose que la stratégie de chaque agent est publique => les • les agents ont des buts indépendants et interagissent entre eux
concepteurs connaissent la stratégie optimale et l'intègre en concevant • les agents a priori pas coopératifs, en compétition mais partagent de l'information
les agents. ! Négociation basée sur la théorie des jeux
=> Si la stratégie de chaque agent est privée et qu'il n'existe aucun • Equilibre de Nash
mécanisme de découverte de ces stratégies alors la théorie n'est pas
• Enchères
applicable. Une alternative possible serait de définir une couche de pré-
négociation ! Négociation basée sur les heuristiques
! Négociation basée sur lʼargumentation
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 41 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 42
Négociation coopérative : le Contract Net Protocole (CNP) Le Contract Net Protocole - CNP [Davis & Smith 81-83]
[Davis & Smith 81-83]
• le protocole assigne dynamiquement des rôles (manager/contractant) aux
Modèle proposé par Davis et Smith (81-83), sʼinspire de l'économie de marchés agents
• un agent manager ayant une nouvelle tâche :
Principe général de la coordination par contrat : "Contract-net": • il la décompose en sous-tâches
• les agents peuvent prendre 2 rôles: manager et contractant • il envoi un message d'annonce à d'autres agents contractants contenant :
• un agent manager décompose un problème en sous problèmes ! un slot adresse (peut se limiter à celui qui envoie l'annonce)
! une spécification d'éligibilité
• il annonce ensuite chaque sous-problème à un ensemble d'agents ! une description abstraite de la tâche
"contractants potentiels" ! des spécifications d'offre (à quoi l'offre doit ressembler)
• les agents contractants évaluent l'annonce : ils peuvent échanger avec ! un temps d'expiration
l'agent manager les informations lors de l'accomplissement cette évaluation • il attend les offres
• les agents contractants qui ont les ressources et capacités nécessaires font • les agents contractants intéressés analysent tous les messages d'annonce
des offres qu'ils ont reçus et soumettent une offre appropriée à l'agent manager
• l'agent manager évalue les soumissions et accorde le contrat à l'agent • l'agent manager sélectionne la meilleure offre et informe le contractant avec un
contractant qui a fait l'offre la meilleure. message d'offre acceptée
• on garde des informations sur les performances (rapports intermédiaires/finaux)
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 43 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 44
Le Contract-Net Protocole - CNP [Davis & Smith 81-83] Contract net : protocoles
1 - Annonce 2 - Offre • protocole 1 :
• TO : *
• FROM : AREA 1
contractants contractants • TYPE:TASK ANNOUCEMENT
potentiels potentiels • CONTRACT: V7786
• TASK ABSTRACTION:
• task type vehicle
manager manager • vehicle group fondamental fho
• EGIBILITY SPECIFICATION:
• must have procédure name process-vehicie
• BID SPECIFICATION nil
3 - Attribution 4 - Contrat
• protocole 2 :
• TO:VEHICLE 1
• FROM: AREA 1
contract
contractant • TYPE: AWARD
retenu • CONTRACT: V7786
manager • TASK SPEC : v-name v1 group (...) group(...)
manager contractant retenu • report recipient AREA I
• ...
• TO: AREA 1
• FROM: VEHICLE 1
• TYPE:FINAL REPORT
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 45 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 46
• CONTRACT: V7786
• RESULT DESCRIPTION: VEHICLE-NAME V1 POSITION LAT 46.9N LONG 16.9E Le Contract Net Protocole - CNP [Davis & Smith 81-83]
Nombreuses extensions du CNP :
• FIPA 2002 : tours successifs, confirmation et refus de proposition par la FIPA
• Sandholm 1993 : enrichie par un mécanisme de prix (les agents calculent localement
leurs coûts marginaux pour réaliser des ensembles de tâches et le choix du contractant
se base sur ces coûts)
Actes de langages dans le Contract Net Actes de langages dans le Contract Net
Protocol (FIPA) Protocol étendu (FIPA)
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 47 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 48
Négociation compétitive : basée sur la théorie des jeux Négociation basée sur la théorie des jeux : Critères dʼévaluation
Critères d’évaluation :
Efficacité Pareto :
• Critères pour évaluer les protocoles de négociation entre plusieurs agents
égocentrés • Une solution x, i.e., un vecteur de profit p(x1, ..., xn), est « efficace (ou
optimal) Pareto », sʼil nʼy a pas un autre solution x' tel quʼau moins un agent est
• Des agents sont rationaux mieux dans x' que dans x et aucun agent nʼest pas pire dans x' que dans x
• Comportement rationnel : un agent préfère une utilité (un profit) plus grande à
• Mesure le bien-être global, ne demande pas de comparaison dʼutilités
une plus petite
• La maximisation du profit : profits individuels, profits du group, ou bien-être • Bien-être social " efficacité Pareto
(“welfare”) social
• Bien être social : Rationalité individuelle (RI) :
! La somme des utilités (profits) des agents dans une solution. • RI de la participation dʼun agent : le profit de lʼagent dans la solution négociée
! Mesure le bien global des agents nʼest pas plus petit que celui obtenu si lʼagent nʼaurait pas négocié
! Problème: comment comparer les utilités • Un mécanisme est RI si la participation est RI pour tous les agents
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 49 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 50
Négociation basée sur la théorie des jeux : Critères dʼévaluation Négociation basée sur la théorie des jeux : Critères dʼévaluation
Stabilité : Équilibre de Nash :
2 stratégies, S1 de l'agent A et S2 de l'agent B, sont dans un équilibre Nash ssi :
• un protocole est stable si une fois que les agents ont trouvé une solution, ils • dans le cas où l'agent A adopterait S1 l'agent B ne peut pas faire mieux
ne la changent pas que d'utiliser S2 et
• dans le cas où l'agent B adopterait S2 , l'agent A ne peut pas faire mieux
• Stratégie dominante : lʼagent obtient le profit maximal avec une stratégie que de d'utiliser S1
indépendante des stratégies utilisées par les autres :
Définition généralisée :
• pour plusieurs agents qui suivent les stratégies S1, S2, ..., Sk.
Soit r = f(ActA, ActB) le résultat (état) des actions ActA de l'agent A et ActB de • l'ensemble de stratégies {S1, S2, ..., Sk} suivies par les agents A1, A2, ..., Ak
l'agent B est dans un équilibre de Nash si, pour chaque agent Ai, la stratégie Si est
la meilleures stratégie à suivre par Ai pourvu que les autres agents suivent
On dit qu'une stratégie S1= {r11, r12, ..., r1n} domine une autre stratégie les stratégies { S1, S2, ..., Si-1, Si+1,...,Sk}
S2 = {r21, r22, ..., r2m} ,
Problèmes :
si n'importe quel résultat r # S1 est préféré à n'importe quel résultat r' # S2 • si pas dʼéquilibre de Nash
• si plusieurs équilibres de Nash
• garantit la stabilité seulement au début du jeu
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 51 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 52
Négociation basée sur la théorie des jeux : Critères dʼévaluation Négociation basée sur la théorie des jeux : Enchères (1)
La dilemme du prisonnier : La théorie des enchères (protocoles, stratégies des agents) :
• Bien-être social ? • Un protocole centralisé, incluant un initiateur et plusieurs participants
• Lʼéquilibre de Nash ? • Lʼinitiateur veut vendre un objet au plus grand prix et les participants
Jouer colonne veulent lʼacheter au plus petit prix possible
• Lʼinitiateur annonce un objet pour la vente (parfois lʼobjet peut être une
coopération défection
combinaison dʼautres objets, ou un objet avec plusieurs attributs)
coopération 3, 3 0, 5
Jouer ligne • Les participants font des offres (peuvent être faîtes en plusieurs fois, en
défection 5, 0 2, 2 fonction du type dʼenchère)
• Lʼinitiateur choisi le gagnant
Considérations sur lʼefficacité :!
Les paramètres des enchères :
• Pour obtenir une "rationalité parfaite" :
• Enchères avec valeur privée : la valeur dʼun agent pour un objet dépend
! Le nombre dʼoptions à évaluer est trop grand
seulement de ses préférences privées
! Parfois aucun algorithme ne trouve la solution optimale • Enchères avec valeur commune : la valeur de lʼobjet dépent complètement de
• Rationalité limitée : lʼévaluation des autres
! limite le temps/ressources pour évaluer les options • Enchères avec valeur corrélée : la valeur de lʼobjet dépend des évaluations
! réduit lʼespace de recherche internes et externes.
! impose des restrictions sur le type dʼoptions
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 53 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 54
Des blocages peuvent apparaître • Produit une solution bonne mais pas optimale
Initiateur menteur : • Négociation basée sur des heuristiques :
• Problème dans lʼenchère Vickery • approximations des techniques de la théorie des jeux
• Problème dans lʼenchère anglaise : lʼinitiateur utilise des faux participants • modèles de négociation informels
dans lʼenchère pour augmenter lʼévaluation de lʼobjet par les autres participants
• Sans médiateur central
• Lʼinitiateur offre le deuxième plus grand prix pour obtenir son prix réservé, il est
possible quʼil arrive à garder lʼobjet • Les actes de paroles sont privés entre les agents négociants
• Les enchères avec des valeurs communes peuvent être soumises à la
• Le protocole ne donne pas un cours optimal dʼaction
malédiction du gagnant (« winnerʼs curse »)
• Problème principal: la prise des décisions heuristique pendant la
• Des enchères liées : le participant peut mentir sur la valeur dʼun objet pour
obtenir une combinaison dʼobjets à leur prix dʼévaluation négociation
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 57 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 58
Négociation basée sur les heuristiques (2) Négociation basée sur les heuristiques (3)
Dʼaprès A.M. Florea : ! L’objet de la négociation (NO) peut être :
! une action que l’agent négociateur A demande à un autre agent B d’effectuer
! un service que l’agent A demande à B
! l’offre d’un service que A veut effectuer pour B si B accepte les conditions
de A
Un objet (NO) de négociation :
NO03:NO
– Name: Paint_House
– Cost:Value:100, Type: integer, Modif=Yes;
– Deadline:Value: May_12, Type: date, Modif=No;
– Quality:Value: high, Type: one of (low, average, high), Modif=Yes
! Primitives de négociation :
• (Request NO) : demande dʼun objet de négociation
• (Accept_name(NO)) : accepte la demande de NO
• (Reject_name(NO)) : refuse la demande de NO
• (ModReq_name(NO) value(NO,X,V1)) : modifie la demande en modifiant la
valeur de lʼattribut X du NO à une autre valeur V1
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 59 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 60
Négociation basée sur lʼargumentation (1) Négociation basée sur lʼargumentation (2)
• Arguments utilisés pour convaincre lʼautre dʼaccepter la proposition faite Exemple : Système d'argumentation ANA [Kraus, Sycara et Evenchik
1998]
• Différents types dʼarguments
• Les agents ANA :
• Chaque type dʼargument définit des pré-conditions pour son utilisation,
• sont des agents égocentrés
si elles sont remplies, alors lʼagent peut utiliser lʼargument.
• utilisent une méthode de négociation pour essayer de convaincre
• Lʼagent a besoin dʼune stratégie pour décider quel argument utiliser les autres d'accepter leurs propositions en cas de refus.
• On utilise un modèle BDI : la décision pour choisir le bon argument • Dans ce but, les agents doivent être capable :
dépend :
• de représenter leurs propres croyances, désirs et buts,
• des propres buts et croyances de l'agent
• de raisonner sur les croyances, désirs et buts des autres agents
• des croyances de l'agent sur lʼautre agent. • dʼessayer d'influencer les croyances et les intentions des autres
agents du système.
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 61 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 62
Négociation basée sur lʼargumentation (3) Négociation basée sur lʼargumentation (4)
Arguments utilisés dans ANA [Kraus, Sycara et Evenchik 98] : Arguments utilisés dans ANA [Kraus, Sycara et Evenchik 98] :
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 63 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 64
Exemples de négociations dans les SMA (1) Exemples de négociations dans les SMA (2)
Kasbah [JS96] : Négociation de ressources dans les réseaux [Jennings et al. 2000] :
• plateforme de place de marché virtuelle implémentée au MIT Media Laboratory. • négociation automatisée pour la réservation dynamique de ressources dans les
• à la création d'un agent, on définit des paramètres (e.g le prix de vente désiré, le Réseaux Privés Virtuels (VPN), au travers de 3 niveaux successifs de
prix de vente minimal) qui sont utilisés au cours de la négociation. négociation utilisant le CPN étendu :
• Kasbah fonctionne dans un mode semi-automatisé : les paramètres de la ! 1. la négociation de cardinalité 1-N (1 contactant, N contactés) entre
négociation sont modifiables à tout moment par l'utilisateur, possible aussi de agents-clients pour organiser un rendez-vous (e.g réunion de vidéo-
l'utiliser dans un mode automatisé, la stratégie de l'agent repose alors sur des conférence) à un niveau de service donné
fonctions de type linéaire, quadratique ou cubique. ! 2. la négociation, de cardinalité 1-1 (1 client, 1 fournisseur de service),
• La négociation dans Kasbah est de cardinalité 1-N et ne concerne que le prix. entre les agents-clients et les agents-services, est initié depuis l'agent-
MAGNET [CJMG98] : client contactant vers tous les agents-services existants.
• plateforme de place de marché virtuelle utilisant des SMA qui négocient ! 3. la négociation, de cardinalité N-M, entre les agents-services et les
• prend en compte les aspects liés à la sécurité et aux transactions (une entité agents-connexions pour allouer les ressources physiques existantes
centralisée peut traiter plusieurs types de transactions et contrôler les fraudes). compte tenu du type de service (e.g vidéo-conférence), des créneaux
• le protocole de négociation se base sur le CNP. horaires, de la QdS (bande-passante, gigue, taux de perte)
• dans ce modèle de négociation, il y a un intermédiaire explicite qui interagit avec
les agents (système centralisé).
Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 65 Coordination, coopération et négociation dans les SMA - Bernard ESPINASSE 66