Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-17T18:19:18.835Z Has data issue: false hasContentIssue false
  • English
  • Français

Coupling the normative regulation with the constitutive state management in Situated Artificial Institutions

Part of: EUMAS '15 - '16

Published online by Cambridge University Press:  04 December 2019

Maiquel De Brito Open the ORCID record for Maiquel De Brito [Opens in a new window] ,
Jomi Fred Hübner  and
Olivier Boissier
Maiquel De Brito*
Affiliation:
Federal University of Santa Catarina, Blumenau, SC, Brazil e-mail: [email protected]
Jomi Fred Hübner
Affiliation:
Federal University of Santa Catarina, Florianópolis, SC, Brazil e-mail: [email protected]
Olivier Boissier
Affiliation:
MINES Saint-Etienne, CNRS Lab, Hubert Curien UMR 5516, University of Lyon Saint-Etienne, France e-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

Artificial Institutions are systems where the regulation defined through norms is based on an interpretation of the concrete world where the agents are situated and interact. Such interpretation can be defined through constitutive rules. The literature proposes independent approaches for the definition and management of both norms and constitutive rules. However, they are usually either not coupled or coupled in an ad hoc and limiting solution. This paper investigates how to make such a coupling. The main contribution of this paper is a formal model basing the regulation provided by the norms on the institutional interpretation of the world provided by constitutive rules. This contribution is based on the Situated Artificial Institutions model that proposes an integrated model of constitutive rules based on status functions.

