Skip to main content
SpringerLink
Log in

Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents

  • Conference paper
  • First Online:
Multi-Agent Systems (EUMAS 2014)

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

Included in the following conference series:

Abstract

We present the Angerona framework for the implementation of knowledge-based agents with a strong focus on flexibility, extensibility, and compatibility with diverse knowledge representation formalisms. As the basis for this framework we propose and formalize a general concept of compound agents in which we consider agents to consist of hierarchies of interacting epistemic and functional components. Each epistemic component is instantiated by a knowledge representation formalism. Different knowledge representation formalisms can be used within one agent and different agents in the same system can be based on different agent architectures and can use different knowledge representation formalisms. Partially instantiations define sub-frameworks for, e. g., the development of BDI agents and variants thereof. The Angerona framework realizes this concept by means of a flexible JAVA plug-in architecture for the epistemic and the functional components of an agent. The epistemic plug-ins are based on the Tweety library for knowledge representation, which provides various ready-for-use implementations and knowledge representation formalisms and a framework for the implementation of additional ones. Angerona already contains several partial and complete instantiations that implement several approaches. Angerona also features an environment plug-in for communicating agents and a flexible GUI to monitor the multiagent system and the inner workings of the agents, particularly the inspection of the dynamics of their epistemic states. Angerona and Tweety are ready to use, well documented, and open source.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://github.com/Angerona.

  2. 2.

    http://sourceforge.net/projects/tweety/.

