Skip to main content

Advertisement

SpringerLink
Log in

Normative conflict resolution in multi-agent systems

  • Published:
Autonomous Agents and Multi-Agent Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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

    Google Scholar 

  2. Apt K.R. (1997) From logic programming to prolog. Prentice-Hall, UK

    Google Scholar 

  3. 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.

  4. 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

    Google Scholar 

  5. Dignum F. (1999) Autonomous agents with norms. Artificial Intelligence and Law 7: 69–79

    Article  Google Scholar 

  6. 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

    Article  MATH  MathSciNet  Google Scholar 

  7. 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

    Article  Google Scholar 

  8. Esteva, M. (2003). Electronic institutions: From specification to development. PhD thesis, Universitat Politècnica de Catalunya (UPC). IIIA monography, Vol. 19.

  9. 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.

  10. Fitting M. (1990) First-order logic and automated theorem proving. Springer, New York, USA

    MATH  Google Scholar 

  11. 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.

  12. 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

    Google Scholar 

  13. 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.

  14. 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.

  15. 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

    Article  Google Scholar 

  16. 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).

  17. Jaffar J., Maher M.J. (1994) Constraint logic programming: A survey. Journal of Logic Programming 19/20: 503–581

    Article  MathSciNet  Google Scholar 

  18. 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

    Article  MATH  MathSciNet  Google Scholar 

  19. 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.

  20. Kagal L., Finin T. (2007) Modeling conversation policies using permissions and obligations. Journal of Autonomous Agents & Multiagent Systems 14(2): 187–206

    Article  Google Scholar 

  21. 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).

  22. 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.

  23. 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.

  24. Leite, J. A., Alferes, J. J., & Pereira, L. M. (2001). Multi-dimensional dynamic knowledge representation, Lecture Notes in Artificial Intelligence (Vol. 2173). Springer.

  25. Makinson D., van der Torre L. (2000) Input-output logics. Journal of Philosophical Logic 29: 383–408

    Article  MATH  MathSciNet  Google Scholar 

  26. Manna Z. (1974) Mathematical theory of computation. McGraw-Hill Kogakusha, Ltd, Tokio, Japan

    MATH  Google Scholar 

  27. McCallum M., Vasconcelos W.W., Norman T.J. (2008) Organisational change through influence. Journal of Autonomous Agents & Multiagent Systems 17(2): 157–189

    Article  Google Scholar 

  28. Moffett J., Sloman M. (1994) Policy conflict analysis in distributed systems management. Journal of Organizational Computing 4(1): 1–22

    Article  Google Scholar 

  29. 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.

  30. 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

    Article  Google Scholar 

  31. Ross, A. (1958). On law and justice. Stevens & Sons.

  32. 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.

  33. 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.

  34. Searle, J. R. (1997). The construction of social reality. Free Press, January.

  35. Sergot M. (2001) A computational theory of normative positions. ACM Transactions on Computational Logic 2(4): 581–622

    Article  MathSciNet  Google Scholar 

  36. Shapiro, L., & Sterling, E. Y. (1994). The art of prolog: Advanced programming techniques. The MIT Press, April.

  37. Spell, B. (2000). Professional Java programming. Wrox Press Inc.

  38. 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.

  39. 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.

  40. 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.

  41. 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.

  42. 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

    Article  MATH  Google Scholar 

  43. von Wright G.H. (1963) Norm and action: A logical inquiry. Routledge and Kegan Paul, London

    Google Scholar 

  44. von Wright, G. H. (1967). Logical studies. Routledge and Kegan Paul.

  45. von Wright, G. H. (1968). An essay in deontic logic and the general theory of action. North-Holland Publishing Company, 1968.

  46. 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.

  47. Wooldridge, M. (2002). An introduction to multiagent systems. Chichester, UK: Wiley, Feb.

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Aberdeen, Aberdeen, AB24 3UE, UK

    Wamberto W. Vasconcelos & Timothy J. Norman

  2. Robotics Institute, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, 15213, USA

    Martin J. Kollingbaum

Authors
  1. Wamberto W. Vasconcelos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin J. Kollingbaum
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Timothy J. Norman
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Wamberto W. Vasconcelos.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10458-008-9070-9

Keywords

Search

Navigation