Contract Formation through Preemptive Normative Conflict Resolution

Wamberto Vasconcelos, Timothy J. Norman

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

6 Citations (Scopus)

Abstract

Autonomous and heterogeneous software agents must agree on how they will operate together, with a view to achieving individual and global goals. Explicit, machine-processable representations of the terms for joint work among agents --aptly named contracts --are thus required. We explore a rule-based formalisation for contracts: rules capture conditional norms describing situations arising during the enactment of a multi-agent system, and norms resulting 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 present 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 publicationArtificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain
EditorsSandra Sandri, Miquel Sànchez-Marrè, Ulises Cortés
PublisherIOS Press
Pages179-188
Number of pages10
Volume202
ISBN (Print)888-7-66666-555-4
Publication statusPublished - 2009

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press

Fingerprint

conflict resolution
amendment
formalization

Cite this

Vasconcelos, W., & Norman, T. J. (2009). Contract Formation through Preemptive Normative Conflict Resolution. In S. Sandri, M. Sànchez-Marrè, & U. Cortés (Eds.), Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain (Vol. 202, pp. 179-188). (Frontiers in Artificial Intelligence and Applications). IOS Press.

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

Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain. ed. / Sandra Sandri; Miquel Sànchez-Marrè; Ulises Cortés. Vol. 202 IOS Press, 2009. p. 179-188 (Frontiers in Artificial Intelligence and Applications).

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

Vasconcelos, W & Norman, TJ 2009, Contract Formation through Preemptive Normative Conflict Resolution. in S Sandri, M Sànchez-Marrè & U Cortés (eds), Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain. vol. 202, Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 179-188.
Vasconcelos W, Norman TJ. Contract Formation through Preemptive Normative Conflict Resolution. In Sandri S, Sànchez-Marrè M, Cortés U, editors, Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain. Vol. 202. IOS Press. 2009. p. 179-188. (Frontiers in Artificial Intelligence and Applications).
Vasconcelos, Wamberto ; Norman, Timothy J. / Contract Formation through Preemptive Normative Conflict Resolution. Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain. editor / Sandra Sandri ; Miquel Sànchez-Marrè ; Ulises Cortés. Vol. 202 IOS Press, 2009. pp. 179-188 (Frontiers in Artificial Intelligence and Applications).
@inproceedings{f9067fd464784dfeba275ce16bbaf344,
title = "Contract Formation through Preemptive Normative Conflict Resolution",
abstract = "Autonomous and heterogeneous software agents must agree on how they will operate together, with a view to achieving individual and global goals. Explicit, machine-processable representations of the terms for joint work among agents --aptly named contracts --are thus required. We explore a rule-based formalisation for contracts: rules capture conditional norms describing situations arising during the enactment of a multi-agent system, and norms resulting 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 present 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",
isbn = "888-7-66666-555-4",
volume = "202",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
pages = "179--188",
editor = "Sandra Sandri and Miquel S{\`a}nchez-Marr{\`e} and Ulises Cort{\'e}s",
booktitle = "Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain",

}

TY - GEN

T1 - Contract Formation through Preemptive Normative Conflict Resolution

AU - Vasconcelos, Wamberto

AU - Norman, Timothy J.

PY - 2009

Y1 - 2009

N2 - Autonomous and heterogeneous software agents must agree on how they will operate together, with a view to achieving individual and global goals. Explicit, machine-processable representations of the terms for joint work among agents --aptly named contracts --are thus required. We explore a rule-based formalisation for contracts: rules capture conditional norms describing situations arising during the enactment of a multi-agent system, and norms resulting 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 present 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 - Autonomous and heterogeneous software agents must agree on how they will operate together, with a view to achieving individual and global goals. Explicit, machine-processable representations of the terms for joint work among agents --aptly named contracts --are thus required. We explore a rule-based formalisation for contracts: rules capture conditional norms describing situations arising during the enactment of a multi-agent system, and norms resulting 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 present 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

SN - 888-7-66666-555-4

VL - 202

T3 - Frontiers in Artificial Intelligence and Applications

SP - 179

EP - 188

BT - Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain

A2 - Sandri, Sandra

A2 - Sànchez-Marrè, Miquel

A2 - Cortés, Ulises

PB - IOS Press

ER -