Top

Published in:

2017 | OriginalPaper | Chapter

Simulation of Multi-agent Systems with Alvis Toolkit

Authors : Marcin Szpyrka, Piotr Matyasik, Łukasz Podolski, Michał Wypych

Published in: Artificial Intelligence and Soft Computing

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models

next chapter Tensor-Based Syntactic Feature Engineering for Ontology Instance Matching

Bellifemine, F., Caire, G., Poggi, A., Rimassa, G.: Jade: a software framework for developing multi-agent applications. lessons learned. Inf. Softw. Technol. 50(1–2), 10–21 (2008)CrossRef

Epstein, J., Black, A., Peyton-Jones, S.: Towards haskell in the cloud. SIGPLAN Not. 46(12), 118–129 (2011)CrossRef

Gutknecht, O., Ferber, J.: The MadKit agent platform architecture. In: Wagner, T., Rana, O.F. (eds.) AGENTS 2000. LNCS, vol. 1887, pp. 48–55. Springer, Heidelberg (2001). doi:10.1007/3-540-47772-1_5 CrossRef

Idris, I.: Python Data Analysis. Packt Publishing Ltd. (2014)

Jasiul, B., Śliwa, J., Gleba, K., Szpyrka, M.: Identification of malware activities with rules. In: Ganzha, M., Maciaszek, L., Paprzycki, M. (eds.) Proceedings of the 2014 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, vol. 2, pp. 101–110. IEEE (2014). http://dx.doi.org/10.15439/2014F265

Krzywicki, D., Faber, L., Byrski, A., Kisiel-Dorohinicki, M.: Computing agents for decision support systems. Future Gener. Comput. Syst. 37, 390–400 (2014)CrossRef

Laleci, G.B., Kabak, Y., Dogac, A., Cingil, I., Kirbas, S., Yildiz, A., Sinir, S., Ozdikis, O., Ozturk, O.: A platform for agent behavior design and multi agent orchestration. In: Odell, J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 205–220. Springer, Heidelberg (2005). doi:10.1007/978-3-540-30578-1_14 CrossRef

Lee, A., Ihaka, R., Triggs, C.: Advanced Statistical Modelling. Course notes for University of Auckland Paper STATS 330 (2012)

Marlow, S.: Parallel and concurrent programming in haskell. In: Zsók, V., Horváth, Z., Plasmeijer, R. (eds.) CEFP 2011. LNCS, vol. 7241, pp. 339–401. Springer, Heidelberg (2012). doi:10.1007/978-3-642-32096-5_7 CrossRef

10.

Marlow, S., Newton, R., Peyton Jones, S.: A monad for deterministic parallelism. In: Haskell 2011: Proceedings of the Fourth ACM SIGPLAN Symposium on Haskell. ACM (2011). http://simonmar.github.io/bib/papers/monad-par.pdf

11.

North, M., Collier, N., Ozik, J., Tatara, E., Macal, C., Bragen, M., Sydelko, P.: Complex adaptive systems modeling with Repast Simphony. Complex Adapt. Syst. Model. 1(1), 3 (2013)CrossRef

12.

O’Sullivan, B., Goerzen, J., Stewart, D.: Real World Haskell. O’Reilly Media, Sebastopol (2008)

13.

Szpyrka, M.: Modelling and analysis of real-time systems with RTCP-nets. In: Kordic, V. (ed.) Petri Net, Theory and Applications, chap. 2, pp. 17–40. I-Tech Education and Publishing, Vienna (2008)

14.

Szpyrka, M., Matyasik, P., Biernacki, J., Biernacka, A., Wypych, M., Kotulski, L.: Hierarchical communication diagrams. Comput. Inf. 35(1), 55–83 (2016)MathSciNet

15.

Szpyrka, M., Matyasik, P., Mrówka, R.: Alvis - modelling language for concurrent systems. In: Bouvry, P., Gonzalez-Velez, H., Kołodziej, J. (eds.) Intelligent Decision Systems in Large-Scale Distributed Environments. SCI, vol. 362, pp. 315–341. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21271-0_15 CrossRef

16.

Szpyrka, M., Matyasik, P., Mrówka, R., Kotulski, L.: Formal description of Alvis language with \(\alpha ^0\) system layer. Fundamenta Informaticae 129(1–2), 161–176 (2014)MathSciNetMATH

17.

Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)

18.

Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley Publishing, Chichester (2009)

Title: Simulation of Multi-agent Systems with Alvis Toolkit
Authors: Marcin Szpyrka
Piotr Matyasik
Łukasz Podolski
Michał Wypych
Publisher: Springer International Publishing
Book: Artificial Intelligence and Soft Computing
Print ISBN: 978-3-319-59059-2

Electronic ISBN: 978-3-319-59060-8

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-59060-8_54

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner