Abstract
Institutions, also referred to as normative systems, offer a means to govern open systems, in particular open multi-agent systems. Research in logics, and subsequently tools, has led to support for the specification, verification and enactment of institutions. Most effort to date has focused on the design-time properties of institutions (either on the normative or the system level), such as whether a particular state of affairs is reachable or not from a given set of initial conditions. Such models are useful in forcing the designer to state their intentions precisely, and for testing (design-time) properties. However, we identify two problems in the direct utilization of design-time models in the governance of live (run-time) systems: (i) over-specification of constraints on agent autonomy and (ii) generation of design-time model artefacts. In this paper we present a methodology to tackle these two problems and extract run-time reasoning components from a design-time model. We demonstrate how to derive an event-based run-time model of institutions that can be incorporated into the capabilities of autonomous BDI agents to address the issues above in order to realize practical norm-governed multi-agent systems.
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
Axelrod, R.: The emergence of cooperation among egoists. The American Political Science Review 75(2), 306–318 (1981)
Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley Series in Agent Technology. John Wiley & Sons (2007)
Cliffe, O., De Vos, M., Padget, J.: Specifying and Reasoning About Multiple Institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006 Workshops. LNCS (LNAI), vol. 4386, pp. 67–85. Springer, Heidelberg (2007)
Criado, N., Argente, E., Botti, V.J.: A BDI architecture for normative decision making. In: van der Hoek, W., Kaminka, G.A., Lespérance, Y., Luck, M., Sen, S. (eds.) International Conference on Autonomous Agents and Multiagent Systems, pp. 1383–1384. International Foundation for Autonomous Agents and Multiagent Systems (2010)
Dignum, F., Morley, D.N., Sonenberg, L., Cavedon, L.: Towards socially sophisticated BDI agents. In: ICMAS, pp. 111–118. IEEE Computer Society (2000)
Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: International Conference on Autonomous Agents and Multiagent Systems, pp. 1045–1052. ACM (2002)
Fitzek, F.H.P., Katz, M.D.: Cellular controlled peer to peer communications: Overview and potentials. In: Cognitive Wireless Networks, pp. 31–59. Springer (2007)
Fornara, N., Viganò, F., Verdicchio, M., Colombetti, M.: Artificial institutions: a model of institutional reality for open multiagent systems. Artif. Intell. Law 16(1), 89–105 (2008)
GarcÃa-Camino, A., RodrÃguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.W.: Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18(1), 186–217 (2009)
Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-Driven Answer Set Solving. In: Proceedings of IJCAI 2007, pp. 386–392 (2007)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4), 365–386 (1991)
Grossi, D., Aldewereld, H., Dignum, F.: Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006 Workshops. LNCS (LNAI), vol. 4386, pp. 101–114. Springer, Heidelberg (2007)
Hübner, J.F., Sichman, J.S., Boissier, O.: Developing organised multiagent systems using the MOISE. IJAOSE 1(3/4), 370–395 (2007)
Searle, J.R.: The Construction of Social Reality. Allen Lane, The Penguin Press (1995)
Jones, A.J., Sergot, M.: A Formal Characterisation of Institutionalised Power. ACM Computing Surveys 28(4), 121 (1996)
Meneguzzi, F.R., Luck, M.: Norm-based behaviour modification in BDI agents. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) International Conference on Autonomous Agents and Multiagent Systems (1), pp. 177–184. International Foundation for Autonomous Agents and Multiagent Systems (2009)
Noriega, P.: Agent mediated auctions: The Fishmarket Metaphor. Ph.D. thesis, Universitat Autònoma de Barcelona (1997), http://www.lania.mx/~pablo/articles/tesis/thesis.pdf
Okouya, D., Dignum, V.: Operetta: a prototype tool for the design, analysis and development of multi-agent organizations. In: International Conference on Autonomous Agents and Multiagent Systems (Demos), pp. 1677–1678. International Foundation for Autonomous Agents and Multiagent Systems (2008)
Perrucci, G.P., Fitzek, F.H., Petersen, M.V.: Energy saving aspects for mobile device exploiting heterogeneous wireless networks. In: Hossain, E. (ed.) Heterogeneous Wireless Access Networks: Architectures and Protocols, pp. 277–303. Springer US (2009)
de Pinninck, A. P., Sierra, C., Schorlemmer, W.M.: Distributed Norm Enforcement: Ostracism in Open Multi-Agent Systems. In: Casanovas, P., Sartor, G., Casellas, N., Rubino, R. (eds.) Computable Models of the Law. LNCS (LNAI), vol. 4884, pp. 275–290. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Balke, T., De Vos, M., Padget, J. (2012). Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. In: Cranefield, S., van Riemsdijk, M.B., Vázquez-Salceda, J., Noriega, P. (eds) Coordination, Organizations, Institutions, and Norms in Agent System VII. COIN 2011. Lecture Notes in Computer Science(), vol 7254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35545-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-35545-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35544-8
Online ISBN: 978-3-642-35545-5
eBook Packages: Computer ScienceComputer Science (R0)