Abstract
Artificial Institutions are often considered as systems where the regulation defined through norms is based on an interpretation of the concrete world where the agents are situated and interacting. Such interpretation can be defined through constitutive rules. Although the literature proposes independent approaches for the definition and management of both norms and constitutive rules, they are usually not connected to each other. This paper investigates how to make such a connection, that raises problems of representations and of coupling of independent dynamics (norms and constitutive rules). Our main contribution in this paper is an approach and a formal apparatus to base the regulation provided by the norms on the institutional interpretation of the world provided by constitutive rules as defined in the Situated Artificial Institutions model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In this paper, a substitution is always represented by \(\theta \). A substitution is a finite set of pairs \(\{\alpha _1/\beta _1,\cdots , \alpha _n/\beta _n\}\) where \(\alpha _i\) is a variable and \(\beta _i\) is a term. If \(\rho \) is a literal, then \(\rho \theta \) is the literal resulting from the replacement of each \(\alpha _i\) in \(\rho \) by the corresponding \(\beta _i\) [6].
- 2.
As events are supposed to be considered at the individual agent level in normative systems (i.e. they can be related to a triggering agent) [13], it is important to record the agent that causes an event-status function assignment.
References
Aldewereld, H., Álvarez Napagao, S., Dignum, F., Vázquez-Salceda, J.: Making norms concrete. In: van der Hoek, W., Kaminka, G.A., Lespérance, Y., Luck, M., Sen, S. (eds.) Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), vol. 1–3, pp. 807–814, Richland, SC. IFAAMAS (2010)
Balke, T., Pereira, C.C., Dignum, F., Lorini, E., Rotolo, A., Vasconcelos, W., Villata, S.: Norms in MAS: definitions and related concepts. In: Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L.W.N. (eds.) Normative Multi-agent Systems. Dagstuhl Follow-Ups, vol. 4, pp. 1–31. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2013)
Boella, G., van der Torre, L.W.N.: Constitutive norms in the design of normative multiagent systems. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 303–319. Springer, Heidelberg (2006)
Boella, G., van der Torre, L.W.N.: A logical architecture of a normative system. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 24–35. Springer, Heidelberg (2006)
Boella, G., van der Torre, L.W.N.: Regulative, constitutive norms in normative multiagent systems. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Principles of Knowledge Representation, Reasoning: Proceedings of the Ninth International Conference (KR 2004), pp. 255–266. AAAI Press (2004)
Brachman, R., Levesque, H.: Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco (2004)
Broersen, J.M., Cranefield, S., Elrakaiby, Y., Gabbay, D.M., Grossi, D., Lorini, E., Parent, X., van der Torre, L.W.N., Tummolini, L., Turrini, P., Schwarzentruber, F.: Normative reasoning and consequence. In: Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L.W.N. (eds.) Normative Multi-agent Systems. Dagstuhl Follow-Ups, vol. 4, pp. 33–70. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Germany (2013)
Broersen, J., van der Torre, L.: Ten problems of deontic logic and normative reasoning in computer science. In: Bezhanishvili, N., Goranko, V. (eds.) ESSLLI 2010 and ESSLLI 2011. LNCS, vol. 7388, pp. 55–88. Springer, Heidelberg (2012)
Dastani, M., Grossi, D., Meyer, J.J.C., Tinnemeier, N.A.M.: Normative multi-agent programs and their logics. In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, vol. 09121. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany (2009)
de Brito, M., Hübner, J.F., Boissier, O.: Bringing constitutive dynamics to situated artificial institutions. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds.) EPIA 2015. LNCS, vol. 9273, pp. 624–637. Springer, Heidelberg (2015)
de Brito, M., Hübner, J.F., Boissier, O.: A conceptual model for situated artificial institutions. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA 2014. LNCS, vol. 8624, pp. 35–51. Springer, Heidelberg (2014)
de Brito, M., Thevin, L., Garbay, C., Boissier, O., Hübner, J.F.: Situated artificial institution to support advanced regulation in the field of crisis management. In: Demazeau, Y., Decker, K.S., Bajo Pérez, J., De la Prieta, F. (eds.) PAAMS 2015. LNCS, vol. 9086, pp. 66–79. Springer, Heidelberg (2015)
De Vos, M., Balke, T., Satoh, K.: Combining event- and state-based norms. In: Gini, M.L., Shehory, O., Ito, T., Jonker, C.M. (eds.) International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2013), pp. 1157–1158. IFAAMAS (2013)
Grossi, D., Meyer, J.J.C., Dignum, F.: Modal logic investigations in the semantics of counts-as. In: Sartor, G. (ed.) 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 1–9. ACM (2005)
Kubicki, S., Lepreux, S., Kolski, C.: RFID-driven situation awareness on tangisense, a table interacting with tangible objects. Pers. Ubiquit. Comput. 16(8), 1079–1094 (2012)
Panagiotidi, S., Alvarez-Napagao, S., Vázquez-Salceda, J.: Towards the norm-aware agent: bridging the gap between deontic specifications and practical mechanisms for norm monitoring and norm-aware planning. In: Balke, T., Dignum, F., van Riemsdijk, M.B., Chopra, A.K. (eds.) COIN 2013. LNCS, vol. 8386, pp. 346–363. Springer, Heidelberg (2014)
Searle, J.: The Construction of Social Reality. Free Press, New York (1995)
Searle, J.: Making the Social World: The Structure of Human Civilization. Oxford University Press, Oxford (2009)
Tessop, R.K.: Gestion de l’ouverture au sein d’organisations multi-agents: une approche basée sur des artefacts organisationnels. Ph.D. thesis, École Nationale Supéurieure des Mines de Saint-Étienne (2011)
Acknowledgements
The authors thanks the financial support given by CAPES (PDSE 4926-14-5) and CNPq (grants 448462/2014-1 e 306301/2012-1).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
de Brito, M., Hübner, J.F., Boissier, O. (2016). Coupling Regulative and Constitutive Dimensions in Situated Artificial Institutions. In: Rovatsos, M., Vouros, G., Julian, V. (eds) Multi-Agent Systems and Agreement Technologies. EUMAS AT 2015 2015. Lecture Notes in Computer Science(), vol 9571. Springer, Cham. https://doi.org/10.1007/978-3-319-33509-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-33509-4_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33508-7
Online ISBN: 978-3-319-33509-4
eBook Packages: Computer ScienceComputer Science (R0)