Logics for Reasoning about Multi-Agent Environments.

Les environnements multi-agents sont habités par divers “agents autonomes”. Ces agents sont capables d’agir de manière autonome, c’est à dire sans intervention externe, pour atteindre leurs objectifs. Bien que l’environnement mono-agent a été étudié depuis longtemps, les études sur les environnements multi-agents sont plutôt récentes. Ce type d’environnements apporte de nouveaux challenges, tels que la prise en compte d’actions non déterministes, la compétition et la coopération entre agents. Les solutions actuelles sont basées sur l’utilisation de logiques modales. Mais ces logiques présentent deux limitations importantes : elles ne permettent ni des représentations ni des raisonnements efficaces. A l’aide des techniques que nous avons développées, nous espérons concevoir de nouvelles logiques qui circonviennent ces limitations. Ce projet a pour but de (1) concevoir un langage formel capable de représentater des environnements multi-agents, (2) concevoir des méthodes de raisonnement pour réaliser des tâches dans cet environnement et (3) implanter ces méthodes de raisonnement dans un prototype logiciel. Ce projet est issue de la collaboration entre l’Institute of Mathematics and Statistics of the University of São Paulo (IME-USP), IRIT et le CRIL.

Voir en ligne : Site web du projet