Contract Formation through Preemptive Normative Conflict Resolution

Wamberto Vasconcelos, Timothy J Norman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)
4 Downloads (Pure)

Abstract

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 arise.
Original languageEnglish
Title of host publicationNormative Multi-Agent Systems
EditorsG. Boella, P. Noriega, G. Pigozzi, H. Verhagen
Place of PublicationDagstuhl
PublisherLeibniz-Zentrum für Informatik
Number of pages18
Publication statusPublished - 2009
EventNormative Multi-Agent Systems - Dagstuhl, Germany
Duration: 16 Mar 200920 Mar 2009

Publication series

NameDagstuhl Seminar Proceedings
PublisherLeibniz-Zentrum fur Informatik
Volume09121
ISSN (Electronic)1862-4405

Seminar

SeminarNormative Multi-Agent Systems
CountryGermany
CityDagstuhl
Period16/03/0920/03/09

Fingerprint

conflict resolution
amendment
formalization

Cite this

Vasconcelos, W., & Norman, T. J. (2009). Contract Formation through Preemptive Normative Conflict Resolution. In G. Boella, P. Noriega, G. Pigozzi, & H. Verhagen (Eds.), Normative Multi-Agent Systems (Dagstuhl Seminar Proceedings; Vol. 09121). Dagstuhl: Leibniz-Zentrum für Informatik.

Contract Formation through Preemptive Normative Conflict Resolution. / Vasconcelos, Wamberto; Norman, Timothy J.

Normative Multi-Agent Systems . ed. / G. Boella; P. Noriega; G. Pigozzi; H. Verhagen. Dagstuhl : Leibniz-Zentrum für Informatik, 2009. (Dagstuhl Seminar Proceedings; Vol. 09121).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vasconcelos, W & Norman, TJ 2009, Contract Formation through Preemptive Normative Conflict Resolution. in G Boella, P Noriega, G Pigozzi & H Verhagen (eds), Normative Multi-Agent Systems . Dagstuhl Seminar Proceedings, vol. 09121, Leibniz-Zentrum für Informatik, Dagstuhl, Normative Multi-Agent Systems, Dagstuhl, Germany, 16/03/09.
Vasconcelos W, Norman TJ. Contract Formation through Preemptive Normative Conflict Resolution. In Boella G, Noriega P, Pigozzi G, Verhagen H, editors, Normative Multi-Agent Systems . Dagstuhl: Leibniz-Zentrum für Informatik. 2009. (Dagstuhl Seminar Proceedings).
Vasconcelos, Wamberto ; Norman, Timothy J. / Contract Formation through Preemptive Normative Conflict Resolution. Normative Multi-Agent Systems . editor / G. Boella ; P. Noriega ; G. Pigozzi ; H. Verhagen. Dagstuhl : Leibniz-Zentrum für Informatik, 2009. (Dagstuhl Seminar Proceedings).
@inproceedings{a56395b72e474814821bb96b3539b01d,
title = "Contract Formation through Preemptive Normative Conflict Resolution",
abstract = "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 arise.",
author = "Wamberto Vasconcelos and Norman, {Timothy J}",
year = "2009",
language = "English",
series = "Dagstuhl Seminar Proceedings",
publisher = "Leibniz-Zentrum f{\"u}r Informatik",
editor = "G. Boella and P. Noriega and G. Pigozzi and H. Verhagen",
booktitle = "Normative Multi-Agent Systems",

}

TY - GEN

T1 - Contract Formation through Preemptive Normative Conflict Resolution

AU - Vasconcelos, Wamberto

AU - Norman, Timothy J

PY - 2009

Y1 - 2009

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

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

M3 - Conference contribution

T3 - Dagstuhl Seminar Proceedings

BT - Normative Multi-Agent Systems

A2 - Boella, G.

A2 - Noriega, P.

A2 - Pigozzi, G.

A2 - Verhagen, H.

PB - Leibniz-Zentrum für Informatik

CY - Dagstuhl

ER -