×

zbMATH — the first resource for mathematics

Process algebra and constraint programming for modeling interactions in MAS. (English) Zbl 1085.68100
Summary: 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 and concurrent constraint programming 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.
MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68T01 General topics in artificial intelligence
Software:
ConGolog; KQML
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] de Bakker, J.W., de Vink, E.P.: Control flow semantics. MIT Press, Cambridge, MA (1996) · Zbl 0941.68079
[2] Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60, 109–137 (1984) · Zbl 0597.68027 · doi:10.1016/S0019-9958(84)80025-X
[3] Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoret. Comput. Sci. 37(1), 77–121 (1985) · Zbl 0579.68016 · doi:10.1016/0304-3975(85)90088-X
[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) · Zbl 1038.68019
[5] Brookes, S.D., Hoare, C.A.R., Roscoe, W.: A theory of communicating sequential processes. J. ACM 31, 499–560 (1984) · Zbl 0628.68025 · doi:10.1145/828.833
[6] Chen, X.J., De Giacomo, G.: Reasoning about nondeterministic and concurrent actions: a process algebra approach. Artif. Intell. 107(1), 63–98 (1999) · Zbl 0910.68075 · doi:10.1016/S0004-3702(98)00104-0
[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) · Zbl 1038.68019
[9] Ferber, J.: Multi-Agent systems. Addison-Wesley, Harlow (1999) · Zbl 0871.68023
[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) · doi:10.1145/129630.129635
[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) · Zbl 0948.68175 · doi:10.1016/S0004-3702(00)00031-X
[15] Georgeff, M.P., Ingrand, F.: Decision-Making in an Embedded Reasoning System. Proc. IJCAI-89, pp. 972–978, Detroit, MI (1989) · Zbl 0713.68054
[16] Hennessy, M.: Algebraic theory of processes. MIT Press, Cambridge, MA (1988) · Zbl 0744.68047
[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) · Zbl 0457.68006
[18] Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley, New York (1990) · Zbl 0723.68067
[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) · Zbl 05387414 · doi:10.1023/A:1010084620690
[20] Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Englewood Cliffs, NJ (1985) · Zbl 0637.68007
[21] Kinny, D.: The \(\Psi\) 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) · Zbl 1050.68140
[22] Milner, R.: A calculus of communicating systems. LNCS 92, Springer, Berlin (1980) · Zbl 0452.68027
[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) · Zbl 0900.68217
[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) · Zbl 1103.68646
[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) · Zbl 1002.68026
[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) · Zbl 1258.68162
[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) · Zbl 1053.68922
[32] Weiss, G. (ed.): Multiagent systems. The MIT Press, Cambridge, Massachusetts (1999)
[33] Wooldridge, M.J.: An introduction to multiagent systems. Wiley, Chichester (2002) · Zbl 1079.91500
[34] Wooldridge, M.J., Jennings, N.R.: Intelligent agents: theory and practice. The Knowl. Eng. Review 10(2), (1995) · Zbl 0825.00124
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.