References

  1. Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Elsevier and Morgan Kaufmann Publishers, Amsterdam (2004)

    Google Scholar 

  2. van Harmelen, F., van Harmelen, F., Lifschitz, V., Porter, B.: Handbook of Knowledge Representation. Elsevier Science, San Diego (2007)

    Google Scholar 

  3. Fermé, E., Hansson, S.: AGM 25 years. J. Philos. Logic 40, 295–331 (2011). doi:10.1007/s10992-011-9171-9

    Article  MATH  MathSciNet  Google Scholar 

  4. Thimm, M.: Tweety - a comprehensive collection of java libraries for logical aspects of artificial intelligence and knowledge representation. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), July 2014

    Google Scholar 

  5. Gelfond, M., Leone, N.: Logic programming and knowledge representation: the A-Prolog perspective. Artif. Intell. 138, 3–38 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  6. Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. 2, pp. 105–134. Kluwer Academic Publishers, Dordrecht (1988)

    Chapter  Google Scholar 

  7. Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artif. Intell. 171(10–15), 619–641 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  8. Krümpelmann, P., Janus, T., Kern-Isberner, G.: Angerona - a multiagent framework for logic based agents. Technical report, Technische Universität Dortmund, Department of Computer Science (2014)

    Google Scholar 

  9. Biedert, R., Delsaux, N., Lottermann, T.: Java simple plugin framework. http://code.google.com/p/jspf/. Accessed 10 December 2012

  10. Delgrande, J.P., Schaub, T., Tompits, H.: A preference-based framework for updating logic programs. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 71–83. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  11. Delgrande, J.P., Schaub, T., Tompits, H., Woltran, S.: A general approach to belief change in answer set programming. Comput. Res. Repository (CoRR). abs/0912.5511 (2009)

    Google Scholar 

  12. Krümpelmann, P., Kern-Isberner, G.: Propagating credibility in answer set programs. In: Schwarz, S., (ed.) Proceedings of the 22nd Workshop on (Constraint) Logic Programming WLP 2008). Technische Berichte, Martin-Luther-Universität Halle-Wittenberg, Germany (2008)

    Google Scholar 

  13. Krümpelmann, P., Kern-Isberner, G.: Belief base change operations for answer set programming. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 294–306. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  14. Krümpelmann, P., Thimm, M., Kern-Isberner, G., Fritsch, R.: Motivating agents in unreliable environments: a computational model. In: Klügl, F., Ossowski, S. (eds.) MATES 2011. LNCS, vol. 6973, pp. 65–76. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  15. Thimm, M., Krümpelmann, P.: Know-how for motivated BDI agents (extended abstract). In: Decker, S., Sierra, C. (eds.) Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009). Accessed 10–15 May 2009

    Google Scholar 

  16. Krümpelmann, P., Thimm, M.: A logic programming framework for reasoning about know-how. In: Proceedings of the 13th International Workshop on Non-monotonic Reasoning (NMR 2010) (2010)

    Google Scholar 

  17. Fermé, E.L., Hansson, S.O.: Selective revision. Stud. Logica. 63(3), 331–342 (1999)

    Article  MATH  Google Scholar 

  18. Tamargo, L.H., Thimm, M., Krümpelmann, P., Garcia, A.J., Falappa, M.A., Simari, G.R., Kern-Isberner, G.: Credibility-based selective revision by deductive argumentation in multi-agent systems. In: Ferme, E., Gabbay, D., Simari, G. (eds.) Trends in Belief Revision and Argumentation Dynamics. College Publications, London (2013)

    Google Scholar 

  19. Albrecht, E., Krümpelmann, P., Kern-Isberner, G.: Construction of explanation graphs from extended dependency graphs for answer set programs. In: Hanus, M., Rocha, R. (eds.) KDPD 2013. LNCS, vol. 8439, pp. 1–16. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  20. Foundation for Intelligent Physical Agents: Fipa communicative act library specification (12 2002)

    Google Scholar 

  21. Lifschitz, V., Tang, L.R., Turner, H.: Nested expressions in logic programs. Ann. Math. Artif. Intell. 25(3–4), 369–389 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  22. Krümpelmann, P., Kern-Isberner, G.: On agent-based epistemic secrecy. In: Rossi, R., Woltran, S. (eds.) Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012) (2012)

    Google Scholar 

  23. Krümpelmann, P., Kern-Isberner, G.: Secrecy preserving BDI agents based on answerset programming. In: Klusch, M., Thimm, M., Paprzycki, M. (eds.) MATES 2013. LNCS, vol. 8076, pp. 124–137. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  24. Biskup, J., Tadros, C.: Preserving confidentiality while reacting on iterated queries and belief revisions. Ann. Math. Artif. Intell., 73(1-2), 75–123 (2015)

    Google Scholar 

  25. Bordini, R.H., Braubach, L., Dastani, M., Seghrouchni, A.E.F., Gomez-Sanz, J.J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multiagent systems. Informatica 30, 33–44 (2006)

    MATH  Google Scholar 

  26. Agentprogramming.com: Agent platforms

    Google Scholar 

  27. Baral, C., Gelfond, M.: Reasoning Agents in Dynamic Domains, pp. 257–279. Kluwer Academic Publishers, Norwell (2000)

    Google Scholar 

  28. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Planning under incomplete knowledge. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 807–821. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  29. Leite, J., Alferes, J., Pereira, L.: \({\cal MINERVA}\) - a dynamic logic rogramming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 141–157. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  30. Móra, M.d.C., Lopes, J.G.P., Vicari, R.M., Coelho, H.: BDI models and systems: bridging the gap. In: Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages (ATAL 1998), pp. 11–27. Springer, London (1999)

    Google Scholar 

  31. Novák, P.: Jazzyk: a programming language for hybrid agents with heterogeneous knowledge representations. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) ProMAS 2008. LNCS, vol. 5442, pp. 72–87. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  32. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 228–243. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  33. Koen, V., Hindriks, W.P.: GOAL User Manual. Delft University of Technology, Delft (2014)

    Google Scholar 

  34. Ma, J., Russo, A., Broda, K., Lupu, E.: Multi-agent abductive reasoning with confidentiality. In: AAMAS, pp. 1137–1138 (2011)

    Google Scholar 

  35. Wallace, R.J., Freuder, E.C.: Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving. Artif. Intell. 161(1–2), 209–227 (2005). Distributed Constraint Satisfaction

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

This work has been supported by the DFG, Collaborative Research Center SFB876, Project A5. (http://sfb876.tu-dortmund.de).

Author information

Authors and Affiliations

  1. Technische Universität Dortmund, Dortmund, Germany

    Patrick Krümpelmann, Tim Janus & Gabriele Kern-Isberner

Authors
  1. Patrick Krümpelmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tim Janus
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gabriele Kern-Isberner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Patrick Krümpelmann .

Editor information

Editors and Affiliations

  1. Delft University of Technology, Delft, The Netherlands

    Nils Bulling

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Krümpelmann, P., Janus, T., Kern-Isberner, G. (2015). Angerona - A Flexible Multiagent Framework for Knowledge-Based Agents. In: Bulling, N. (eds) Multi-Agent Systems. EUMAS 2014. Lecture Notes in Computer Science(), vol 8953. Springer, Cham. https://doi.org/10.1007/978-3-319-17130-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-17130-2_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-17129-6

  • Online ISBN: 978-3-319-17130-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation