Open Multi-Agent Systems: Agent Communication and Integration

  • Rogier M. van Eijk
  • Frank S. de Boer
  • Wiebe van der Hoek
  • John-Jules C. Meyer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1757)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    America, P.H.M., de Boer, F.S.: Reasoning about dynamically evolving process structures. Formal Aspects of Computing 6, 269–316 (1994)MATHCrossRefGoogle Scholar
  3. 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. 4.
    Clark, K., Gregory, S.: Parlog: parallel programming in logic. ACM Transactions on Programming Languages and Systems 8(1), 1–49 (1986)MATHCrossRefGoogle Scholar
  5. 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. 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)CrossRefGoogle Scholar
  7. 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. 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)CrossRefGoogle Scholar
  9. 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. 10.
    Gärdenfors, P.: Knowledge in flux: Modelling the dynamics of epistemic states. Bradford Books,S MIT, Cambridge (1988)Google Scholar
  11. 11.
    Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14(1), 39–100 (1991)MATHCrossRefGoogle Scholar
  12. 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. 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. 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. 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)CrossRefGoogle Scholar
  16. 16.
    Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)MATHCrossRefMathSciNetGoogle Scholar
  17. 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. 18.
    Milner, R., Parrow, J., Walke, D.: A calculus of mobile processes. Information and Computation 100, 1–77 (1992)MATHCrossRefMathSciNetGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 20.
    Plotkin, G.: A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University (1981)Google Scholar
  21. 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. 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. 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)CrossRefGoogle Scholar
  24. 24.
    Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)CrossRefMathSciNetGoogle Scholar
  25. 25.
    Wooldridge, M., Jennings, N.: Intelligent agents: theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Rogier M. van Eijk
    • 1
  • Frank S. de Boer
    • 1
  • Wiebe van der Hoek
    • 1
  • John-Jules C. Meyer
    • 1
  1. 1.Department of Computer ScienceUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations