Skip to main content Accessibility help
×
Home

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

  • Maiquel De Brito (a1), Jomi Fred Hübner (a2) and Olivier Boissier (a3)

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.

Copyright

References

Hide All
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, 807814.
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, 7192. doi: 10.4230/DFU.Vol4.12111.71.
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.
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.
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.
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, 2435. Springer.
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, 303319. Springer. doi: 10.1007/1175073_17.
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), 255266. AAAI Press.
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).
Brachman, R. & Levesque, H. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc.
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), 3370. doi: 10.4230/DFU.Vol4.12111.33.
Cardoso, H. L. & Oliveira, E. C. 2007. Institutional reality and norms: specifying and monitoring agent organizations. International Journal of Cooperative Information Systems 16(1), 6795.
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.
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, 6079. Springer. doi: 10.1007/978-3-540-69619-3_4.
Criado, N., Argente, E. & Botti, V. J. 2011. Open issues for normative multi-agent systems. AI Communications 24(3), 233264. doi: 10.3233/AIC-2011-0502.
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.
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, 3551. Springer.
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, 624637.
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, 318334. Springer International Publishing. doi: 10.1007/978-3-319-33509-4_25.
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, 6679.
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), 219251. doi: 10.1007/s10458-017-9379-3.
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), 11571158. IFAAMAS.
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, 204210. IEEE Computer Society. doi: 10.1109/IAT.2004.1342945.
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), 89105. doi: 10.1007/s10506-007-9055-z.
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, 193208. Springer. doi: 10.1007/978-3-540-75524-1_11.
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.
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.
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), 2753. ISSN 1012-2443. doi: 10.1007/s10472-011-9251-0.
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), 10791094.
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, 238245. IEEE Computer Society Press. ISBN 0-7695-1915-6. doi: 10.1109/ENC.2003.1232900.
Moses, Y. & Tennenholtz, M. 1995. Artificial social systems. Computers and Artificial Intelligence 14(6), 533–562.
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, 346363. Springer.
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.
Piunti, M. 2009. Designing and Programming Organizational Infrastructures for Agents Situated in Artifact-based Environments. PhD thesis, Universit‘ di Bologna.
Searle, J. 1995. The Construction of Social Reality. Free Press.
Searle, J. 2009. Making the Social World: The Structure of Human Civilization. Oxford University Press.
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, 241257. Springer. doi: 10.1007/978-3-319-08615-6_18.
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.
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, 115129. Springer. doi: 10.1007/978-3-540-74459-7_8.
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, 316329. Springer. ISBN 978-3-540-79002-0. doi: 10.1007/978-3-540-79003-7_23.

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

  • Maiquel De Brito (a1), Jomi Fred Hübner (a2) and Olivier Boissier (a3)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed