Advertisement

Managing Conflict Resolution in Norm-Regulated Environments

  • Martin J. Kollingbaum
  • Wamberto W. Vasconcelos
  • Andres García-Camino
  • Tim J. Norman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4995)

Abstract

Norms are the obligations, permissions and prohibitions associated with members of a society. Norms provide a useful abstraction with which to specify and regulate the behaviour of self-interested software agents in open, heterogeneous systems. Any realistic account of norms must address their dynamic nature: the norms associated with agents will change as agents act (and interact) – prohibitions can be lifted, obligations can be fulfilled, and permissions can be revoked as a result of agents’ actions. These norms may at times conflict with one another, that is, an action may be simultaneously prohibited and obliged (or prohibited and permitted). Such conflicts cause norm-compliant agents to experience a paralysis: whatever they do (or not do) will go against a norm. In this paper we present mechanisms to detect and resolve normative conflicts. We achieve more expressiveness, precision and realism in our norms by using constraints over first-order variables. The mechanisms to detect and resolve norm conflicts take into account such constraints and are based on first-order unification and constraint satisfaction. We also explain how the mechanisms can be deployed in the management of norms regulating environments for software agents.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, Englewood Cliffs (1997)Google Scholar
  2. 2.
    Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476. Springer, Heidelberg (2005)Google Scholar
  3. 3.
    Conte, R., Castelfranchi, C.: Understanding the Functions of Norms in Social Groups through Simulation. In: Gilbert, N., Conte, R. (eds.) Artificial Societies: The Computer Simulation of Social Life, pp. 252–267. UCL Press, London (1995)Google Scholar
  4. 4.
    Dignum, F.: Autonomous Agents with Norms. A.I. & Law 7, 69–79 (1999)CrossRefGoogle Scholar
  5. 5.
    Elhag, A., Breuker, J., Brouwer, P.: On the Formal Analysis of Normative Conflicts. Information & Comms. Techn. Law 9(3), 207–217 (2000)CrossRefGoogle Scholar
  6. 6.
    Esteva, M., Padget, J., Sierra, C.: Formalizing a Language for Institutions and Norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)zbMATHGoogle Scholar
  8. 8.
    Foster, I., Kesselman, C., Tuecke, S.: The Anatomy of the Grid: Enabling Scalable Virtual Organizations. Int’ J. Supercomputer Applications 15(3), 209–235 (2001)Google Scholar
  9. 9.
    Gaertner, D., García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.-A., Vasconcelos, W.: Distributed Norm Management in Regulated Multi-agent Systems. In: Procs. 6th Int’l Joint Conf. on Autonomous Agents & Multiagent Systems (AAMAS 2007), Honolulu, Hawai’i (May 2007)Google Scholar
  10. 10.
    García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.-A.: An Algorithm for Conflict Resolution in Regulated Compound Activities. In: 7th Annual Int’l Workshop “Engineering Societies in the Agents World” (ESAW 2006), Dublin, Ireland (September 2006)Google Scholar
  11. 11.
    García-Camino, A., Rodríguez-Aguilar, J.-A., Sierra, C., Vasconcelos, W.: A Rule-based Approach to Norm-Oriented Programming of Electronic Institutions. ACM SIGecom Exchanges 5(5), 33–40 (2006)CrossRefGoogle Scholar
  12. 12.
    García-Camino, A., Rodriguez-Aguilar, J.-A., Sierra, C., Vasconcelos, W.W.: A Distributed Architecture for Norm-Aware Agent Societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Progr. 19(20), 503–581 (1994)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The Semantics of Constraint Logic Programs. Journal of Logic Progr 37(1-3), 1–46 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Kollingbaum, M.: Norm-governed Practical Reasoning Agents. PhD thesis, University of Aberdeen (2005)Google Scholar
  16. 16.
    Kollingbaum, M., Norman, T., Preece, A., Sleeman, D.: Norm Refinement: Informing the Re-negotiation of Contracts. In: Procs. Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN@ECAI 2006), Riva del Garda, Italy (August 2006)Google Scholar
  17. 17.
    Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-Dimensional Dynamic Knowledge Representation. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173. Springer, Heidelberg (2001)Google Scholar
  18. 18.
    López y López, F.: Social Power and Norms: Impact on Agent Behaviour. PhD thesis, Univ. of Southampton (June 2003)Google Scholar
  19. 19.
    Norman, T., Preece, A., Chalmers, S., Jennings, N., Luck, M., Dang, V., Nguyen, T., Deora, V., Shao, J., Gray, W., Fiddian, N.: Agent-based Formation of Virtual Organisations. Knowledge Based Systems 17, 103–111 (2004)CrossRefGoogle Scholar
  20. 20.
    Pacheco, O., Carmo, J.: 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 (2003)CrossRefGoogle Scholar
  21. 21.
    Ross, A.: On Law and Justice. Stevens & Sons (1958)Google Scholar
  22. 22.
    Sartor, G.: The Structure of Norm Conditions and Nonmonotonic Reasoning in Law. In: Procs. 3rd Int’l Conf. on A.I. & Law (ICAIL1991), Oxford, England (July 1991)Google Scholar
  23. 23.
    Sartor, G.: A Simple Computational Model for Nonmonotonic and Adversarial Legal Reasoning. In: Procs. 4th Int’l Conf. on A.I. & Law (ICAIL1993). The Netherlands, Amsterdam (June 1993)Google Scholar
  24. 24.
    Sergot, M.: A Computational Theory of Normative Positions. ACM Trans. Comput. Logic 2(4), 581–622 (2001)CrossRefMathSciNetGoogle Scholar
  25. 25.
    Swedish Institute of Computer Science. SICStus Prolog (viewed on 10 Feb 2005 at 18.16 GMT) (2005), http://www.sics.se/isl/sicstuswww/site/index.html
  26. 26.
    Vasconcelos, W., Kollingbaum, M., Norman, T., García-Camino, A.: Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organizations. In: Procs. 6th Int’l Joint Conf. on Autonomous Agents & Multiagent Systems (AAMAS 2007), Honolulu, Hawai’i (2007)Google Scholar
  27. 27.
    White, S.M.: Requirements for Distributed Mission-Critical Decision Support Systems. In: Procs 13th Annual IEEE Int’l Symp. & Workshop on Eng. of Computer-Based Systs (ECBS 2006) (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Martin J. Kollingbaum
    • 1
  • Wamberto W. Vasconcelos
    • 1
  • Andres García-Camino
    • 2
  • Tim J. Norman
    • 1
  1. 1.Dept. of Computing ScienceUniv. of AberdeenAberdeenUK
  2. 2.IIIA-CSICBellaterraSpain

Personalised recommendations