Top

Published in:

2019 | OriginalPaper | Chapter

ALICA 2.0 - Domain-Independent Teamwork

Authors : Stephan Opfer, Stefan Jakob, Alexander Jahl, Kurt Geihs

Published in: KI 2019: Advances in Artificial Intelligence

Publisher: Springer International Publishing

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

search-config

AI-assisted search

Off

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.

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 Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases

next chapter Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract)

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

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

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

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)

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)

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)CrossRef

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_6CrossRef

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

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

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_11CrossRef

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

10.

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

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_30CrossRef

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)

13.

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

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_2CrossRef

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

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_4CrossRef

17.

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

18.

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

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)

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_2CrossRef

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)

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/BFb0031845CrossRef

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_11CrossRef

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)

25.

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

26.

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

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)CrossRef

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

29.

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

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)

31.

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

32.

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

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)

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

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

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)

Title: ALICA 2.0 - Domain-Independent Teamwork
Authors: Stephan Opfer
Stefan Jakob
Alexander Jahl
Kurt Geihs
Publisher: Springer International Publishing
Book: KI 2019: Advances in Artificial Intelligence
Print ISBN: 978-3-030-30178-1

Electronic ISBN: 978-3-030-30179-8

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-30179-8_22

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