Skip to main content
SpringerLink
Log in

Adding Knowledge Updates to 3APL

  • Conference paper
Programming Multi-Agent Systems (ProMAS 2006)

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

Included in the following conference series:

Abstract

3APL is a widely known multi-agent programming language. However, when to be used in certain domains and environments, 3APL has some limitations related to its simplistic update operator that only allows for updates to the extensional part of the belief base and its lack of a language with both default and strong negation to enable the representation and reasoning about knowledge with the open and closed world assumptions. In this paper, we propose to address these issues by modifying the belief base of 3APL to be represented by Dynamic Logic Programming, an extension of Answer-Set Programming that allows for the representation of knowledge that changes with time.

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

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., Leite, J., 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 

  3. Baral, C.: Reasoning about actions: Non-deterministic effects, constraints, and qualification. In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, vol. 2, Montréal, Québec, Canada, August 20-25 1995, pp. 2017–2026. Morgan Kaufmann, San Francisco (1995)

    Google Scholar 

  4. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

  7. 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 multi-agent systems. Informatica 30(1), 33–44 (2006)

    MATH  Google Scholar 

  8. Constantini, 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 

  9. Dastani, M., van Riemsdijk, M.B.: Programming multi-agent systems in 3APL. In: Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, Springer, Heidelberg (2005)

    Google Scholar 

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

    Google Scholar 

  11. Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren and Szeredi (eds.) 7th International Conference on Logic Programming, pp. 579–597. MIT Press, Cambridge (1990)

    Google Scholar 

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

    Article  Google Scholar 

  13. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Allen, J.A., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR’91), pp. 387–394. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

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

    MATH  Google Scholar 

  15. Leite, J.: On some differences between semantics of logic program updates. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315, pp. 375–385. Springer, Heidelberg (2004)

    Google Scholar 

  16. Leite, J., Pereira, J.J.A.L.M., Przymusinska, H., Przymusinski, T.: A language for multi-dimensional updates. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA’02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Datalogiske Skrifter, vol. 93, pp. 19–34. Roskilde University (2002)

    Google Scholar 

  17. Leite, J., Alferes, J.J., Pereira, L.M.: On the use of multi-dimensional dynamic logic programming to represent societal agents’ viewpoints. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 276–289. Springer, Heidelberg (2001)

    Google Scholar 

  18. Leite, J., Alferes, J.J., Pereira, L.M.: Minerva - a dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  19. Leite, J., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol. 1471, pp. 224–246. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

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

    Google Scholar 

  21. Nigam, V., Leite, J.: Using dynamic logic programming to obtain agents with declarative goals. In: Baldoni, M., Endriss, U. (eds.) Pre-Procs. of the 4th International Workshop on Declarative Agent Languages and Technologies (DALT’06), Hakodate, Japan (2006)

    Google Scholar 

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

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA, New University of Lisbon, Portugal

    Vivek Nigam & João Leite

Authors
  1. Vivek Nigam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. João Leite
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rafael H. Bordini Mehdi Dastani Jürgen Dix Amal El Fallah Seghrouchni

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nigam, V., Leite, J. (2007). Adding Knowledge Updates to 3APL. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds) Programming Multi-Agent Systems. ProMAS 2006. Lecture Notes in Computer Science(), vol 4411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71956-4_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71956-4_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71955-7

  • Online ISBN: 978-3-540-71956-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation