Séminaire SMARSS

Propagation et affinement d'hypothèses sous contraintes communicationnelles.


10/03/2008
Intervenant(s) : Gauvain BOURGNE (Université de Paris-Dauphine, LAMSADE, Paris)
Ce travail concerne l'affinement d'hypothèses entre agents, sous contraintes communicationnelles. Il s'agit de permettre à un réseau d'agents de construire à partir des observations de ces agents, une ou plusieurs hypothèses qui soit consistante avec l'ensemble des informations du système, et ce en dépit de certaines contraintes sur les communications. On s'appuie sur des connaissances certaines, une théorie commune à tous les agents et des observations factuelles. A partir de celles-ci, les agents forment une hypothèse, révisable, qui permet de construire les croyances de l'agent. On définit différents niveaux de consistance, selon le nombre d'agents dont les connaissances sont prises en compte. Le but est, à partir de communications entre les agents, de leur permettre de construire des hypothèses qui soient consistantes avec l'ensemble des informations certaines présentes dans le système. On propose donc des protocoles et stratégies de communications pour traiter de ce problème. Le cadre est assez général, et peut s'appliquer à différents modes de raisonnements, en particulier l'induction et l'abduction. On envisage de plus différentes situations, selon le degré de dynamicité du problème, en particulier, selon qu'il est pseudo-statique (structure du système et observations inchangés jusqu'à fin du mécanisme, avec éventuellement itérations) ou dynamique par tour (à chaque tour, observations et liens entre agents peuvent changer). Dans le premier cas, une planification des communications globale est possible, les liens entre agents restant inchangés, tandis que dans l'autre on propose plutôt un affinement progressif, avec des protocoles d'initiation de dialogues qui articulent les échanges d'informations entre agents pour assurer à terme une convergence du système. Des études expérimentales ont testé ces mécanismes dans les différents types de situations possibles à travers plusieurs applications de test dont nous présenterons les principaux résultats.
Plus d'informations ici
thomas.genin (at) nulllip6.fr
 Mentions légales
Carte du site |