Type
EUMAS 15-16
Information
The Knowledge Engineering Review , Volume 34 , 2019 , e21
Copyright
© Cambridge University Press, 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Aldewereld, H., Álvarez Napagao, S., Dignum, F. & Vázquez-Salceda, J. 2000. Making norms concrete. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010): Volume 1–3, Richland, SC, Richland, S. C., van der Hoek, W., Kaminka, G. A., Lespérance, Y., Luck, M. & Sen, M. (eds), IFAAMAS, 807–814.Google Scholar
Alechina, N., Bassiliades, N., Dastani, M., Vos, M. D., Logan, B., Mera, S., Morris-Martin, A. & Schapachnik, F. 2013. Computational models for normative multi-agent systems. In Normative Multi-Agent Systems, 71–92. doi: 10.4230/DFU.Vol4.12111.71.CrossRefGoogle Scholar
Andrighetto, G., Governatori, G., Noriega, P. & van der Torre, L. W. N. (eds). Normative Multi-Agent Systems, Dagstuhl Follow-Ups 4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.Google Scholar
Balke, T., Pereira, C. C., Dignum, F., Lorini, E., Rotolo, A., Vasconcelos, W. & Villata, S. 2013. Norms in MAS: definitions and related concepts. In Normative Multi-Agent Systems, Andrighetto, G., Governatori, G., Noriega, P. & van der Torre, L. W. N. (eds). Dagstuhl Follow-Ups 4, 1–31. Schloss Dagstuhl–Leibniz-Zentrumfuer Informatik.Google Scholar
Boella, G., Noriega, P., Pigozzi, G. & Verhagen, H. (eds). 2009. Normative Multi-agent Systems, 15.03. - 20.03.2009, Dagstuhl, Germany, Dagstuhl Seminar Proceedings 09121. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.Google Scholar
Boella, G. & van der Torre, L. 2006a. A logical architecture of a normative system. In Deontic Logic and Artificial Normative Systems (DEON 2006), Goble, L. & Meyer, J.-J. C. (eds), LNCS 4048, 24–35. Springer.CrossRefGoogle Scholar
Boella, G. & van der Torre, L. 2006b. Constitutive norms in the design of normative multiagent systems. In Computational Logic in Multi-Agent Systems (CLIMA VI), Toni, F. & Torroni, P. (eds), LNCS 3900, 303–319. Springer. doi: 10.1007/1175073_17.CrossRefGoogle Scholar
Boella, G. & van der Torre, L. W. N. 2004. Regulative and constitutive norms in normative multiagent systems. In Principles of Knowledge Representation and Reasoning: Proceedings ofof the Ninth International Conference (KR2004), Dubois, D., Welty, C. A. & Williams, M.-A. (eds), 255–266. AAAI Press.Google Scholar
Boella, G., van der Torre, L. W. N. & Verhagen, H. (eds). 2007. Normative Multi-agent Systems, 18.03. - 23.03.2007, Dagstuhl, Germany, Dagstuhl Seminar Proceedings 07122. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).Google Scholar
Brachman, R. & Levesque, H. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc.CrossRefGoogle Scholar
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 et al. (2013), 33–70. doi: 10.4230/DFU.Vol4.12111.33.CrossRefGoogle Scholar
Cardoso, H. L. & Oliveira, E. C. 2007. Institutional reality and norms: specifying and monitoring agent organizations. International Journal of Cooperative Information Systems 16(1), 67–95.CrossRefGoogle Scholar
Castelfranchi, C. 2000. Engineering social order. In Engineering Societies in the Agent World, First International Workshop, ESAW 2000, Berlin, Germany, 21 August 2000, Revised Papers, Omicini, A., Tolksdorf, R. & Zambonelli, F. (eds), LNCS 1972, 1–18. Springer. doi: 10.1007/3-540-44539-0_1.Google Scholar
Cliffe, O., De Vos, M. & Padgetm, J. 2007. Answer set programming for representing and reasoning about virtual institutions. In Computational Logic in Multi-Agent Systems, Inoue, K., Satoh, K. & Toni, F. (eds), Lecture Notes in Computer Science 4371, 60–79. Springer. doi: 10.1007/978-3-540-69619-3_4.CrossRefGoogle Scholar
Criado, N., Argente, E. & Botti, V. J. 2011. Open issues for normative multi-agent systems. AI Communications 24(3), 233–264. doi: 10.3233/AIC-2011-0502.CrossRefGoogle Scholar
Dastani, M., Grossi, D., Meyer, J. C. & Tinnemeier, N. A. M. 2009. Normative multi-agent programs and their logics. In Normative Multi-Agent Systems, Boella, G., Noriega, P., Pigozzi, G. & Verhagen, H. (eds), Dagstuhl Seminar Proceedings 09121. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.Google Scholar
de Brito, M., Hübner, J. F. & Boissier, O. 2014. A conceptual model for situated artificial institutions. In Computational Logic in Multi-Agent Systems (CLIMA XV), Bulling, N., van der Torre, L., Villata, S., Jamroga, W. & Vasconcelos, W. (eds), LNCS 8624, 35–51. Springer.CrossRefGoogle Scholar
de Brito, M., Hübner, J. F. & Boissier, O. 2015a. Bringing constitutive dynamics to situated artificial institutions. In Progress in Artificial Intelligence - EPIA 2015, Pereira, F., Machado, P., Costa, E. & Cardoso, A. (eds), LNCS 9273, 624–637.Google Scholar
de Brito, M., Hübner, J. F. & Boissier, O. 2015b. Coupling regulative and constitutive dimensions in situated artificial institutions. In Multi-Agent Systems and Agreement Technologies - 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, 17–18 December 2015, Revised Selected Papers, Rovatsos, M., Vouros, G. A. & Julián, V. (eds), Lecture Notes in Computer Science 9571, 318–334. Springer International Publishing. doi: 10.1007/978-3-319-33509-4_25.Google Scholar
de Brito, M., Thévin, L., Garbay, C., Boissier, O. & Hübner, J. F. 2015c. Situated artificial institution to support advanced regulation in thefield of crisis management. In Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability (PAAMS 2015), Demazeau, Y., Decker, K. S., Pérez, J. B. & de la Prieta, F. (eds), LNCS 9086, 66–79.Google Scholar
de Brito, M., Hübner, J. F. & Boissier, O. 2018. Situated artificial institutions: stability, consistency, and flexibility in the regulation of agent societies. Autonomous Agents and Multi-Agent Systems 32(2), 219–251. doi: 10.1007/s10458-017-9379-3.CrossRefGoogle Scholar
De Vos, M., Balke, T. & Satoh, K. 2013. Combining Event-and State-based Norms. In International conference on Autonomous Agents and Multi-Agent Systems, (AAMAS’13), Gini, M. L., Shehory, O., Ito, T. & Jonker, C. M. (eds), 1157–1158. IFAAMAS.Google Scholar
Fasli, M. 2004. Accounting for social order in multi-agent systems: Preliminary report. In 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 20–24 September 2004, Beijing, China, 204–210. IEEE Computer Society. doi: 10.1109/IAT.2004.1342945.CrossRefGoogle Scholar
Fornara, N., Viganò, F., Verdicchio, M. & Colombetti, M. 2008. Artificial institutions: a model of institutional reality for open multiagent systems. Artificial Intelligence and Law 16(1), 89–105. doi: 10.1007/s10506-007-9055-z.CrossRefGoogle Scholar
Garcá-Camino, A., Noriega, P. & Rodrǵuez-Aguilar, J. A. 2006. An algorithm for conflict resolution in regulated compound activities. In Engineering Societies in the Agents World VII, 7th International Workshop, ESAW 2006, Dublin, Ireland, September 6–8, 2006 Revised Selected and Invited Papers, O’Hare, G. M. P., Ricci, A., O’Grady, M. J. & Dikenelli, O. (eds), LNCS 4457, 193–208. Springer. doi: 10.1007/978-3-540-75524-1_11.Google Scholar
Grossi, D., Meyer, J. C. & Dignum, F. 2005. Modal logic investigations in the modal logic investigations in the semantics of counts semantics of counts-as as. In 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), Sartor, G. (ed), 1–9. ACM.CrossRefGoogle Scholar
Hollander, C. D. & Wu, A. S. 2011. The current state of normative agent-based systems. Journal of Artificial Societies and Social Simulation 14(2). doi: 10.18564/jasss.1750.CrossRefGoogle Scholar
Hübner, J. F., Boissier, O. & Bordini, R. H. 2011. A normative programming language for multi-agent organisations. Annals of Mathematics and Artificial Intelligence 62(1–2), 27–53. ISSN 1012-2443. doi: 10.1007/s10472-011-9251-0.CrossRefGoogle Scholar
Kubicki, S., Lepreux, S. & Kolski, C. 2012. Rfid-driven situation awareness on tangisense, a table interacting with tangible objects. Personal and Ubiquitous Computing 16(8), 1079–1094.CrossRefGoogle Scholar
López y López, F. & Luck, M. 2003. Modelling norms for autonomous agents. In 4th Mexican International Conference on Computer Science (ENC 2003), 8–12 September 2003, Apizaco, Mexico, 238–245. IEEE Computer Society Press. ISBN 0-7695-1915-6. doi: 10.1109/ENC.2003.1232900.CrossRefGoogle Scholar
Moses, Y. & Tennenholtz, M. 1995. Artificial social systems. Computers and Artificial Intelligence 14(6), 533–562.Google Scholar
Panagiotidi, S., Álvarez-Napagao, S. & Vázquez-Salceda, J. 2013. Towards the norm-aware agent: bridging the gap between deontic specifications and practical mechanisms for norm monitoring and norm-aware planning. In Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN IX), Balke, T., Dignum, F., van Riemsdijk, M. B. & Chopra, A. K. (eds), LNCS 8386, 346–363. Springer.CrossRefGoogle Scholar
Pieters, W., Padget, J., Dechesne, F., Dignum, V. & Aldewereld, H. 2015. Effectiveness of qualitative and quantitative security obligations. Journal of Information Security and Applications 22, 3–16. doi: 10.1016/j.jisa.2014.07.003.CrossRefGoogle Scholar
Piunti, M. 2009. Designing and Programming Organizational Infrastructures for Agents Situated in Artifact-based Environments. PhD thesis, Universit‘ di Bologna.Google Scholar
Searle, J. 1995. The Construction of Social Reality. Free Press.Google Scholar
Searle, J. 2009. Making the Social World: The Structure of Human Civilization. Oxford University Press.CrossRefGoogle Scholar
Sun, X. & van der Torre, L. W.N. 2014. Combining constitutive and regulative norms in input/output logic. In Deontic Logic and Normative Systems - 12th International Conference, DEON 2014, Ghent, Belgium, 12–15 July 2014. Proceedings, Cariani, F., Grossi, D., Meheus, J. & Parent, X. (eds), Lecture Notes in Computer Science 8554, 241–257. Springer. doi: 10.1007/978-3-319-08615-6_18.CrossRefGoogle Scholar
Tessop, R. K. 2011. Gestion de lóuverture au sein dórganisations multi-agents: une approche basée sur des artefacts organisationnels. PhD thesis, École Nationale Supéurieure des Mines de Saint-Étienne.Google Scholar
Viganò, F. & Colombetti, M. 2007. Specification and verification of institutions through status functions. In Coordination, Organizations, Institutions, and Norms in Agent Systems II, Noriega, P., VÃzquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. & Matson, E. (eds), LNCS 4386, 115–129. Springer. doi: 10.1007/978-3-540-74459-7_8.CrossRefGoogle Scholar
Viganò, F. & Colombetti, M. 2008. Model checking norms and sanctions in institutions. In Coordination, Organizations, Institutions, and Norms in Agent Systems III, Sichman, J. S. A., Padget, J., Ossowski, S. & Noriega, P. (eds), LNCS 4870, 316–329. Springer. ISBN 978-3-540-79002-0. doi: 10.1007/978-3-540-79003-7_23.CrossRefGoogle Scholar