Skip to main content
SpringerLink
Log in

Process algebra and constraint programming for modeling interactions in MAS

  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

Abstract

We show how techniques from the realm of concurrent computation can be adapted for modeling the interactions of agents in multi-agent systems. In particular, we introduce a general process-algebraic approach to modeling multiagent systems. Our approach consists of an integration of the process algebras of Communicating Sequential Processes (CSP) and Concurrent Constraint Programming (CCP) for modeling the communication, synchronization and coordination in multiagent systems, including FIPA-style communication primitives and a programming language for group actions in a multi-agent system.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. de Bakker, J.W., de Vink, E.P.: Control flow semantics. MIT Press, Cambridge, MA (1996)

  2. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60, 109–137 (1984)

    Article  Google Scholar 

  3. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoret. Comput. Sci. 37(1), 77–121 (1985)

    Article  Google Scholar 

  4. de Boer, F.S., van Eijk, R.M., van der Hoek, W., Meyer, J.-J.Ch.: ‘Fully-Abstract model for the exchange of information in multi-agent systems. Theoretical Computer Science 290(3), 1753–1773 (2003)

    Article  Google Scholar 

  5. Brookes, S.D., Hoare, C.A.R., Roscoe, W.: A theory of communicating sequential processes. J. ACM 31, 499–560 (1984)

    Article  Google Scholar 

  6. Chen, X.J., De Giacomo, G.: Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artif. Intell. 107(1), 63–98 (1999)

    Article  Google Scholar 

  7. van Eijk, R.M.: Programming languages for agent communication. Ph.D. Thesis, Utrecht University (2000)

  8. van Eijk, R.M., de Boer, F.S., van der Hoek, W., Meyer, J.-J.Ch.: Process algebra for agent communication: a general semantic approach. In: M.-Ph. Huget (ed.) Communication in Multiagent Systems Agent Communication Languages and Conversation Policies LNCS 2650, pp. 113–128, Springer, Berlin Heidelberg New York (2003)

  9. Ferber, J.: Multi-Agent systems. Addison-Wesley, Harlow (1999)

  10. Finin, T., McKay, D., Fritzson, R., McEntire, R.: ‘KQML: an information and knowledge exchange protocol’. In: K. Fuchi, T. Yokoi (eds.) Knowledge Building and Knowledge Sharing, Ohmsa and IOS Press (1994)

  11. FIPA. Foundation for intelligent physical agents. Communicative act library specification. http://www.fipa.org, 2000.

  12. Gärdenfors, P., Rott, H.: Belief revision. In: D.M. Gabbay et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol 4, pp. 36–132, Clarendon Press, Oxford (1995)

  13. Gelernter, D., Carriero, N.: Coordination languages and their significance. Comm. ACM 35(2), 97–107 (1992)

    Article  Google Scholar 

  14. De Giacomo, G., Lespérance, Y., Levesque, H.J., ConGolog : A concurrent programming language based on the situation calculus. Artificial Intelligence 121, 109–169 (2000)

    Article  Google Scholar 

  15. Georgeff, M.P., Ingrand, F.: Decision-Making in an Embedded Reasoning System. Proc. IJCAI-89, pp. 972–978, Detroit, MI (1989)

  16. Hennessy, M.: Algebraic theory of processes. MIT Press, Cambridge, MA (1988)

  17. Hennessy, M., Plotkin, G.D.: Full abstraction for a simple parallel programming language. In: Proc. MFCS’79, LNCS 74, pp. 108–120, Springer, Berlin Heidelberg New York (1979)

  18. Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley, New York (1990)

  19. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.Ch.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Syst. 2, 357–401 (1999)

    Article  Google Scholar 

  20. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs, NJ (1985)

  21. Kinny, D.: The Ψ calculus: an algebraic agent language. In: J.-J. Ch. Meyer, M. Tambe (eds.) Intelligent Agents VIII LNAI 2333, pp. 32–50, Springer, Berlin Heidelberg New York (2002)

  22. Milner, R.: A calculus of communicating systems. LNCS 92, Springer, Berlin (1980)

  23. Milner, R.: Operational and algebraic semantics of concurrent processes. In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, pp. 1201–1242, Elsevier/ The MIT Press, Amsterdam/Cambridge(Mass.) (1990)

  24. Moreira, A.F., Vieira, R., Bordini, R.H.: Operational semantics of speech-act based communication in agentspeak. In: M. d’Inverno, C. Sierra, F. Zambonelli, (eds.) Proc. EUMAS 2003 Oxford (2003)

  25. Omicini, A., Ricci, A., Viroli, M.: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. In: M. d’Inverno, C. Sierra, F. Zambonelli (eds.) Proc. EUMAS 2003, Oxford (2003)

  26. Plotkin, G.: A structural approach to operational semantics. Techn. Report DAIMI FN-19, Aarhus University, Aarhus (1981)

  27. Saraswat, V.A.: Concurrent constraint programming. The MIT Press, Cambridge, Massachusetts (1993)

  28. Tsang, E.P.K.: Foundations of constraint satisfaction. Academic Press, London and San Diego, 1993, ISBN 0-12-701610-4

  29. Viroli, M., Omicini, A.: Specifying Agent Observable Behaviour. In: C. Casterfranchi, W.L. Johnson, (eds.) Proc. AAMAS 2002 Bologna, pp. 712–720, ACM Press (2002)

  30. de Vries, W.: Agent interaction: abstract approaches to modelling, programming and Verifying Multi-Agent Systems, Ph.D. Thesis, Utrecht University (2002)

  31. de Vries, W., de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.Ch.: A programming language for coordinating group actions. In: B. Dunin-Keplicz, E. Nawarecki (eds.) From Theory to Practice in Multi-Agent Systems, Proceedings of the 2nd International Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS’01), LNAI 2296, pp. 313–321, Springer, Berlin Heidleberg New York (2002)

  32. Weiss, G. (ed.): Multiagent systems. The MIT Press, Cambridge, Massachusetts (1999)

  33. Wooldridge, M.J.: An introduction to multiagent systems. Wiley, Chichester (2002)

  34. Wooldridge, M.J., Jennings, N.R.: Intelligent agents: theory and practice. The Knowl. Eng. Review 10(2), (1995)

Download references

Author information

Authors and Affiliations

  1. Institute of Information and Computing Sciences, Utrecht University, P.O. Box 80.089, 3508, TB, Utrecht, The Netherlands

    Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer & Rogier M. van Eijk

  2. Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, United Kingdom

    Wiebe van der Hoek

Authors
  1. Frank S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wieke de Vries
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Rogier M. van Eijk
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John-Jules Ch. Meyer.

Additional information

also at CWI, Amsterdam

Rights and permissions

Reprints and permissions

About this article

Cite this article

Boer, F., Vries, W., Meyer, JJ. et al. Process algebra and constraint programming for modeling interactions in MAS. AAECC 16, 113–150 (2005). https://doi.org/10.1007/s00200-005-0173-0

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-005-0173-0

Keywords

Search

Navigation