Abstract
We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coordination service that (a) takes declarative specifications of the desired interactions, and (b) automatically enacts them. Our approach is based on temporal logic, and has a rigorous semantics and a naturally distributed implementation.
Munindar Singh is supported by the NCSU College of Engineering, the National Science Foundation under grants IRI-9529179 and IRI-9624425, and IBM corporation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Arvind K. Bansal, Kotagiri Ramamohanarao, and Anand Rao. Distributed storage of replicated beliefs to facilitate recovery of distributed intelligent agents. In this volume.
Alan Bond and Les Gasser, editors. Readings in Distributed Artificial Intelligence. Morgan Kaufmann, San Francisco, 1988.
Cristiano Castelfranchi. Commitments: From individual intentions to groups and organizations. In Proceedings of the International Conference on Multiagent Systems, pages 41–48, 1995.
Panos K. Chrysanthis and Krithi Ramamritham. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems, 19(3):450–491, September 1994.
Randall Davis and Reid G. Smith. Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20:63–109,1983. Reprinted in [2].
Keith S. Decker and Victor R. Lesser. Designing a family of coordination algorithms. In Proceedings of the International Conference on Multiagent Systems, pages 73–80, 1995.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. North-Holland, Amsterdam, 1990.
Afsaneh Haddadi. Towards a pragmatic theory of interactions. In Proceedings of the International Conference on Multiagent Systems, pages 133–139,1995.
Carl Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8(3):323–364, 1977.
Michael N. Huhns and Munindar P. Singh, editors. Readings in Agents. Morgan Kaufmann, San Francisco, 1997.
Michael N. Huhns, Munindar P. Singh, Tomasz Ksiezyk, and Nigel Jacobs. Global information management via local autonomous agents. In Proceedings of the 13th International Workshop on Distributed Artificial Intelligence, August 1994.
Froduald Kabanza. Synchronizing multiagent plans using temporal logic specifications. In Proceedings of the International Conference on Multiagent Systems, pages 217–224, 1995.
Kazuhiro Kuwabara. Meta-level control of coordination protocols. In Proceedings of the International Conference on Multiagent Systems, pages 165–172, 1996.
Tim Oates, M. V. Nagendra Prasad, and Victor R. Lesser. Cooperative information gathering: A distributed problem solving approach. TR 94-66, University of Massachusetts, Amherst, MA, 1994.
Anand S. Rao and Michael P. Georgef. Modeling rational agents within a BDI-architecture. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 473–484, 1991. Reprinted in [10].
Jon Siegel. CORBA: Fundamentals and Programming. Object Management Group and Wiley, New York, 1996.
Munindar P. Singh. Commitments among autonomous agents in information-rich environments. In Proceedings of the 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW), pages 141–155, May 1997.
Munindar P. Singh. Coordinating heterogeneous autonomous agents. TR 97-07, Department of Computer Science, North Carolina State University, Raleigh, July 1997. Available at www.csc.ncsu.edu/ faculty/ mpsingh/ papers/ mas/ coord-trps.
Katia Sycara and Dajun Zeng. Multi-agent integration of information gathering and decision support. In Proceedings of the European Conference on Artificial Intelligence, pages 549–553, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Singh, M.P. (1998). A customizable coordination service for autonomous agents. In: Singh, M.P., Rao, A., Wooldridge, M.J. (eds) Intelligent Agents IV Agent Theories, Architectures, and Languages. ATAL 1997. Lecture Notes in Computer Science, vol 1365. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026752
Download citation
DOI: https://doi.org/10.1007/BFb0026752
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64162-9
Online ISBN: 978-3-540-69696-4
eBook Packages: Springer Book Archive