Skip to main content
Springer Nature Link
Log in

ALICA 2.0 - Domain-Independent Teamwork

  • Conference paper
  • First Online:
KI 2019: Advances in Artificial Intelligence (KI 2019)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 11793))

Abstract

We present a new version of ALICA - “A Language for Interactive Cooperative Agents”. The ALICA framework is a highly reactive multi-agent framework and comprises three components for working with multi-agent plans: a specification language, an execution engine, and a graphical modelling tool. The framework automatically coordinates teams, allocates tasks to team members, and compensates execution failures in a fully distributed manner. In a major redesign, we extended the description language and re-implemented the execution engine and graphical modelling tool. As a result, the second version of ALICA encompasses fewer dependencies, is domain independent, and adaptable to different environments.

We would like to thank Rapyuta Robotics for the continuous stream of pull requests!

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    http://www.uni-kassel.de/eecs/fachgebiete/vs/research/prosecco.html [accessed on May, 9th 2019].

  2. 2.

    The source code [6, 7] is available under the MIT License.

References

  1. Amma, T., et al.: Carpe Noctem 2013. In: CD Proceedings of RoboCup Symposium (2013)

    Google Scholar 

  2. Beetz, M., Mösenlechner, L., Tenorth, M.: CRAM - a cognitive robot abstract machine for everyday manipulation in human environments. In: 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 1012–1017. IEEE (2010)

    Google Scholar 

  3. Brunner, S.G., Steinmetz, F., Belder, R., Dömel, A.: RAFCON: a graphical tool for engineering complex, robotic tasks. In: 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 3283–3290. IEEE (2016)

    Google Scholar 

  4. Campusano, M., Fabry, J., Bergel, A.: Live programming in practice: a controlled experiment on state machines for robotic behaviors. Inf. Softw. Technol. 108, 99–114 (2019)

    Article  Google Scholar 

  5. Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.-J.C.: A programming language for cognitive agents goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) ProMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25936-7_6

    Chapter  Google Scholar 

  6. Distributed Systems Research Group, University of Kassel: ALICA GitHub Repository (2019). https://github.com/dasys-lab/alica. Accessed 10 May 2019

  7. Distributed Systems Research Group, University of Kassel: Plan Designer GitHub Repository (2019). https://github.com/dasys-lab/alica-plan-designer-fx. Accessed 10 May 2019

  8. Friesen, J.: Processing JSON with Jackson. In: Friesen, J. (ed.) Java XML and JSON, pp. 323–403. Apress, Berkeley (2019). https://doi.org/10.1007/978-1-4842-4330-5_11

    Chapter  Google Scholar 

  9. Geihs, K., Witsch, A.: Decentralized decision making in adaptive multi-robot teams. it-Inf. Technol. 60(4), 239–248 (2018)

    Google Scholar 

  10. Haase, A., Völter, M., Efftinge, S., Kolb, B.: Introduction to openArchitectureWare 4.1. 2. In: MDD Tool Implementers Forum (2007)

    Google Scholar 

  11. Hindriks, K.V., Meyer, J.-J.C.: Agent logics as program logics: grounding KARO. In: Freksa, C., Kohlhase, M., Schill, K. (eds.) KI 2006. LNCS (LNAI), vol. 4314, pp. 404–418. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-69912-5_30

    Chapter  Google Scholar 

  12. Hofmann, M., Gürster, F.: GOL-a language to define tactics in robot soccer. In: Proceedings of the 10th Workshop on Humanoid Soccer Robots, in Conjunction with the IEEE-RAS International Conference on Humanoid Robots (HUMANOIDS) (2015)

    Google Scholar 

  13. Jennings, N.R.: Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artif. Intell. 75(2), 195–240 (1995)

    Article  MathSciNet  Google Scholar 

  14. Khamis, A., Hussein, A., Elmogy, A.: Multi-robot task allocation: a review of the state-of-the-art. In: Koubâa, A., Martínez-de Dios, J.R. (eds.) Cooperative Robots and Sensor Networks 2015. SCI, vol. 604, pp. 31–51. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-18299-5_2

    Chapter  Google Scholar 

  15. Kim, R., Kwon, H.T., Chi, S., Yoon, W.C.: A Coordination model for agent behaviors using hierarchical finite state machine with inter-level concurrency. In: International Conference on Information and Communication Technology Convergence (ICTC), pp. 359–364, October 2016

    Google Scholar 

  16. Kirchner, D., Geihs, K.: Adaptive model-based monitoring for robots. In: Menegatti, E., Michael, N., Berns, K., Yamaguchi, H. (eds.) Intelligent Autonomous Systems 13. AISC, vol. 302, pp. 43–56. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-08338-4_4

    Chapter  Google Scholar 

  17. Loetzsch, M., Risler, M., Jüngel, M.: XABSL-a pragmatic approach to behavior engineering. In: IROS, pp. 5124–5129 (2006)

    Google Scholar 

  18. Neuber, D.: Planning of autonomous and mobile robots in dynamic environments. Ph.D. thesis, University of Kassel (2018)

    Google Scholar 

  19. Opfer, S., Jakob, S., Geihs, K.: Reasoning for autonomous agents in dynamic domains. In: van de Herik, J., Rocha, A.P., Filipe, J. (eds.) 9th International Conference on Agents and Artificial Intelligence (ICAART), pp. 340–351 (2017)

    Google Scholar 

  20. Opfer, S., Jakob, S., Geihs, K.: Reasoning for autonomous agents in dynamic domains: towards automatic satisfaction of the module property. In: van den Herik, J., Rocha, A.P., Filipe, J. (eds.) ICAART 2017. LNCS (LNAI), vol. 10839, pp. 22–47. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-93581-2_2

    Chapter  Google Scholar 

  21. Pynadath, D., Tambe, M.: Multiagent teamwork: analyzing the optimality and complexity of key theories and models. In: Proceedings of the 1st Conference of Autonomous Agents and Multiagent Systems (AAMAS), pp. 873–880. ACM (2002)

    Google Scholar 

  22. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0031845

    Chapter  Google Scholar 

  23. Röfer, T.: CABSL – C-based agent behavior specification language. In: Akiyama, H., Obst, O., Sammut, C., Tonidandel, F. (eds.) RoboCup 2017. LNCS (LNAI), vol. 11175, pp. 135–142. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-00308-1_11

    Chapter  Google Scholar 

  24. Rubel, D., Wren, J., Clayberg, E.: The Eclipse Graphical Editing Framework (GEF). Eclipse Series, vol. 1. Addison-Wesley Professional and Addison-Wesley, Boston (2011)

    Google Scholar 

  25. Sacerdoti, E.D.: The nonlinear nature of plans. Technical report, Stanford Research Institute, Menlo Park, CA (1975)

    Google Scholar 

  26. Saur, D., Geihs, K.: IMPERA: integrated mission planning for multi-robot systems. Robotics 4(4), 435–463 (2015)

    Article  Google Scholar 

  27. Skubch, H., Wagner, M., Reichle, R., Geihs, K.: A modelling language for cooperative plans in highly dynamic domains. Mechatronics 21(2), 423–433 (2011)

    Article  Google Scholar 

  28. Skubch, H., Wagner, M., Reichle, R., Triller, S., Geihs, K.: Towards a comprehensive teamwork model for highly dynamic domains. In: Filipe, J., Fred, A., Sharp, B. (eds.) Proceedings of the 2nd International Conference on Agents and Artificial Intelligence, vol. 2, pp. 121–127. INSTICC Press, January 2010

    Google Scholar 

  29. Skubch, H.: Modelling and Controlling of Behaviour for Autonomous Mobile Robots. Springer, Berlin (2013). https://doi.org/10.1007/978-3-658-00811-6

    Book  MATH  Google Scholar 

  30. Skubch, H., Saur, D., Geihs, K.: Resolving conflicts in highly reactive teams. In: 17th GI/ITG Conference on Communication in Distributed Systems (KiVS). Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2011)

    Google Scholar 

  31. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Eclipse Series, 2nd edn. Addison-Wesley Professional, Boston (2008)

    Google Scholar 

  32. Vogel, L.: Eclipse Rich Client Platform: The Complete Guide to Eclipse Application Development, 3rd edn. Vogella, Hamburg (2015)

    Google Scholar 

  33. Weaver, J., Gao, W., Chin, S., Iverson, D., Vos, J.: Pro JavaFX 8: A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients. Apress, New York (2014)

    Google Scholar 

  34. Witsch, A., Opfer, S., Geihs, K.: A formal multi-agent language for cooperative autonomous driving scenarios. In: International Conference on Connected Vehicles & Expo (ICCVE). IEEE, Vienna, November 2014

    Google Scholar 

  35. Witsch, A., Skubch, H., Niemczyk, S., Geihs, K.: Using incomplete satisfiability modulo theories to determine robotic tasks. In: International Conference on Intelligent Robots and Systems (IROS). IEEE, Tokyo, November 2013

    Google Scholar 

  36. Yen, J., Yin, J., Ioerger, T.R., Miller, M.S., Xu, D., Volz, R.A.: CAST: collaborative agents for simulating teamwork. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI) - Volume 2, pp. 1135–1142. Morgan Kaufmann Publishers Inc., San Francisco, USA (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Distributed Systems Research Group, University of Kassel, Wilhelmshöher Allee 73, Kassel, Germany

    Stephan Opfer, Stefan Jakob, Alexander Jahl & Kurt Geihs

Authors
  1. Stephan Opfer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Jakob
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Jahl
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kurt Geihs
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stephan Opfer .

Editor information

Editors and Affiliations

  1. Freie Universität Berlin, Berlin, Germany

    Christoph Benzmüller

  2. Universität Mannheim, Mannheim, Germany

    Heiner Stuckenschmidt

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Opfer, S., Jakob, S., Jahl, A., Geihs, K. (2019). ALICA 2.0 - Domain-Independent Teamwork. In: Benzmüller, C., Stuckenschmidt, H. (eds) KI 2019: Advances in Artificial Intelligence. KI 2019. Lecture Notes in Computer Science(), vol 11793. Springer, Cham. https://doi.org/10.1007/978-3-030-30179-8_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-30179-8_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-30178-1

  • Online ISBN: 978-3-030-30179-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics