The paper presents a method of using the Alvis formal modelling language and related software to model and simulate multi-agent systems. The approach has been illustrated with an example of a railway traffic management system for a real train station. One of the main advantages of this approach is the possibility of including artificial intelligence (AI) systems encoded in Haskell into Alvis models. Moreover, Alvis models can be developed at the level very close to the final implementation of the corresponding real system. Thus simulation logs can be treated as a virtual prototype logs.
CITATION STYLE
Szpyrka, M., Matyasik, P., Podolski, Ł., & Wypych, M. (2017). Simulation of multi-agent systems with alvis toolkit. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10246 LNAI, pp. 599–608). Springer Verlag. https://doi.org/10.1007/978-3-319-59060-8_54
Mendeley helps you to discover research relevant for your work.