Abstract
Sets of related norms (normative systems) are likely to evolve due to changing goals of an organization or changing values of a society, this may introduce incoherence, such as the simultaneous prohibition and obligation of an action or a set of deadlocked duties. This paper presents a compositional framework that may be used for detecting whether normative systems are coherent by analysing traces of actions and their legality. Unlike other mechanisms for checking normative system coherence, the framework makes it possible to re-check just those parts of the system that have changed, without re-checking the entirety.
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
References
Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: Proceedings of AAMAS 2009, pp. 169–176 (2009)
Governatori, G., Giusto, P.D.: Modifying is better than deleting: a new approach to base revision. AI* IA 99, pp. 145–154 (1999)
Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486–496. Springer, Heidelberg (2007)
Governatori, G., Rotolo, A.: How do agents comply with norms? In: Dagstuhl Seminar Proceedings, pp. 488–491. IEEE (2009)
Hansen, J., Pigozzi, G., van der Torre, L.: Ten philosophical problems in deontic logic. In: NORMAS, Dagstuhl, Germany (2007)
Jiang, J., Aldewereld, H., Dignum, V., Tan, Y.-H.: Norm contextualization. In: Aldewereld, H., Sichman, J.S. (eds.) COIN 2012. LNCS, vol. 7756, pp. 141–157. Springer, Heidelberg (2013)
Kollingbaum, M.J., Vasconcelos, W.W., GarcÃa-Camino, A., Norman, T.J.: Managing conflict resolution in norm-regulated environments. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 55–71. Springer, Heidelberg (2008)
López, F.L.y., Luck, M.: Modelling norms for autonomous agents. In: Proceedings of The Fourth Mexican Conference on Computer Science, pp. 238–245. IEEE Computer Society (2003)
López, F.L., Luck, M., D’Inverno, M.: A normative framework for agent-based systems. Comput. Math. Organ. Theor. 12(2–3), 227–250 (2006)
Lupu, E., Sloman, M.: Conflicts in policy-based distributed systems management. IEEE Trans. Software Eng. (-) Spec. Issue Inconsistency Manag. 25(6), 852–869 (1999)
Uszok, A., Bradshaw, J., Jeffers, R., Suri, N., Hayes, P., Breedy, M., Bunch, L., Johnson, M., Kulkarni, S., Lott, J.: KAoS policy and domain services: toward a description-logic approach to policy representation, deconfliction, and enforcement. In: Proceedings of IEEE Policy 2003, Los Amitos, CA, pp. 93–98. IEEE Computer Society (2003)
Uszok, A., Bradshaw, J.M., Lott, J., Breedy, M., Bunch, L., Feltovich, P., Johnson, M., Jung, H.: New developments in ontology-based policy management: increasing the practicality and comprehensiveness of KAoS. in: 2008 IEEE Workshop on Policies for Distributed Systems and Networks, pp. 145–152, June 2008
Vasconcelos, W., Kollingbaum, M.J., Norman, T.J.: Resolving conflict and inconsistency in norm-regulated virtual organizations. In: Proceedings of AAMAS ’07, vol. 5, pp. 632–639, ACM Press, New York (2007)
Wooldridge, M.: An Introduction to Multi-Agent Systems. Wiley, Chichester (2002)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
King, T.C., Dignum, V., van Riemsdijk, M.B. (2014). Re-checking Normative System Coherence. In: Balke, T., Dignum, F., van Riemsdijk, M., Chopra, A. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems IX. COIN 2013. Lecture Notes in Computer Science(), vol 8386. Springer, Cham. https://doi.org/10.1007/978-3-319-07314-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-07314-9_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07313-2
Online ISBN: 978-3-319-07314-9
eBook Packages: Computer ScienceComputer Science (R0)