Un cadre formel pour la recherche de consensus entre agents autonomes
Résumé
Le but de ce papier est de proposer un cadre formel général pour des dialogues où des agents autonomes tentent de trouver un accord commun à propos d'un choix collectif. Le modèle proposé contient trois composantes principales: les agents sont supposé maintenir des croyances sur l'environnement et sur les autres agents, et ont également des buts. Les croyances sont plus ou moins certaines et les buts peuvent avoir des priorités différentes. Ces agents sont supposés être capables de prendre des décisions, de réviser leurs croyances et de soutenir leurs points de vue par des arguments. Un protocole général gérant le comportement de sagents durant l'interaction est proposé. En particulier, il spécifie les coups autorisés dans le dialogue. Ses propriétés sont étudiées. Ce cadre est illustré sur l'exemple de trois agents discutant le lieu et la date pour organiser leur prochain meeting?