Skip to main content

2017 | OriginalPaper | Buchkapitel

Simulation of Multi-agent Systems with Alvis Toolkit

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

Erschienen in: Artificial Intelligence and Soft Computing

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

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!

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!

Literatur
1.
Zurück zum Zitat 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 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
2.
Zurück zum Zitat Epstein, J., Black, A., Peyton-Jones, S.: Towards haskell in the cloud. SIGPLAN Not. 46(12), 118–129 (2011)CrossRef Epstein, J., Black, A., Peyton-Jones, S.: Towards haskell in the cloud. SIGPLAN Not. 46(12), 118–129 (2011)CrossRef
3.
4.
Zurück zum Zitat Idris, I.: Python Data Analysis. Packt Publishing Ltd. (2014) Idris, I.: Python Data Analysis. Packt Publishing Ltd. (2014)
5.
Zurück zum Zitat 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 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
6.
Zurück zum Zitat Krzywicki, D., Faber, L., Byrski, A., Kisiel-Dorohinicki, M.: Computing agents for decision support systems. Future Gener. Comput. Syst. 37, 390–400 (2014)CrossRef Krzywicki, D., Faber, L., Byrski, A., Kisiel-Dorohinicki, M.: Computing agents for decision support systems. Future Gener. Comput. Syst. 37, 390–400 (2014)CrossRef
7.
Zurück zum Zitat 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 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
8.
Zurück zum Zitat Lee, A., Ihaka, R., Triggs, C.: Advanced Statistical Modelling. Course notes for University of Auckland Paper STATS 330 (2012) Lee, A., Ihaka, R., Triggs, C.: Advanced Statistical Modelling. Course notes for University of Auckland Paper STATS 330 (2012)
9.
11.
Zurück zum Zitat 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 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.
Zurück zum Zitat O’Sullivan, B., Goerzen, J., Stewart, D.: Real World Haskell. O’Reilly Media, Sebastopol (2008) O’Sullivan, B., Goerzen, J., Stewart, D.: Real World Haskell. O’Reilly Media, Sebastopol (2008)
13.
Zurück zum Zitat 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) 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.
Zurück zum Zitat Szpyrka, M., Matyasik, P., Biernacki, J., Biernacka, A., Wypych, M., Kotulski, L.: Hierarchical communication diagrams. Comput. Inf. 35(1), 55–83 (2016)MathSciNet Szpyrka, M., Matyasik, P., Biernacki, J., Biernacka, A., Wypych, M., Kotulski, L.: Hierarchical communication diagrams. Comput. Inf. 35(1), 55–83 (2016)MathSciNet
15.
Zurück zum Zitat 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 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.
Zurück zum Zitat 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 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.
Zurück zum Zitat Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999) Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge (1999)
18.
Zurück zum Zitat Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley Publishing, Chichester (2009) Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley Publishing, Chichester (2009)
Metadaten
Titel
Simulation of Multi-agent Systems with Alvis Toolkit
verfasst von
Marcin Szpyrka
Piotr Matyasik
Łukasz Podolski
Michał Wypych
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-59060-8_54

Premium Partner