Contribution à la modélisation de l'interaction agent / environnement : modélisation stochastique et simulation parallèle
Résumé
This thesis belongs at the same time to the multi-agent system (MAS) and parallelism domains, and more precisely to the parallel simulation of MAS. Two problems are tackled : First one concerns the modeling and simulation of situated agents, together with the unreliability of their sensors and effectors, in order to perform simulations which results will be more realistic. The second problem relates to the exploitation of the inherent parallelism of multi-agent systems, in order to obtain good parallel performances, by reducing the execution time and/or processing problems of bigger sizes. Two models are proposed: a formal model of multi-agent systems, including a stochastic model of the agent/environment interaction, and a parallel simulation model for multi-agent systems based on the distribution of the conflicts occurring between the agents, and on a dynamic load balancing mechanism between the processors. The satisfactory results we have obtained are presented.
Ma thèse se situe à l'intersection des systèmes multi-agents (SMA) et du parallélisme, et concerne la simulation parallèle des SMA. Deux problèmes sont abordés : le premier est la modélisation des incertitudes et des erreurs qui peuvent se produire au niveau des capteurs et des effecteurs des agents au moment de leurs interactions avec l'environnement, en vue d'une simulation multi-agent qui soit plus fidèle à la réalité. Le second problème concerne l'exploitation du parallélisme inhérent des SMA, afin d'obtenir de bonnes performances parallèles et réduire le temps d'exécution et/ou traiter des problèmes de plus grandes tailles. Deux modèles sont ainsi proposés : un modèle formel de SMA, qui comprend un modèle stochastique d'interaction entre l'agent et l'environnement, et un modèle de simulation parallèle basé sur la répartition des conflits survenant entre les agents, et sur un équilibrage dynamique de charge entre les processeurs. Des résultats satisfaisants obtenus sont présentés.