Abstract
We present a case study which describes a ballroom as a social institution with autonomous dancer agents constrained by sets of norms and conventions that coordinate the behaviour of the participants. We provide a representation for the interaction protocols as finite state machines and a new way of formalising the associated norms in a logic programming language. Furthermore, we report on recent and ongoing work on an architecture for normative systems of this kind which allows agents to dynamically download interaction protocols and operational norms to guide their behaviour. Finally, we outline an alternative approach for representing the institutional state in a virtual, distributed fashion in the agents’ private belief stores.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Artikis, A.: Executable Specification of Open Norm-Governed Computational Systems. PhD thesis, Imperial Colllege London (2003)
Artikis, A., Kamara, L., Pitt, J.V., Sergot, M.J.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, Springer, Heidelberg (2005)
Artikis, A., Pitt, J.V., Sergot, M.J.: Animated specifications of computational societies. In: Castelfranchi, C., Johnson, W.L. (eds.) AAMAS 2002. Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 1053–1061. ACM Press, New York (2002)
Boella, G., Lesmo, L.: Deliberate normative agents. In: Conte, R., Dellarocas, C. (eds.) Social order in MAS, Kluwer Academic Publishers, Dordrecht (2001)
Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM 32(4), 444–458 (1989)
Castelfranchi, C., Dignum, F., Jonker, C.M., Treur, J.: Deliberative normative agents: Principles and architecture. In: Agent Theories, Architectures, and Languages, pp. 364–378 (1999)
Clark, K.L., McCabe, F.G.: Go! - a multi-paradigm programming language for implementing multi-threaded agents. Annals of Mathemathics and Artificial Intelligence 41(2-4), 171–206 (2004)
Clark, K.L., McCabe, F.G.: Ontology schema for an agent belief store. International Journal Of Human Computer Studies (to appear)
Conte, R., Falcone, R., Sartor, G.: Introduction: Agents and norms: How to fill the gap? Artificial Intelligence and Law 7, 1–15 (1999)
Esteva, M.: Electronic Institutions: from specification to development. PhD thesis, Institut d’Investigació en Intelligència Artificial, Bellaterra, Spain (2003)
Gaertner, D., Noriega, P., Sierra, C.: Extending the BDI architecture with commitments. In: Proceedings of the Ninth Internation Conference of the Catalan Asscociation for Artificial Intelligence, Perpignan, France (2006)
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, Springer, Heidelberg (2006)
Grossi, D., Aldewereld, H., Vázquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. In: Proceedings of NorMAS 2005, First International Symposium on Normative Multiagent Systems, Hatfield, April 2005 (2005)
Lopéz y Lopéz, F., Luck, M.: Modelling norms for autonomous agents. In: Mejia, M., Chavez, E., Favela, J., Oliart, A. (eds.) ENC 2003. Proceedings of the Fourth Mexican International Conference on Computer Science, pp. 238–245. IEEE Computer Society Press, Los Alamitos (2003)
Noriega, P.: Agent Mediated Auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autònoma de Barcelona (1997)
Ossowski, S. (ed.): Co-ordination in Artificial Agent Societies. LNCS (LNAI), vol. 1535, pp. 48–55. Springer, Heidelberg (1998)
Panzarasa, P., Jennings, N.R., Norman, T.J.: Formalising collaborative decision-making and practical reasoning in multi-agent systems. Journal of Logic and Computation 12(1), 55–117 (2002)
Robertson, D.: A lightweight coordination calculus for agent systems. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 183–197. Springer, Heidelberg (2005)
Rodríguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, Institut d’Investigació en Intelligéncia Artificial (2003)
Sergot, M., Craven, R.: The deontic component of action language nC+. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222–237. Springer, Heidelberg (2006)
Sergot, M.J.: \((\mathcal{C}+)^{++}\): An action language for modelling norms and institutions. Technical Report 2004/8, Department of Computing, Imperial College London (2004)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics (submitted for publication)
Vázquez-Salceda, J.: The Role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhaeuser Verlag (2004)
Vazquez-Salceda, J., Dignum, V., Dignum, F.: Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems 11(3), 307–360 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gaertner, D., Clark, K., Sergot, M. (2007). Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems. In: Noriega, P., et al. Coordination, Organizations, Institutions, and Norms in Agent Systems II. COIN 2006. Lecture Notes in Computer Science(), vol 4386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74459-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-74459-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74457-3
Online ISBN: 978-3-540-74459-7
eBook Packages: Computer ScienceComputer Science (R0)