Une approche formelle pour la négociation automatique entre agents (application e-commerce)

Abstract

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 multi-agent 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.Mots clés : La négociation automatique et protocole de négociation, systèmes multi-agent, système formel, RdPC.