Abstract
The E4MAS community is leading an effort to accept environments of multi-agent systems as a first-class entity, distinguishing indirect interaction via the environment from the environment’s role in message transport. This paper defines classes of interaction (sequential and multi-agent, direct and indirect) and environments (physical and virtual, persistent and amnesic, dynamic and static). These notions provide an underpinning for proper acknowledgement of the roles of MAS environments and for powerful MAS design techniques that use indirect interaction. We explore the limitations of MAS models that are restricted to message passing and suggest research directions for constructing more powerful models.
Supported by NSF award 0545489.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arbab, F.: Reo: A Channel-Based Coordination Model for Component Composition. CWI Report SEN-0203 (2002)
Ross Ashby, W.: An Introduction to Cybernetics. University Paperbacks (1964)
Bandini, S., Manzoni, S., Vizzari, G.: Web Sites as Agents’ Environments: General Framework and Applications. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2005. LNCS, vol. 3830, pp. 235–250. Springer, Heidelberg (2006)
Bonabeau, E., Dorigo, M., Theraulaz, G.: Swarm Intelligence: From Natural to Artificial Systems. Oxford Univ. Press, Oxford (1999)
Bonabeau, E., Theraulaz, G.: Swarm Smarts. Scientific American, 72–74 (March 2000)
Dijkstra, E.: Hierarchical Ordering of Sequential Processes. Acta Inform. 1, 115–138 (1971)
Environments for Multi-Agent Systems 2005 (E4MAS), http://www.cs.kuleuven.ac.be/~distrinet/events/e4mas/2005/
Eberbach, E., Goldin, D., Wegner, P.: Turing’s Ideas and Models of Computation. In: Teuscher, C. (ed.) Alan Turing: Life and Legacy of a Great Thinker. Springer, Heidelberg (2004)
Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison Wesley Longman, Amsterdam (1999)
Gelernter, D., Carriero, N.: Coordination Languages and Their Significance. CACM 35(2), 97–107 (1992)
Goldin, D.: Persistent Turing Machines as a Model of Interactive Computation. In: Schewe, K.-D., Thalheim, B. (eds.) FoIKS 2000. LNCS, vol. 1762, pp. 116–135. Springer, Heidelberg (2000)
Goldin, D., Smolka, S.A., Attie, P., Sonderegger, E.: Turing Machines, Transition Systems, and Interaction. Information and Computation Journal 194(2), 101–128 (2004)
Goldin, D., Wegner, P.: The Church-Turing Thesis: Breaking the Myth. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 152–168. Springer, Heidelberg (2005)
Goldman, C.V., Zilberstein, S.: Decentralized Control of Cooperative Systems: Categorization and Complexity Analysis. Journal of Artificial Intelligence Research 22, 143–174 (2004)
Keil, D., Goldin, D.: Modeling Indirect Interaction in Open Computational Systems. In: TAPOCS Workshop, Proc. WET ICE 2003 (2003)
Keil, D., Goldin, D.: Indirect Interaction and Decentralized Coordination. Extended draft (2004), http://www.cse.uconn.edu/~dqg/papers/indirect.pdf
Keil, D., Goldin, D.: Adaptation and Evolution in Dynamic Persistent Environments. In: Proc. FInCo 2005, Edinburgh (2005)
Kennedy, J., Eberhart, R.: Swarm intelligence. Morgan Kaufmann, San Francisco (2001)
Knuth, D.E.: The art of computer programming. Fundamental algorithms, vol. 1. Addison-Wesley, Reading (1968)
Mamei, M., Zambonelli, F., Leonardi, L.: Distributed Motion Coordination with Co-Fields: A Case Study in Urban Traffic Management. In: Proceedings of the The Sixth International Symposium on Autonomous Decentralized Systems (ISADS 2003) (2003)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)
Mertens, K., Holvoet, T.: CSAA: A Distributed Ant Algorithm Framework for Constraint Satisfaction. In: FLAIRS Conference 2004 (2004)
Milner, R.: Processes: A Mathematical Model of Computing Agents. In: Rose, H.E., Shepherdson, J.C. (eds.) Logic Colloquium 1973. North-Holland, Amsterdam (1975)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
Milner, R.: Elements of Interaction. Comm. ACM 36(1), 78–89 (1993)
Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge Univ. Press, Cambridge (1999)
Van Dyke Parunak, H., Brueckner, S., Sauter, J.: Digital pheromone mechanisms for coordination of unmanned vehicles. In: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, Bologna, Italy (2002)
Piaget, J.: Behavior and evolution. Pantheon (1978)
Resnick, M.: Turtles, Termites, and Traffic Jams. MIT Press, Cambridge (1994)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Addison-Wesley, Reading (1995)
Simon, H.: The Sciences of the Artificial. MIT Press, Cambridge (1970)
Starlogo site at MIT Media Lab (2000), http://starlogo.www.media.mit.edu/people/starlogo
Steiner, R., Leask, G., Mili, R.Z.: An Architecture for MAS Simulation Environments. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2005. LNCS, vol. 3830, pp. 50–67. Springer, Heidelberg (2006)
Theraulaz, G., Bonabeau, E.: A Brief History of Stigmergy. Artificial Life 5, 97–116 (1999)
Turing, A.: On Computable Numbers with an Application to the Entscheidungsproblem. In: Proc. London Math Society, 2(DK: GET PUB), The Undecidable, pp. 173–198 (1936); Reprinted in Davis, M. (ed.)
Valckenaers, P., Holvoet, T.: The Environment: an Essential Abstraction for Managing Complexity in MAS-based Manufacturing Control. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2005. LNCS, vol. 3830, pp. 205–217. Springer, Heidelberg (2006)
van Leeuwen, J., Wiedermann, J.: The Turing machine paradigm in contemporary computing. In: Enquist, B., Schmidt, W. (eds.) Mathematics unlimited – and beyond. Springer, Heidelberg (2001)
Viroli, M., Omicini, A., Ricci, A.: Engineering MAS Environment with Artifacts. In: E4MAS (2005)
Wegner, P.: Why Interaction is More Powerful Than Algorithms. Communications of the ACMÂ 40(5) (1997)
Weyns, D., Parunak, H., Michel, F., Holvoet, T., Ferber, J.: Environments for Multiagent Systems: State-of-the-Art and Research Challenges. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS, vol. 3374, pp. 1–47. Springer, Heidelberg (2005)
Weyns, D., Schelfthout, K., Holvoet, T.: Exploiting a Virtual Environment in a Real-World Application. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2005. LNCS, vol. 3830, pp. 218–234. Springer, Heidelberg (2006)
Weyns, D., Vizarri, G., Holvoet, T.: Environments for Situated Multi-Agent Systems: Beyond Infrastructure. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2005. LNCS, vol. 3830, pp. 1–17. Springer, Heidelberg (2006)
Wiener, N.: Cybernetics, or control and communication in the animal and the machine, 2nd edn. MIT Press, Cambridge (1961)
Wooldridge, M.: On the Sources of Complexity in Agent Design. Applied Artificial Intelligence 14(7), 623–644 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Keil, D., Goldin, D. (2006). Indirect Interaction in Environments for Multi-agent Systems. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds) Environments for Multi-Agent Systems II. E4MAS 2005. Lecture Notes in Computer Science(), vol 3830. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11678809_5
Download citation
DOI: https://doi.org/10.1007/11678809_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32614-4
Online ISBN: 978-3-540-32615-1
eBook Packages: Computer ScienceComputer Science (R0)