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 - Published 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
T2 - Normative Multi-Agent Systems
Y2 - 16 March 2009 through 20 March 2009
ER -