Vers une nouvelle spécification formelle des syst emes multi-agents
Résumé
La spécification formelle d'un mod ele favorise sa réutilisabilité et la réplicabilité des simulations. Pourtant, la définition de mod eles multi-agents est souvent liée aux spécificités des plateformes SMA ou aux applications, ce qui peut entraˆner des différences sur les résultats de simulation [1]. La communauté SMA souffre de l'absence d'un cadre formel permettant de s'affranchir des détails d' implémentation, d'´ etendre l'intelligibilité des mod eles et de décorreler la spécification des mod eles de l' implémentation des simulateurs [3, 5]. Le formalisme Discrete Event System Specification (DEVS) a déj a ´ eté utilisé pour représenter des syst emes multi-agents [8, 2, 4, 7]. Dans [9], les au-teurs soulignent l'importance de l'environnement au sein d'un SMA en etudiant les responsabilités qui lui sont généralement accordées. [6], lui, nous alerte sur l'importance des relations entre les agents et leurs environnements et de la nécessité de coordonner les interactions a travers une théorie de l'ac-tion (IRM4S) adaptéè a la simultanéité. Cependant, il n'existe pas de travaux a notre connaissance qui prennent ces aspects en compte. Or, une spécification des SMA basée sur le formalisme PDEVS pre-nant ces aspects en compte constituerait un pas vers la reproductibilité des simulations et permettrait de rapprocher la communauté des SMA de celle de la théorie de la modélisation et de la simulation. Nous explorerons les différentes solutions permettant de proposer une extension du formalisme PDEVS pour représenter et simuler des SMA.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...