Abstract
Norms (permissions, obligations and prohibitions) offer a useful and powerful abstraction with which to capture social constraints in multi-agent systems. Norms should exclude disruptive or antisocial behaviour without prescribing the design of individual agents or restricting their autonomy. An important challenge, however, in the design and management of systems governed by norms is that norms may, at times, conflict with one another; e.g, an action may be simultaneously prohibited and obliged for a particular agent. In such circumstances, agents no longer have the option of complying with these norms; whatever they do or refrain from doing will lead to a social constraint being broken. In this paper, we present mechanisms for the detection and resolution of normative conflicts. These mechanisms, based on first-order unification and constraint solving techniques, are the building blocks of more sophisticated algorithms we present for the management of normative positions, that is, the adoption and removal of permissions, obligations and prohibitions in societies of agents. We capture both direct and indirect conflicts between norms, formalise a practical concept of authority, and model conflicts that may arise as a result of delegation. We are able to formally define classic ways for resolving conflicts such as lex superior and lex posterior.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Alchourron C.E., Bulygin E. (1981) The expressive conception of norms. In: Hilpinen R. (eds) New studies in deontic logics. D. Reidel, London, pp 95–124
Apt K.R. (1997) From logic programming to prolog. Prentice-Hall, UK
Charalambides, M., Flegkas, P., Pavlou, G., Bandara, A., Lupu, E., Russo, A., Dulay, N., Sloman, M., & Rubio-Loyola, J. (2005). Policy conflict analysis for quality of service management. In 6th IEEE Workshop on Policies for District System & Networks (Policy 2005), June. Washington, D.C.
Conte R., Castelfranchi C. (1995) Understanding the functions of norms in social groups through simulation. In: Gilbert N., Conte R. (eds) Artificial societies: The computer simulation of social life. UCL Press, London, pp 252–267
Dignum F. (1999) Autonomous agents with norms. Artificial Intelligence and Law 7: 69–79
Dung P.M. (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and N-person games. Artificial Intelligence 77(2): 321–357
Elhag A.A.O., Breuker J.A.P.J., Brouwer P.W. (2000) On the formal analysis of normative conflicts. Information and Communication Technology Law 9(3): 207–217
Esteva, M. (2003). Electronic institutions: From specification to development. PhD thesis, Universitat Politècnica de Catalunya (UPC). IIIA monography, Vol. 19.
Fasli, M. (2006). On the relationship between roles and power: Preliminary report. In H. Haddad (Ed.), Proceedings of the 2006 ACM Symposium on Applied Computing (SAC) (pp. 313–318). Dijon, France, 23–27 April 2006. ACM.
Fitting M. (1990) First-order logic and automated theorem proving. Springer, New York, USA
Ford, D. N., & Sterman, J. (1997). Expert knowledge elicitation to improve mental and formal models. Technical report WP 3953-97, Sloan School of Management, MIT.
French J., Raven B. (1956) The bases of social power. In: Cartwright D. (eds) Studies in Social Power. University of Michigan Press, Michigan, USA, pp 150–167
Gaertner, D., García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.-A., & Vasconcelos, W. W. (2007). Distributed norm management in regulated multi-agent systems. In Proceedings of the 6th International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS’07). Honolulu, Hawai’i, May.
García-Camino, A., Rodríguez-Aguilar, J.-A., Sierra, C., & Vasconcelos, W. W. (2006). A distributed architecture for norm-aware agent societies. In M. Baldoni, U. Endriss, A. Omicini, & P. Torroni (Eds.), Proceedings of the 3rd International Worskhop on Declarative Agent Languages and Technologies (DALT 2005), Selected and Revised Papers, Lecture Notes in Computer Science (Vol. 3904, pp. 89–105). Utrecht, The Netherlands: Springer, 25 July 2005, 2006.
García-Camino A., Rodríguez-Aguilar J.-A., Sierra C., Vasconcelos W.W. (2006) A rule-based approach to norm-oriented programming of electronic institutions. ACM SIGecom Exchanges 5(5): 33–40
García-Camino, A., Rodríguez-Aguilar, J.-A., Sierra, C., & Vasconcelos, W. W. (2006). Constraint rule-based programming of norms for electronic institutions. Journal of Autonomous Agents & Multiagent Systems (to appear).
Jaffar J., Maher M.J. (1994) Constraint logic programming: A survey. Journal of Logic Programming 19/20: 503–581
Jaffar J., Maher M.J., Marriott K., Stuckey P.J. (1998) The semantics of constraint logic programs. Journal of Logic Programming 37(1–3): 1–46
Kagal, L., & Finin, T. (2005). Modeling communicative behavior using permissions and obligations. In F. Dignum, R. van Eijk, & M.-P. Huget (Eds.), Developments in Agent Communication (Vol. 3396, pp. 120–133). Springer.
Kagal L., Finin T. (2007) Modeling conversation policies using permissions and obligations. Journal of Autonomous Agents & Multiagent Systems 14(2): 187–206
Kollingbaum, M. J., Norman, T. J., Preece, A., & Sleeman, D. H. (2006). Norm refinement: Informing the re-negotiation of contracts. In G. Boella, O. Boissier, E. Matson, & J. Vazquez-Salceda (Eds.), ECAI 2006 Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@ECAI 2006 (pp. 46–51).
Kollingbaum, M. J., Vasconcelos, W. W., García-Camino, A., & Norman, T. J. (2008). Conflict resolution in norm-regulated environments via unification and constraints. In Proceedings of the 5th International Worskhop on Declarative Agent Languages and Technologies (DALT 2007), Selected and Revised Papers, Lecture Notes in Computer Science (Vol. 4897, pp. 158–174). Springer.
Kollingbaum, M. J., Vasconcelos, W. W., García-Camino, A., & Norman, T. J. (2008). Managing conflict resolution in norm-regulated environments. In Proceedings of 8th Annual International Workshop “Engineering Societies in the Agents World” (ESAW 07), Lecture Notes in Computer Science (Vol. 4995, pp. 55–71). Springer.
Leite, J. A., Alferes, J. J., & Pereira, L. M. (2001). Multi-dimensional dynamic knowledge representation, Lecture Notes in Artificial Intelligence (Vol. 2173). Springer.
Makinson D., van der Torre L. (2000) Input-output logics. Journal of Philosophical Logic 29: 383–408
Manna Z. (1974) Mathematical theory of computation. McGraw-Hill Kogakusha, Ltd, Tokio, Japan
McCallum M., Vasconcelos W.W., Norman T.J. (2008) Organisational change through influence. Journal of Autonomous Agents & Multiagent Systems 17(2): 157–189
Moffett J., Sloman M. (1994) Policy conflict analysis in distributed systems management. Journal of Organizational Computing 4(1): 1–22
Oren, N., Luck, M., Miles, S., & Norman, T. J. (2008). An argumentation-inspired heuristic for resolving normative conflict. In Proceedings of the 5th Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN@AAMAS), Estoril, Portugal.
Pacheco O., Carmo J. (2003) A role based model for the normative specification of organized collective agency and agents interaction. Autonomous Agents and Multi-Agent Systems 6(2): 145–184
Ross, A. (1958). On law and justice. Stevens & Sons.
Sartor, G. (1991). The structure of norm conditions and nonmonotonic reasoning in law. In Proceedings of the 3rd International Conference on Artificial Intelligence and Law ICAIL’91 (pp. 155–164). Oxford, U.K.
Sartor, G. (1993). A simple computational model for nonmonotonic and adversarial legal reasoning. In Proceedings of the 4th International Conference on Artificial Intelligence and Law ICAIL’93 (pp. 192–201). Amsterdam, The Netherlands.
Searle, J. R. (1997). The construction of social reality. Free Press, January.
Sergot M. (2001) A computational theory of normative positions. ACM Transactions on Computational Logic 2(4): 581–622
Shapiro, L., & Sterling, E. Y. (1994). The art of prolog: Advanced programming techniques. The MIT Press, April.
Spell, B. (2000). Professional Java programming. Wrox Press Inc.
Swedish Institute of Computer Science. (2005). SICStus prolog. http://www.sics.se/isl/sicstuswww/site/index.html, viewed on 10 Feb 2005 at 18.16 GMT.
Vasconcelos, W. W. (2004). Norm verification and analysis of electronic institutions, In J. Leite, A. Omicini, P. Torroni, P. Yolum (Eds.), Selected and revised papers of the International Workshop on Declarative Agent Languages and Technologies (DALT), New York, U.S.A., July 2004. Lecture Notes in Computer Science. (Vol. 3476, pp. 166–182). Springer-Verlag.
Vasconcelos, W. W., Esteva, M., Sierra, C., & Rodríguez-Aguilar, J. A. (2004). Verifying norm consistency in electronic institutions. In Proceedings of the AAAI-04 Workshop on Agent Organizations: Theory and Practice (pp. 8–14). San José, California, USA, July 25–29 2004. Technical Report WS-04-02.
Vasconcelos, W. W., Kollingbaum, M. J., & Norman, T. J. (2007). Resolving conflict and inconsistency in norm-regulated virtual organizations. In Proceedings of the 6th International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2007) (pp. 632–639). Hawai’i, U.S.A., May 2007. IFAAMAS.
Vasconcelos W.W., Robertson D., Sierra C., Esteva M., Sabater J., Wooldridge M. (2004) Rapid prototyping of large multi-agent systems through logic programming. Annals of Mathematics and Artificial Intelligence 41(2–4): 135–169
von Wright G.H. (1963) Norm and action: A logical inquiry. Routledge and Kegan Paul, London
von Wright, G. H. (1967). Logical studies. Routledge and Kegan Paul.
von Wright, G. H. (1968). An essay in deontic logic and the general theory of action. North-Holland Publishing Company, 1968.
White, S. M. (2006). Requirements for distributed mission-critical decision support systems. In Proceedings of the 13th Annual IEEE International Symposium & Workshop on Engineering of Computer-Based Systems (ECBS’06). Washington, D.C.
Wooldridge, M. (2002). An introduction to multiagent systems. Chichester, UK: Wiley, Feb.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Vasconcelos, W.W., Kollingbaum, M.J. & Norman, T.J. Normative conflict resolution in multi-agent systems. Auton Agent Multi-Agent Syst 19, 124–152 (2009). https://doi.org/10.1007/s10458-008-9070-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10458-008-9070-9