Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computational Logic in Multi-Agent Systems

CLIMA 2006: Computational Logic in Multi-Agent Systems pp 246–265Cite as

Adding Evolving Abilities to a Multi-Agent System

  • Conference paper

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

Abstract

This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason about evolving knowledge.

The resulting system, presented with a formal semantic characterisation and implemented using a combination of Java, XSB Prolog and Smodels, provides an improvement of madAgents, allowing for the implementation of a richer agent architecture where agents’ beliefs and behavior, as well as their evolution, are specifiable in EVOLP. It inherits the merits of Answer Set Programming (e.g., default negation for reasoning about incomplete knowledge, a semantics based on multiple answer-sets for reasoning about several possible worlds, etc.) on top of which we add all the specific merits of EVOLP for specifying evolving knowledge. At he same time, the resulting system provides a proof of principle that EVOLP can easily be adopted by existing MAS, to represent an evolving belief base, or also to represent the agent’s evolving behavior.

This is a preview of subscription content, 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 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica 79(1), 7–32 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  2. Alferes, J.J., Brogi, A., Leite, J.A., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 50–61. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  3. Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45(1-3), 43–70 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  4. Alferes, J.J., Moniz Pereira, L.: Updates plus Preferences. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzmán, I.P. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 345–360. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  5. Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence 138(1-2), 87–116 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  6. Assunção, P., Soares, L., Luz, J., Viegas, R.: The mule game engine - extending online role-playing games. In: Proceedings of the 9th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE’05), ACM Press, New York (2005)

    Google Scholar 

  7. Banti, F., Alferes, J.J., Brogi, A.: Well founded semantics for logic program updates. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315, pp. 397–407. Springer, Heidelberg (2004)

    Google Scholar 

  8. Boavida, M., Cabaço, S., Folgôa, N., Mourato, F., Sampayo, F., Trabuco, A.: Video based tools for sports training. In: Proceedings of the 5th International Symposium Computer Science in Sport, IACSS’05 (2005)

    Google Scholar 

  9. Bordini, R., Hübner, J., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, Springer, Heidelberg (2005)

    Google Scholar 

  10. Bordini, R.H., Braubach, L., Dastani, M., El Falah Seghrouchni, A., Gomez-Sanz, J.J., Leite, J., O’Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica 30(1), 33–44 (2006)

    MATH  Google Scholar 

  11. Bordini, R.H., Dastani, M., Dix, J., El~Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  12. Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Stathis, K.: Crafting the mind of a prosocs agent. Applied Artificial Intelligence 20(4-5) (2006)

    Google Scholar 

  13. Brewka, G., Eiter, T.: Preferred answer sets for extended logic programs. Artificial Intelligence 109(1-2), 297–356 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  14. Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 1–13. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  15. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, Springer, Heidelberg (2005)

    Google Scholar 

  16. Dix, J., Zhang, Y.: a multi-agent framework with declarative semantics. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, Springer, Heidelberg (2005)

    Google Scholar 

  17. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: Nebel, B. (ed.) Proceedings of the seventeenth International Conference on Artificial Intelligence (IJCAI’01), pp. 649–654. Morgan Kaufmann, San Francisco (2001)

    Google Scholar 

  18. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D., Szeredi, P. (eds.) Proceedings of the 7th international conference on logic programming, pp. 579–597. MIT Press, Cambridge (1990)

    Google Scholar 

  19. De Giacomo, G., Lespérance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2), 109–169 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  20. Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    Article  Google Scholar 

  21. Kowalski, R., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence 25(3-4), 391–419 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  22. Leite, J., Soares, L.: Evolving characters in role playing games. In: Cybernetics and Systems, Proceedings of the 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), vol. 2, pp. 515–520. Austrian Society for Cybernetic Studies (2006)

    Google Scholar 

  23. Leite, J.A.: Evolving Knowledge Bases. IOS Press, Amsterdam (2003)

    MATH  Google Scholar 

  24. Leite, J.A., Alferes, J.J., Moniz Pereira, L.: \(\mathcal{MINERVA}\) - A Dynamic Logic Programming 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 

  25. Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR’92), pp. 603–614. Morgan Kaufmann, San Francisco (1992)

    Google Scholar 

  26. Mascardi, V., Martelli, M., Sterling, L.: Logic-based specification languages for intelligent software agents. Theory and Practice of Logic Programming 4(4), 429–494 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  27. Nigam, V., Leite, J.A.: A dynamic logic programming based system for agents with declarative goals. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol. 4327, pp. 174–190. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  28. Soares, L., Assunção, P., Luz, J., Viegas, R.: Madagents - an architecture for logic-based agents (submitted, 2006)

    Google Scholar 

  29. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. MIT Press, Cambridge (2000)

    Google Scholar 

  30. Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  31. van Gelder, A., Ross, K.A., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)

    Article  MATH  Google Scholar 

  32. Working group on Answer-Set Programming. http://wasp.unime.it

Download references

Author information

Authors and Affiliations

  1. CENTRIA, Universidade Nova de Lisboa, Portugal

    João Leite & Luís Soares

Authors
  1. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luís Soares
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Katsumi Inoue Ken Satoh Francesca Toni

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Leite, J., Soares, L. (2007). Adding Evolving Abilities to a Multi-Agent System. In: Inoue, K., Satoh, K., Toni, F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science(), vol 4371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69619-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69619-3_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69618-6

  • Online ISBN: 978-3-540-69619-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation