Master Thesis   
   

Towards an Agent-Based Modeling Platform with Formal Semantics Based on the SARL Programming Language.

Abstract

Agent-based modelling and simulation (ABMS) is a powerful technique for modelling complex systems that consist of multiple interacting entities. In ABMS, each entity is represented as an autonomous agent that observes and acts on an environment. The field of ABMS, however, is very divided and, although most research groups have similar interpretations of the concepts in ABMS, a universal agreement on a definition of an agent-based model remains absent. This problem manifests itself in the available agent-based modelling and simulation tools, since no tool is available which has formal or even precise semantics. The lack of uniformity results in a field where models are created on an individual basis and reuse-ability is scarce. In this study, we tackle this problem by investigating how agent-based modelling is currently realized and propose a formalism with precise semantics that captures the essential characteristics of agent-based modelling. Additionally, we present a tool which implements the proposed formalism. This new tool, SARLforSIM, is evaluated against a selection of current agent-based modelling and simulation tools. We performed a comparative study by implementing the same population dynamics model in each of the tools and investigated how they realize the features of an agent-based model. Finally, we also investigated the reproducibility of the model in the different tools

Download Link

The thesis report can be downloaded here.

Mindmap

Mindmap
Maintained by Tim Leys.