Abstract
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying a class of social norms that is more compact than existing methods without loss of generality and permits simple but powerful mechanisms for analysis and deployment. We explain the method and how to compute with it. Specifically, we show how it relates to a well known system for enforcing social norms – the ISLANDER system – and compare it to performative languages.
This is a preview of subscription content, log in via an institution to check access.
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
Kagal, L., Finin, T., Joshi, A.: A policy language for pervasive systems. In: Fourth IEEE International Workshop on Policies for Distributed Systems and Networks (2003)
Decker, K., Pannu, A., Sycara, K., Williamson, M.: Designing behaviors for information agents. In: Proceedings of the First International Conference on Autonomous Agents (1997)
Giampapa, J., Sycara, K.: Team-oriented agent coordination in the retsina multi-agent system. Technical Report CMU-RI-TR-02-34, Robotics Institute, Carnegie Mellon University (2002)
McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning, pp. 482–493 (2002)
Sheshagiri, M., desJardins, M., Finin, T.: A planner for composing services described in daml-s. In: International Conference on Automated Planning and Scheduling (2003)
Greaves, M., Holmback, M., Bradshaw, J.: What is a conversation policy? In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 118–131. Springer, Heidelberg (2000)
Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 348–366. Springer, Heidelberg (2002)
Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems, pp. 1045–1052 (2002)
Robertson, D.: A lightweight method for coordination of agent oriented web services. In: Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)
Walton, C.: Model checking multi-agent web services. In: Proceedings of AAAI Spring Symposium on Semantic Web Services, California, USA (2004)
Fitoussi, D., Tennenholtz, M.: Choosing social laws for multi-agent systems: Minimality and simplicity. Artificial Intelligence 119 (2000)
Huget, M., Esteva, M., Phelps, S., Sierra, C., Wooldridge, M.: Model checking electronic institutions. In: Proceedings of ECAI Workshop on Model Checking and Artificial Intelligence, Lyon, France (2002)
Monderer, D., Tennenholtz, M.: Distributed games: From mechanisms to protocols. In: Proceedings of the Sixth National Conference on Artificial Intelligence (1999)
Labrou, Y., Finin, T.: A semantics approach for KQML: a general purpose communication language for software agents. In: Third International Conference on Knowledge and Information Management (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Robertson, D. (2005). A Lightweight Coordination Calculus for Agent Systems. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_11
Download citation
DOI: https://doi.org/10.1007/11493402_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26172-8
Online ISBN: 978-3-540-31927-6
eBook Packages: Computer ScienceComputer Science (R0)