Skip to main content
Springer Nature Link
Log in

On Modelling Multi-agent Systems Declaratively

  • Conference paper
Declarative Agent Languages and Technologies II (DALT 2004)

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

Included in the following conference series:

  • 300 Accesses

Abstract

We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametric with respect to an input/output semantics for agents, whereby inputs are the agents’ observations, and outputs are their actions. The observations include actions performed by other agents and events happening in the world. We define the semantics of a multi-agent system via a stability condition over the individual agents’ semantics. We instantiate the framework with respect to simple abductive logic agents. We illustrate the framework and the proposed properties by means of a simple example of agent negotiation.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Sadri, F., Toni, F., Torroni, P.: Dialogues for negotiation: agent varieties and dialogue sequences. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 405. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  2. Apt, K.R.: Logic programming. In: Handbook of Theoretical Computer Science, vol. B, pp. 493–574. Elsevier Science Publishers, Amsterdam (1990)

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  4. Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 419. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Toni, F., Stathis, K.: Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 126–140. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Kakas, A., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2, 719–770 (1993)

    Article  MathSciNet  Google Scholar 

  7. Kakas, A., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proc. 9th European Conference on Artificial Intelligence. Pitman Pub. (1990)

    Google Scholar 

  8. Viroli, M., Omicini, A.: Multi-agent systems as composition of observable systems. In: Omicini, A., Viroli, M. (eds.) AI*IA/TABOO Workshop - Dagli oggetti agli agenti: tendenze evolutive dei sistemi software (WOA 2001) (2001)

    Google Scholar 

  9. Wooldridge, M., Lomuscio, A.: A logic of visibility, perception, and knowledge: completeness and correspondence results. Journal of the IGPL 9 (2001)

    Google Scholar 

  10. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  11. Abramsky, S.: Semantics of Interaction (Technical report), Available at, http://www.dcs.ed.ac.uk/home/samson/coursenotes.ps.gz

  12. Ashri, R., Luck, M., d’Inverno, M.: On identifying and managing relationships in multi-agent systems. In: Proc. of 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico (2003)

    Google Scholar 

  13. Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Computational Logic in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence 37, 65–91 (2003)

    MATH  MathSciNet  Google Scholar 

  14. Alferes, J., Brogi, A., Leite, J.A., Pereira, L.M.: Computing environment-aware agent behaviours with logic program updates. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol. 2372, p. 216. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  16. Pokorny, L.R., Ramakrishnan, C.R.: Modeling and verification of distributed autonomous agents using logic programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 148–165. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  17. Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: Rambling abductive agents in ALIAS. In: Proc. ICLP Workshop on Multi-Agent Sytems in Logic Programming (MAS 1999), Las Cruces, New Mexico (1999)

    Google Scholar 

  18. Dastani, M., de Boer, F.S., Dignum, F., van der Hoek, W., Kroese, M., Meyer, J.C.: Programming the deliberation cycle of cognitive robots. In: Proc. of 3rd International Cognitive Robotics Workshop (CogRob) (2002)

    Google Scholar 

  19. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa,  

    Andrea Bracciali, Paolo Mancarella, Kostas Stathis & Francesca Toni

  2. Department of Computing, City University London,  

    Kostas Stathis

  3. Department of Computing, Imperial College London,  

    Francesca Toni

Authors
  1. Andrea Bracciali
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Mancarella
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kostas Stathis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Francesca Toni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  3. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  4. Department of Computer Engineering, Boğaziçi University, Bebek, 34342, Istanbul, Turkey

    pInar Yolum

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bracciali, A., Mancarella, P., Stathis, K., Toni, F. (2005). On Modelling Multi-agent Systems Declaratively. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_4

Download citation

  • DOI: https://doi.org/10.1007/11493402_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26172-8

  • Online ISBN: 978-3-540-31927-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics