Skip to main content
SpringerLink
Log in

Open Multi-Agent Systems: Agent Communication and Integration

  • Conference paper
Intelligent Agents VI. Agent Theories, Architectures, and Languages (ATAL 1999)

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

Included in the following conference series:

Abstract

In this paper, we study the open-ended nature of multi-agent systems, which refers to the property of allowing the dynamic integration of new agents into an existing system. In particular, the focus of this study is on the issues of agent communication and integration. We define an abstract programming language for open multi-agent systems that is based on concepts and mechanisms as introduced and studied in concurrency theory. Moreover, an important ingredient is the generalisation of the traditional concept of value-passing to a communication mechanism that allows for the exchange of information. Additionally, an operational model for the language is given in terms of a transition system, which allows the formal derivation of computations.

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. America, P.H.M., de Bakker, J., Kok, J.N., Rutten, J.: Operational semantics of a parallel object-oriented language. In: Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, pp. 194–208 (1986)

    Google Scholar 

  2. America, P.H.M., de Boer, F.S.: Reasoning about dynamically evolving process structures. Formal Aspects of Computing 6, 269–316 (1994)

    Article  MATH  Google Scholar 

  3. Brazier, F., Dunin-Keplicz, B., Jennings, N., Treur, J.: Formal specification of multi-agent systems: a real-world case. In: Proceedings of International Conference on Multi-Agent Systems (ICMAS 1995), pp. 25–32. MIT Press, Cambridge (1995)

    Google Scholar 

  4. Clark, K., Gregory, S.: Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems 8(1), 1–49 (1986)

    Article  MATH  Google Scholar 

  5. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Systems of communicating agents. In: Prade, H. (ed.) Proceedings of the 13th biennial European Conference on Artificial Intelligence (ECAI 1998), Brighton, UK, pp. 293–297. John Wiley & Sons, Chichester (1998)

    Google Scholar 

  6. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Information-passing and belief revision in multi-agent systems. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 29–45. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Operational semantics for agent communication languages. In: Proceedings of First Workshop on Agent Communication Languages. LNCS (LNAI). Springer, Heidelberg (2000)

    Google Scholar 

  8. Ferber, J., Gutknecht, O.: Operational semantics of a role-based agent architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  9. Finin, T., McKay, D., Fritzson, R., McEntire, R.: KQML: An Information and Knowledge Exchange Protocol. In: Fuchi, K., Yokoi, T. (eds.) Knowledge Building and Knowledge Sharing. Ohmsha and IOS Press (1994)

    Google Scholar 

  10. Gärdenfors, P.: Knowledge in flux: Modelling the dynamics of epistemic states. Bradford Books,S MIT, Cambridge (1988)

    Google Scholar 

  11. Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14(1), 39–100 (1991)

    Article  MATH  Google Scholar 

  12. Groenendijk, J., Stokhof, M.: Questions. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 1055–1124. Elsevier, Amsterdam. MIT Pess, Cambridge (1997)

    Google Scholar 

  13. Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. In: Guarino, N., Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer Academic Publishers, Dordrecht (1993)

    Google Scholar 

  14. Hewitt, C., de Jong, P.: Analyzing the roles of descriptions and actions in open systems. In: Proceedings of 3rd National Conference on Artificial Intelligence (AAAI 1983), Washington, D.C., pp. 162–167 (1983)

    Google Scholar 

  15. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: A formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol. 1365, pp. 215–229. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  16. Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)

    Article  MATH  MathSciNet  Google Scholar 

  17. Kamp, H.: A theory of truth and semantic interpretation. In: Groenendijk, J., Janssen, T., Stokhof, M. (eds.) Formal Methods in the Study of Language, pp. 277–322. Mathematical Centre, Amsterdam (1981)

    Google Scholar 

  18. Milner, R., Parrow, J., Walke, D.: A calculus of mobile processes. Information and Computation 100, 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  19. Nodine, M.H., Unruh, A.: Facilitating open communication in agent systems: The infosleuth infrastructure. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 281–295. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  20. Plotkin, G.: A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)

    Google Scholar 

  21. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), Cambridge, Massachusettes, pp. 473–484 (1991)

    Google Scholar 

  22. Saraswat, V.A., Rinard, M.: Concurrent constraint programming. In: Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, pp. 232–245 (1990)

    Google Scholar 

  23. Shehory, O., Sycara, K., Chalasani, P., Jha, S.: Agent cloning. In: Proceedings 3rd International Conference on Multi-Agent Systems (ICMAS 1998), pp. 463–464. IEEE Computer Society, Los Alamitos (1998)

    Chapter  Google Scholar 

  24. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  25. Wooldridge, M., Jennings, N.: Intelligent agents: theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Utrecht University, P.O. Box 80.089, 3508 TB, Utrecht, The Netherlands

    Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek & John-Jules C. Meyer

Authors
  1. Rogier M. van Eijk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John-Jules C. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electronics and Computer Science, University of Southampton, SO17 1BJ, Southampton, UK

    Nicholas R. Jennings

  2. Department of Computer Science, York University , M3J 1P3, Toronto, ON, Canada

    Yves Lespérance

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, JJ.C. (2000). Open Multi-Agent Systems: Agent Communication and Integration. In: Jennings, N.R., Lespérance, Y. (eds) Intelligent Agents VI. Agent Theories, Architectures, and Languages. ATAL 1999. Lecture Notes in Computer Science(), vol 1757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10719619_16

Download citation

  • DOI: https://doi.org/10.1007/10719619_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67200-5

  • Online ISBN: 978-3-540-46467-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation