| Titre : | Une approche formelle pour la négociation automatique entre agents (application e-commerce) |
| Auteurs : | Siham Sahli, Auteur ; Okba Kazar, Directeur de thèse |
| Type de document : | Mémoire magistere |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2010 |
| ISBN/ISSN/EAN : | TINF/25 |
| Format : | 1 vol. (89 p.) / ill. / 29 cm |
| Langues: | Français |
| Résumé : |
La négociation automatique présente un domaine de recherche très actif où les chercheurs essayent de simuler le comportement des négociateurs humains par des logiciels artificiels qui permettent au négociateur humain de lancer une négociation automatique sur le web sans déplacer et rencontrer l’autre coté de négociation. Et avec l’apparition des systèmes multiagent la négociation automatique a évolué d’une manière remarquable où le négociateur humain se remplace par un agent artificiel qui se caractérise par l’intelligence et l’autonomie qui donne l’impression que les négociateurs sont des humains et non pas des agents artificiels.Dans notre travail, nous allons proposer une architecture générique composé d’agents négociateurs et d’établir un nouveau protocole de négociation multi-attributs avec la validation de ce dernier par une modélisation formelle en utilisant les réseaux de Petri colorés. |
| Sommaire : |
Introduction générale Chapitre 1 : L'interaction entre Agents 1. Introduction………………………………………………………………………………..01 2. L’interaction enrte les agents………….………………………………………….……......01 2.1. C’est quoi l’interaction entre les agents?.........................................................................02 2.2. Conditions d’apparition d’interaction………………………………..…………………03 2.3. Composantes des interactions …………….…..…………….……..…………………..03 2.4. Définition de situation d’interaction................................................................................04 2.4.1. L’Indifférence…………………………………..……………………...………….05 2.4.2. La Coopération……………………………………………………… ......………..05 2.4.3. L’Antagonisme ……………………………………………………………............06 3. La Communication…………………………………………………………………………08 3.1. Définition……………………………………………………………….........................09 3.2. Actes de langage……………………………………………………………….………10 3.3. Langages de communication inter-agents….....………………………………….. ...11 3.3.1. Langage de communication KQML……………………………………………...12 3.3.2. Langage de communication FIPA-ACL………………………………………….13 4. Les protocoles d’interaction………………………………………………………………14 4.1. Les protocoles de coordination........................................................................................16 4.2. Les protocoles de coopération..........................................................................................16 4.3. Les protocoles de négociation..........................................................................................17 4.4. Les mécanismes du commerce électronique....................................................................17 5. Conclusion…………………………………………………………………………………17 Chapitre 2 : La négociation entre Agents 1. Introduction…………………………………………………………………………..……18 2. Définitions et formes de négociation automatique………………………………….……..19 2.1. Définition ………………………………………………………………………………19 2.2. Les formes de négociation automatique…………………………………….…………..20 2.2.1. Les systèmes de vote …………………………………………………..………….20 2.2.2. Les enchères ………………………………………………………………………20 2.2.3. La négociation à base d’argumentation……………………………………………22 2.2.4. Les autres formes de négociation……………………………………………….....24 3. Les protocoles de négociation…………………………………………………….………..26 3.1. Définition d’un protocole de négociation.......................................................................26 3.2. Classification des protocoles de négociation …………………………………………26 3.2.1. Première classe : Les protocoles compétitifs vs coopératifs…………........……..26 3.2.2. Deuxième classification : Les protocoles unidirectionnels vs bidirectionnels…....27 3.2.3. Autre classifications……………………………………………………….……...27 3.3. Quelques protocoles de négociation……………………………………………….…..28 3.3.1. Le protocole Contract Net…………………………………………………….….28 3.3.2. Le protocole Contract Net étendu………………………………………….…….30 3.3.3. Le protocole Kasbah………………………………………..…………………….30 3.3.4. Le protocole AuctionBot…………………………………………………………..31 4. Conclusion………………………………………………………………………..………..32 Chapitre 3 : Les approches de spécifications de négociation 1. Introduction……………………………………………………………………………….33 2. Les approches de spécification de négociation…………………………………….……..34 2.1. Techniques semi-formelles de spécification (UML)…………………………..………34 2.2. Modèles de spécification formelles pour les SMA………………………………..…..35 2.2.1. Les automates à états finis (AEF)……………………….………………………...35 2.2.2. Les réseaux de pétri (Rdp)…………………………………………………….….37 2.3. Les langages formels de description……………………………………………….….40 2.3.1. Langage Z……………………………………………………………………..…..40 2.3.2. Langage SDL………………………………………………………………..…….42 2.3.3. Langage Estelle……………………………………………………………….......43 2.3.4. Le langage LOTOS…………………………………………………………….…45 2.4. La logique………………………………………………………………………….…..46 3. Synthèse……………………………………………………………………………….….47 4. Conclusion………………………………………………………………………….…….50 Chapitre 4 : La conception du protocole de négociation 1. Introduction……………………………………………………………..…………..……...51 2. Justification du choix.….………...………………………………………...…..….…….…51 3. L’architecture proposée………………………………….…………………………..……..54 3.1. La proposition d’une architecture générique……….……………………….…………..54 3.1.1. La description de l’architecture du système………………………………………..54 3.1.2. Types d’utilisateurs…………………………………………………………...……55 3.2. Le protocole de négociation …………………………………………………………...56 3.2.1.Description du protocole de négociation……………………………..………....…56 3.2.2. La cardinalité de la négociation………..…………………………………………58 3.2.3. Choix du langage de communication utilisé : FIPA ACL………………………....59 3.2.4. Liste de performatives de communication FIPA ACL............................................59 3.2.5. Structure des messages de communication simple………………………………...61 3.2.6. Evaluation de notre protocole.........................................................................................62 3.3. Architecture d’agent de négociation…………………………………………………....63 4. Aspect formel de notre protocole …………………………………………………………67 4.1. Diagramme AUML........................................................................................................67 4.2. La modélisation de notre protocole par un Rdp …………………………………….…69 5. Conclusion……………………………………………………………………………...….72 Chapitre 5 : Etude de cas et implémentation 1. Introduction……………………………………………………………………………….73 2. Le commerce électronique……………………………………………………..………… 73 2.1. Du commerce traditionnel vers le commerce électronique…………………………….73 2.2. Définition du commerce électronique…………………………………………………..74 2.3. Entités…………………………………………………………………………………..73 2.4. Les catégories (types) du commerce électronique…….………………………….…….76 3. Les application agents pour le commerce électronique……………………………………78 3.1. Le premier groupe……………………………………………………………..………..78 3.2. Le deuxième groupe ……………………………………………………………….…...79 4. Outils de programmation……………………………………………………………….….80 4.1. Choix du langage de programmation JAVA……………………………………………80 4.2. Choix de la plate forme JADE………………………………………………………….81 5. Description générale de l'application…………………………………………….………...83 6. Conclusion…………………………………………………………….……………….…..89 Conclusion générale Bibliographie |
| En ligne : | http://thesis.univ-biskra.dz/id/eprint/861 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| TINF/25 | Mémoire de magister | bibliothèque sciences exactes | Consultable |
