License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.09121.12
URN: urn:nbn:de:0030-drops-19207
Go to the corresponding Portal

Vasconcelos, Wamberto ; Norman, Timothy J.

Contract Formation through Preemptive Normative Conflict Resolution

09121.VasconcelosWamberto.Paper.1920.pdf (0.2 MB)


We explore a rule-based formalisation for contracts: the rules capture conditional norms, that is, they describe situations arising during the enactment of a multi-agent system, and norms that arise from these
situations. However, such rules may establish conflicting norms, that is,
norms which simultaneously prohibit and oblige (or prohibit and permit)
agents to perform particular actions. We propose to use a mechanism to
detect and resolve normative conflicts in a preemptive fashion: these
mechanisms are used to analyse a contract and suggest "amendments"
to the clauses of the contract. These amendments narrow down the scope
of influence of norms and avoid normative conflicts. Agents propose rules
and their amendments, leading to a contract in which no conflicts may

BibTeX - Entry

  author =	{Vasconcelos, Wamberto and Norman, Timothy J.},
  title =	{{Contract Formation through Preemptive Normative Conflict Resolution}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-19207},
  doi =		{10.4230/DagSemProc.09121.12},
  annote =	{Keywords: Normative Conflict, Contracts}

Keywords: Normative Conflict, Contracts
Collection: 09121 - Normative Multi-Agent Systems
Issue Date: 2009
Date of publication: 11.03.2009

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI