Vers une architecture modulaire d agent argumentatif pour la composition de services

Transcription

1 Vers une architecture modulaire d agent argumentatif pour la composition de services Carcassonne, Octobre Maxime Morge, Jarred McGinnis, Stefano Bromuri, Francesca Toni, Paolo Mancarella, Kostas Stathis. Università di Pisa, Royal Holloway University of London, Imperial College Carcassonne, Octobre Page 1 wwww.argugrid.eu

2 ARGUGRID ARGUmentation as a foundation for the semantic GRID Fournir un modèle d agents argumentatifs pour la grille. Fournir un modèle pour la spécification, la création, et le fonctionnement d organisation virtuelle sur la grille. Concevoir une architecture pour la grille sémantique pour soutenir les agents argumentatifs et les organisations virtuelles. Développer une plateforme pour la grille pour soutenir l implémentation des modèles et de cette architecture. Expérimenter et évaluer ces modèles, architecture et plateforme dans des applications concrètes pour le e-business. Carcassonne, Octobre Page 2 wwww.argugrid.eu

3 ARGUGRID Vision conceptuelle des composants ARGUGRID KDE Worflow Authoring Tool delegate GOLEM service composition service negotiation Worflow Excecution Tool act Worflow Monitoring Tool perceive excecute Registery monitor speak listen service provision service discovery GRIA P2P Carcassonne, Octobre Page 3 wwww.argugrid.eu

4 ARGUGRID Plan ARGUGRID Cas d étude Architecture d agents Prise de décision individuelle Prise de décision sociale Interaction sociale Cas d étude effectif Deploiement Conclusions Carcassonne, Octobre Page 4 wwww.argugrid.eu

5 Cas d étude Télé-passation de marché [ARGUGRID D1.2] VO Bob Al Buyer Sb Sa S Barbara Alice Sb Sa Carcassonne, Octobre Page 5 wwww.argugrid.eu

6 Cas d étude Étapes délibératives d une télé-procédure étape # description jeu de dialogue étape 1 trouver les fournisseurs potentiels demande d info étape 2 collecter les caractéristiques fournisseurs demande d info étape 3 créer une shortlist n/a étape 4 collecter les devis demande d info étape 5 choisir le gagnant n/a étape 6 négocier les termes du contrat négociation Carcassonne, Octobre Page 6 wwww.argugrid.eu

7 Architecture d agents Modules pour la prise de décision, la communication, la négociation Mind Commitments PL Modules reads data Individual Decision Making Module (IDMM) Social Decision Making Module (SDMM) Social Interaction Model (SIM) Modules writes data Modules read/writes data Interaction between modules IKB SKB Interaction with externalities IMQ OMQ X Module (XM) Module Data Structure Data Graphic User Interface (GUI) Communication Module (CM) Other agents Body Carcassonne, Octobre Page 7 wwww.argugrid.eu

8 Architecture d agents Prise de décision individuelle Evaluation des services provision cost qos main cost a cost b qos a qos b main a main b S a (x) S b (y) price a (x) price b (y) warranty a (x) warranty b (y) bandwidth b (y) Carcassonne, Octobre Page 8 wwww.argugrid.eu

9 Architecture d agents Prise de décision individuelle Implémentation de l IDMM: MARGO [Morge ARGMAS 07] MARGO implémente un modèle d argumentation pour la prise de décision sous incertitude avec information incomplète Diagramme d influence représentation abstraite Règles de buts/décisions/connaisances structure de données abstraite Priorités entre buts/décisions/connaisances intuitions relatives aux priorités/utilités espérées/vraisemblance structure récursive et abductive d argument explication interactive de la décision Carcassonne, Octobre Page 9 wwww.argugrid.eu

10 Architecture d agents Prise de décision sociale Evaluation des contrats contract supplier provision performance representation Proposal(c d e f ) customers previous turnover price b testimonials intallation warranty b bandwidth b Carcassonne, Octobre Page 10 wwww.argugrid.eu

11 Architecture d agents Prise de décision sociale Implémentation du SDMM: MARGO [Morge ARGMAS 07] MARGO implémente un modèle d argumentation pour la prise de décision sous incertitude avec information incomplète Diagramme d influence représentation abstraite Règles de buts/décisions/connaisances structure de données abstraite priorités entre buts/décisions/connaisances intuitions relatives aux priorités/utilités espérées/vraisemblance structure récursive et abductive d argument explication interactive de la décision Carcassonne, Octobre Page 11 wwww.argugrid.eu

