Modèles formels pour la reproduction des simulations à base d’agents

Résumé

Du fait de la dimension expérimentale des résultats obtenus par simulation informatique, la validation de ces résultats nécessite qu’ils puissent être reproduits. Cela suppose que le dispositif concret à partir desquels ils sont obtenus, à savoir le logiciel dont les exécutions fournissent les sorties qui sont observées, puisse donner lieu à de nouvelles implantations. Bien qu’elle soit indispensable à maints égards, il s’avère que cette “réplication” des modèles de simulation est le plus souvent problématique; cet article propose de présenter ces modèles sous la forme de systèmes afin d’en faciliter de nouvelles implantations.

Mots-clefs:

• simulation sociale,
• agents,
• expérimentation,
• reproduction des résultats,
• système,
• modèle formel,
• théorie

Abstract

Since the results obtained by means of computer-based simulations have an experimental character, their validation requests their reproduction. These results are obtained by observing the outputs of the runs of a software entity, which is the concrete device of the experimentation; thus, it is this software simulation model that must support a new implementation. Although the replication of a model brings many advantages, in many cases it is problematic. This paper proposes to present simulation models as systems, to ease their replication.

Key-words:

• social simulation,
• agents,
• experimentation,
• replication,
• system,
• formal model,
• theory