×

Programming norm change. (English) Zbl 1400.68055

Summary: To adequately deal with unpredictable and dynamic environments, normative frameworks typically deployed in mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the normative mechanism. The norms take on the form of conditional obligations and prohibitions, instantiating obligations and prohibitions. We present rule-based constructs for runtime modification of the norms and their instances, and a mechanism for automatically updating the instances when their underlying norms change. Moreover, we investigate a mechanism for avoiding norm conflicts.

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
03B70 Logic in computer science
68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alchourron, C.E. and Bulygin, E.1981. “The expressive conception of norms”. In New studies in deontic logic: Norms, actions, and the foundations of ethics, Edited by: Hilpinen, R.95-124. Dordrecht: D. Reidel.
[2] Alchourron, C.E., Gardenfors, P. and Makinson, D.1985. On the logic of theory change: Partial meet contraction and revision functions. Symbolic Logic, 50: 510-530. · Zbl 0578.03011
[3] Alchourron, C.E. and Makinson, D.1981. “Hierarchies of regulations and their logic”. In New studies in deontic logic: Norms, actions, and the foundations of ethics, Edited by: Hilpinen, R.125-148. Dordrecht: D. Reidel.
[4] Arbab, F. (1998). What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science (NVTI), March, 11-22.
[5] Artikis, A.2009. “Dynamic protocols for open agent systems”. In Proceedings of the 8th international conference on autonomous agents and multiagent systems (AAMAS), Budapest, Hungary, 97-104. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
[6] Artikis, A., Sergot, M. and Pitt, J.2009. Specifying norm-governed computational societies. ACM Transactions on Computational Logic, 10(1): 1-42. · Zbl 1367.68320
[7] Boella, G., Broersen, J. and van der Torre, L.2008. “Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations”. In Proceedings of the 11th Pacific Rim International Conference on multi-agents: Intelligent agents and multi-agent systems (PRIMA), 86-97. Berlin: Springer-Verlag.
[8] Boella, G. and van der Torre, L.2003. “Permissions and obligations in hierarchical normative systems”. In Proceedings of the 9th international conference on artificial intelligence and law, 109-118. New York: ACM.
[9] Boella, G. and van der Torre, L.2004. “Regulative and constitutive norms in normative multiagent systems”. In Proceedings of the 9th international conference on the principles of knowledge representation and reasoning (KR), 255-265. Palo Alto, CA: AAAI Press.
[10] Boella, G., van der Torre, L. and Verhagen, H.2006. Introduction to normative multiagent systems. Computational and Mathematical Organization Theory, 12(2-3): 71-79.
[11] Bordini, R.H., Dastani, M., Dix, J. and El Fallah Seghrouchni, A., eds. 2005. Multi-agent programming: Languages, platforms and applications, Berlin: Springer. (Vol. 15) · Zbl 1101.68456
[12] Bordini, R.H., Dastani, M., Dix, J. and El Fallah Seghrouchni, A., eds. 2009. Multi-agent programming: Languages, tools and applications, Vol. 15, Berlin: Springer. · Zbl 1169.68001
[13] Bou, E., López-Sánchez, M. and Rodrguez-Aguilar, J.A.2006. “Adaptation of autonomic electronic institutions through norms and institutional agents”. In Proceedings of the 7th international conference on engineering societies in the agents world (ESAW), 300-319. Berlin: Springer.
[14] Campos, J., López-Sánchez, M., Rodrguez-Aguilar, J.A. and Esteva, M.2009. “Formalising situatedness and adaptation in electronic institutions”. In Proceedings of coordination, organizations, institutions and norms in agent systems (COIN@AAAI), 126-139. Berlin: Springer.
[15] Castelfranchi, C.2000. “Engineering social order”. In Proceedings of the first international workshop on engineering societies in the agent world (ESAW), 1-18. London: Springer.
[16] Dastani, M., Grossi, D., Meyer, J.-J.C. and Tinnemeier, N.2009. “Normative multi-agent programs and their logics”. In Proceedings of the international workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Edited by: Meyer, J.-J.C. and Broersen, J. Vol. 5605, 16-31. Berlin: Springer. · Zbl 1258.68155
[17] Dignum, V.2009. “The role of organization in agent systems”. In Handbook of Research on Multi-Agent Systems, 1-16. Hershey, PA: Information Science Reference.
[18] Elhag, A.A., Breuker, J.A. and Brouwer, B.W.2000. On the formal analysis of normative conflicts. Information and Communications Technology Law, 9(3): 207-217.
[19] Esteva, M., Rodríguez-Aguilar, J., Rosell, B. and Arcos, J.2004. “AMELI: An agent-based middleware for electronic institutions”. In Proceedings of the 3rd international conference on autonomous agents and multiagent systems (AAMAS), New York, USA, 236-243. Washington, DC: IEEE Computer Society.
[20] Governatori, G., & Rotolo, A. (2008). Changing legal systems: Abrogation and annulment. Part I: Revision of defeasible theories. In Proceedings of the 9th International Conference on Deontic Logic in Computer Science (DEON) (Vol. 5076, pp. 3-18). Berlin: Springer. · Zbl 1143.03306
[21] Governatori, G. and Rotolo, A.2010. Changing legal systems: Legal abrogations and annulments in defeasible logic. Logic Journal of the IGLP, 18(1): 157-194. · Zbl 1197.68071
[22] Hansen, J., Pigozzi, G., & van der Torre, L. (2007). Ten philosophical problems in deontic logic. In G. Boella, L. van der Torre& H. Verhagen (Eds.), Normative multi-agent systems. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
[23] Hill, H.1987. A functional taxonomy of normative conflict. Law and Philosophy, 6: 227-247.
[24] Hübner, J.F., Boissier, O., & Bordini, R.H. (2010). From organisation specification to normative programming in multi-agent organisations. In Proceedings of Computational Logic in Multi- Agent Systems (CLIMA XI) (Vol. 6245, pp. 117-134). Berlin: Springer.
[25] Hübner, J., Boissier, O., Kitio, R. and Ricci, A.2010. Instrumenting multi-agent organisations with organisational artifacts and agents: Giving the organisational power back to the agents. International Journal of Autonomous Agents and Multi-Agent Systems, 20: 369-400.
[26] Hübner, J.F., Sichman, J.S., & Boissier, O. (2004). Using the MOISE+ for a cooperative framework of MAS reorganisation. In A.L.C. Bazzan & S. Labidi (Eds.), Proceedings of the 17th Brazilian Symposium on Artificial Intelligence (SBIA’04) (Lecture Notes in Artificial Intelligence, Vol. 3171, pp. 506-515). Berlin: Springer.
[27] Oren, N., Luck, M. and Miles, S.2010. “A model of normative power”. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 815-822. Richland, SC: International Systems Foundation for Autonomous Agents and Multiagent.
[28] Plotkin, G.D. (1981). A structural approach to operational semantics, Technical Report No. DAIMI FN-19. Aarhus, Denmark: University of Aarhus.
[29] Shoham, Y. and Tennenholtz, M.1995. On social laws for artificial agent societies: Off-line design. Artificial Intelligence, 73(1-2): 231-252. · Zbl 1507.68309
[30] Tinnemeier, N., Dastani, M. and Meyer, J.-J.2010. “Programming norm change”. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 957-964. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. · Zbl 1400.68055
[31] Tinnemeier, N., Dastani, M., Meyer, J.-J.C. and van der Torre, L.2009. “Programming normative artifacts with declarative obligations and prohibitions”. In Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 145-152. Washington, DC: IEEE Computer Society.
[32] Vasconcelos, W.W., Kollingbaum, M.J. and Norman, T.J.2009. Normative conflict resolution in multi-agent systems. International Journal of Autonomous Agents and Multi-Agent Systems, 19(2): 124-152.
[33] von Wright, G.H.1963. Norm and action. A logical inquiry, London: Routledge and Kegan Paul.
[34] Zambonelli, F., Jennings, N. and Wooldridge, M.2001. Organisational rules as an abstraction for the analysis and design of multi-agent systems. International Journal of Software Engineering and Knowledge Engineering, 11(3): 303-328.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.