12 Architecture d agents Interaction sociale Gestion des communications Dialogue de demande d information M k S k H k A k R k M 0 Al Bob question(θ,s b (x),[price b (x,p)]) θ M 1 Bob Al assert(θ,s b (c),[price b (c,pc),low pc medium]) M 0 M 2 Bob Al assert(θ,s b (e),[price b (e,pe),low pe medium]) M 0 M 3 Bob Al assert(θ,s b (d),[price b (d,pd),medium pd high]) M 0 M 4 Bob Al assert(θ,s b (f ),[price b (f,pf ),medium pf high]) M 0 Dialogue de négociation M k S k H k A k R k M 0 Al Bob question(good_deal,s b (x), ) θ M 1 Bob Al assert(good_deal,s b (d), ) M 0 M 2 Al Bob assert(good_deal,s b (c), ) M 1 M 3 Bob Al why(good_deal,s b (c), ) M 2 M 4 Al Bob assert(cost Al,S b (c), ) M 3 M 5 Bob Al assert(good_deal,s b (e), ) M 1 M 6 Al Bob accept(good_deal,s b (e), ) M 5 Carcassonne, Octobre Page 12 wwww.argugrid.eu

13 Architecture d agents Interaction sociale Implémentation de SIM: LCC [Robertson ICLP 04] Lightweight Coordination Calculus inclut un mécanisme de: boot strap initiant protocole/rôle/participants; préconditions qui sollicitent le SDMM; post-conditions qui mettent à jour les engagements. a(requester(providers,x),req) ::= (cfp(x) a(provider(x),prov) Providers = (Prov T) then (refuse(x) a(provider(x),prov) or assert(propose(prov,x)) propose(x) a(provider(x),prov)) then a(requester(t,x),req)) or a(requester1(providers1,x),req) interestedparties(providers1). a(requester1(providers1,x),req) ::= ((reject-proposal(x) a(provider(x),prov) Providers1 = (Prov T) or accept-proposal(x) a(provider(x),prov) Providers1 = (Prov T) then a(requester1(t,x,req)) ) or a(requester2(winningprovider,x),req) awaitingresults(winningprovider). Carcassonne, Octobre Page 13 wwww.argugrid.eu

14 Cas d étude effectif Aire d acceptabilité des participants Après M 3 Après M 6 S b (d) price b Bob S b (d) price b Bob S b (d) Al S b (c) warranty b S b (e) Al S b (c) warranty b Carcassonne, Octobre Page 14 wwww.argugrid.eu

15 Deploiement Plateforme multi-agents GOLEM [Bromuri EEMMAS 07] Carcassonne, Octobre Page 15 wwww.argugrid.eu

16 Deploiement Workflow of semantic components (goals/services) in WSMO delivery date S a network type S b ref b delivery location Capability Capability Nfp Nfp price warranty price warranty bandwidth ref a Carcassonne, Octobre Page 16 wwww.argugrid.eu

17 Conclusions À emporter Approche modulaire du modèle d agents argumentatifs: IDMM, l appetit de l agent à réaliser ses propres buts; SDMM, le raisonnement social pour la réalisation des but communs via la collaboration; SIM, la conscience sociale des normes de la société. Dans le projet ARGUGRID: IDMM via MARGO; SDMM via MARGO; SIM via LCC. La plateforme multi-agents GOLEM. Un cas d étude industriel. Carcassonne, Octobre Page 17 wwww.argugrid.eu

18 Conclusions References T. Stournaras, editor. ebusiness application scenarios. Deliverable document D1.2 ARGUGRID, Maxime Morge and Paolo Mancarella. The hedgehog and the fox. An argumentation-based decision support system. Proc. of the Fourth International Workshop on Argumentation in Multi-Agent Systems, Hawai, USA (2007). D. Robertson. Multi-agent coordination as distributed logic programming. In Springer-Verlag, editor, Proc. of the 20th International Conference on Logic Programming (ICLP), pages , Saint-Malo, France, S. Bromuri and K. Stathis. Situating cognitive agents in GOLEM. In D. Weyns, S. Brueckner, and Y. Demazeau, editors, Proc. of the Engineering Environment-Mediated Multiagent Systems Conference (EEMMAS 07), pages 76 93, Leuven (Belgium), Katholieke Universiteit Leuven. Carcassonne, Octobre Page 18 wwww.argugrid.eu