NORMATIVE CONFLICTS - Patterns, Detection and Resolution

Georgios K. Giannikis, Aspassia Daskalopulu


The analysis, representation and management of normative conflicts have been the focus of much research in recent years in commercial and business applications. In this paper we are concerned with normative conflicts that arise for agents engaging in electronic contracting. First, we identify a set of primitive conflict patterns and present some patterns that have not been identified in other proposals. Secondly, we use a representation of e-contracts as Default Theories, which afford us both detection and resolution of such conflict patterns.


  1. Abrahams, Alan S., & Bacon, Jean M. 2002 (May). The Life and Times of Identified, Situated, and Conflicting Norms. Pages 3-20 of: DEON'02: Deontic Logic in Computer Science, 6th International Workshop on Deontic Logic in Computer Science.
  2. Antoniou, Grigoris. 1999. A tutorial on default logics. ACM Computer Surveys, 31(4), 337-359.
  3. Brewka, Gerhard. 1994. Reasoning about priorities in default logic. Pages 940-945 of: AAAI'94: Proceedings of the twelfth national conference on Artificial intelligence (vol. 2). Menlo Park, CA, USA: American Association for Artificial Intelligence.
  4. Daskalopulu, Aspassia. 2000. Modeling Legal Contracts as Processes. Pages 1074-1079 of: Legal Information Systems Applications, 11th International Workshop on Database and Expert Systems Applications (DEXA'00). IEEE Computer Society.
  5. Giannikis, Georgios K., & Daskalopulu, Aspassia. 2006. Defeasible Reasoning with e-Contracts. Pages 690- 694 of: IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006). Hong Kong, China: IEEE Computer Society.
  6. Giannikis, Georgios K., & Daskalopulu, Aspassia. 2007a (February). Normative Conflict Management with Default Logic. Tech. rept. 5154/1, A006.3G??. Department of Computer and Communications Engineering, University of Thessaly.
  7. Giannikis, Georgios K., & Daskalopulu, Aspassia. 2007b. The Representation of e-Contracts as Default Theories. Pages 963-973 of: Okuno, H.G., & Ali, M. (eds), Proceedings of 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2007). LNAI 4570. Kyoto, Japan: Springer-Verlag Berlin Heidelberg.
  8. Herrestad, H., & Krogh, C. 1995. Deontic Logic Relativised to Bearers and Counterparties. Pages 453 - 522 of: Anniversary Anthology in Computers and Law, Ed. J. Bing. and O. Torrund.
  9. Horty, John F. 1994. Moral Dilemmas and Nonmonotonic Logic. Journal of Philosophical Logic, 23(1), 35-65.
  10. Jones, Andrew J.I., & Sergot, Marek J. 1996. A formal characterisation of institutionalised power. Journal of the IGPL, 4(3), 427-443.
  11. Lee, Ronald M. 1988. Bureaucracies as Deontic Systems. ACM Trans. Inf. Syst., 6(2), 87-108.
  12. Lupu, Emil, & Sloman, Morris. 1999. Conflicts in PolicyBased Distributed Systems Management. IEEE Trans. Software Eng., 25(6), 852-869.
  13. Makinson, David. 1986. On the formal representation of rights relations. Journal of Philosophical Logic, 15(4), 403-425.
  14. Moffett, Jonathan D., & Sloman, Morris S. 1993. Policy Conflict Analysis in Distributed System Management. Journal of Organizational Computing.
  15. Prakken, Henry, & Sergot, Marek J. 1996. Contrary-toDuty Obligations. Studia Logica, 57(1), 91-115.
  16. Reiter, Raymond. 1980. A Logic for Default Reasoning. Artif. Intell., 13(1-2), 81-132.
  17. Royakkers, Lamber M. M. 1998. Extending Deontic Logic for the Formalisation of Legal Rules. Kluwer Academic Publishers.

Paper Citation

in Harvard Style

Giannikis G. and Daskalopulu A. (2009). NORMATIVE CONFLICTS - Patterns, Detection and Resolution . In Proceedings of the Fifth International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8111-81-4, pages 527-532. DOI: 10.5220/0001835505270532

in Bibtex Style

author={Georgios K. Giannikis and Aspassia Daskalopulu},
title={NORMATIVE CONFLICTS - Patterns, Detection and Resolution},
booktitle={Proceedings of the Fifth International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},

in EndNote Style

JO - Proceedings of the Fifth International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - NORMATIVE CONFLICTS - Patterns, Detection and Resolution
SN - 978-989-8111-81-4
AU - Giannikis G.
AU - Daskalopulu A.
PY - 2009
SP - 527
EP - 532
DO - 10.5220/0001835505270532