Using Tuple Space to Coordinate Multiagent Activities

Programming languages play vital roles in program development and implementation. On the one hand, a programming language provides a means of algorithm presentation; on the other hand, it reflects the underlying abstract computational model. In this paper, we discuss the extension of the Chemical Abstract Machine with multiple coexisting agents --- MACH (Multiagent Extended Chemical Abstract Machine). The aim of MACH is to develop a coordination programming language based on an interactive computational model. The language is simple yet powerful enough to construct complicated multiagent, based software systems. We present MACH as a simple and efficient programming approach with an underlying formal proof system.

[1]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[2]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

[3]  Daniel Le Métayer,et al.  Programming by multiset transformation , 1993, CACM.

[4]  Alessandro Ricci,et al.  Three approaches to the coordination of multiagent systems , 2002, SAC '02.

[5]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[6]  Hisham M. Haddad,et al.  Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain , 2002, SAC.

[7]  Matthias Klusch,et al.  Software agent-based applications, platforms and development kits , 2005 .

[8]  Manuela M. Veloso,et al.  Multiagent Systems: A Survey from a Machine Learning Perspective , 2000, Auton. Robots.

[9]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[10]  Bert Bredeweg,et al.  An overview of approaches to qualitative model construction , 1996, The Knowledge Engineering Review.

[11]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[12]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[13]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[14]  Paolo Ciancarini,et al.  Distributed programming with Logic Tuple Spaces , 1994, New Generation Computing.

[15]  Nicholas Carriero,et al.  Coordination languages and their significance , 1992, CACM.

[16]  C. Hewitt,et al.  Comments on C. Hewitt, viewing control structures as patterns of passing messages, Artificial Intelligence 8 (1977) 323¿364 , 1978 .

[17]  Winfried Lamersdorf,et al.  Jadex: A BDI-Agent System Combining Middleware and Reasoning , 2005 .

[18]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[19]  Kai Hwang,et al.  Advanced computer architecture - parallelism, scalability, programmability , 1992 .

[20]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[21]  Arun Rai,et al.  Technology investment and business performance , 1997, CACM.

[22]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[23]  Reinhard Gotzhein,et al.  Temporal Logic and Applications-A Tutorial , 1992, Comput. Networks ISDN Syst..

[24]  Nicholas R. Jennings,et al.  Intelligent Agents VI , 2000 .

[25]  Tim Finin,et al.  Using KQML as an agent communication language , 1994, CIKM 1994.

[26]  Lee Miles,et al.  Reflections and Perspectives , 2002 .

[27]  Daniel Le Métayer,et al.  The GAMMA Model and Its Discipline of Programming , 1990, Sci. Comput. Program..

[28]  Franco Zambonelli,et al.  Multiagent System Engineering: The Coordination Viewpoint , 1999, ATAL.

[29]  Zohar Manna,et al.  How to cook a temporal proof system for your pet language , 1983, POPL '83.

[30]  David Gelernter,et al.  The Linda® Alternative to Message-Passing Systems , 1994, Parallel Comput..

[31]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[32]  Jean-Pierre Banâtre.  Parallel Multiset Processing: FRom Explicit Coordination to Chemical Reaction , 1996, COORDINATION.

[33]  Nicholas Carriero,et al.  How to write parallel programs: a guide to the perplexed , 1989, CSUR.

[34]  Peter Wegner,et al.  Why interaction is more powerful than algorithms , 1997, CACM.

[35]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.