Conflict resolution in norm-regulated environments via unification and constraints

Martin J. Kollingbaum, Wamberto Vasconcelos, Andres Garcia-Camino, Timothy J. Norman

Research output: Chapter in Book/Report/Conference proceedingChapter

9 Citations (Scopus)

Abstract

We present a mechanism to detect and resolve conflicts in virtual environments, populated by agents whose behaviours are regulated by norms, that is, explicit representations of obligations, permissions and prohibitions. A conflict arises when an action is simultaneously prohibited and obliged/permitted. We use first-order unification and constraint satisfaction to detect and resolve such conflicts, introducing a concept of norm curtailment. We present an algorithm for norm adoption which preserves conflict-freedom. Our approach allows us to address indirect conflicts and conflicts arising from the delegation of actions between agents.
Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies V
Subtitle of host publication5th International Workshop, DALT 2007, Honolulu, HI, USA, May 2007, Revised Selected and Invited Papers
EditorsMatteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
PublisherSpringer Berlin / Heidelberg
Pages158-174
Number of pages17
ISBN (Electronic)978-3-540-77564-5
ISBN (Print)978-3-540-77563-8
DOIs
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume4897
ISSN (Print)0302-9743

Fingerprint

Virtual reality

Cite this

Kollingbaum, M. J., Vasconcelos, W., Garcia-Camino, A., & Norman, T. J. (2008). Conflict resolution in norm-regulated environments via unification and constraints. In M. Baldoni, T. C. Son, M. B. V. Riemsdijk, & M. Winikoff (Eds.), Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 2007, Revised Selected and Invited Papers (pp. 158-174). (Lecture Notes in Computer Science; Vol. 4897). Springer Berlin / Heidelberg. https://doi.org/10.1007/978-3-540-77564-5_10

Conflict resolution in norm-regulated environments via unification and constraints. / Kollingbaum, Martin J.; Vasconcelos, Wamberto; Garcia-Camino, Andres; Norman, Timothy J.

Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 2007, Revised Selected and Invited Papers. ed. / Matteo Baldoni; Tran Cao Son; M. Birna van Riemsdijk; Michael Winikoff. Springer Berlin / Heidelberg, 2008. p. 158-174 (Lecture Notes in Computer Science; Vol. 4897).

Research output: Chapter in Book/Report/Conference proceedingChapter

Kollingbaum, MJ, Vasconcelos, W, Garcia-Camino, A & Norman, TJ 2008, Conflict resolution in norm-regulated environments via unification and constraints. in M Baldoni, TC Son, MBV Riemsdijk & M Winikoff (eds), Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science, vol. 4897, Springer Berlin / Heidelberg, pp. 158-174. https://doi.org/10.1007/978-3-540-77564-5_10
Kollingbaum MJ, Vasconcelos W, Garcia-Camino A, Norman TJ. Conflict resolution in norm-regulated environments via unification and constraints. In Baldoni M, Son TC, Riemsdijk MBV, Winikoff M, editors, Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 2007, Revised Selected and Invited Papers. Springer Berlin / Heidelberg. 2008. p. 158-174. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-77564-5_10
Kollingbaum, Martin J. ; Vasconcelos, Wamberto ; Garcia-Camino, Andres ; Norman, Timothy J. / Conflict resolution in norm-regulated environments via unification and constraints. Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 2007, Revised Selected and Invited Papers. editor / Matteo Baldoni ; Tran Cao Son ; M. Birna van Riemsdijk ; Michael Winikoff. Springer Berlin / Heidelberg, 2008. pp. 158-174 (Lecture Notes in Computer Science).
@inbook{871c71ab36b146958265c0d81ecc44d9,
title = "Conflict resolution in norm-regulated environments via unification and constraints",
abstract = "We present a mechanism to detect and resolve conflicts in virtual environments, populated by agents whose behaviours are regulated by norms, that is, explicit representations of obligations, permissions and prohibitions. A conflict arises when an action is simultaneously prohibited and obliged/permitted. We use first-order unification and constraint satisfaction to detect and resolve such conflicts, introducing a concept of norm curtailment. We present an algorithm for norm adoption which preserves conflict-freedom. Our approach allows us to address indirect conflicts and conflicts arising from the delegation of actions between agents.",
author = "Kollingbaum, {Martin J.} and Wamberto Vasconcelos and Andres Garcia-Camino and Norman, {Timothy J.}",
year = "2008",
doi = "10.1007/978-3-540-77564-5_10",
language = "English",
isbn = "978-3-540-77563-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer Berlin / Heidelberg",
pages = "158--174",
editor = "Matteo Baldoni and Son, {Tran Cao} and Riemsdijk, {M. Birna van} and Michael Winikoff",
booktitle = "Declarative Agent Languages and Technologies V",

}

TY - CHAP

T1 - Conflict resolution in norm-regulated environments via unification and constraints

AU - Kollingbaum, Martin J.

AU - Vasconcelos, Wamberto

AU - Garcia-Camino, Andres

AU - Norman, Timothy J.

PY - 2008

Y1 - 2008

N2 - We present a mechanism to detect and resolve conflicts in virtual environments, populated by agents whose behaviours are regulated by norms, that is, explicit representations of obligations, permissions and prohibitions. A conflict arises when an action is simultaneously prohibited and obliged/permitted. We use first-order unification and constraint satisfaction to detect and resolve such conflicts, introducing a concept of norm curtailment. We present an algorithm for norm adoption which preserves conflict-freedom. Our approach allows us to address indirect conflicts and conflicts arising from the delegation of actions between agents.

AB - We present a mechanism to detect and resolve conflicts in virtual environments, populated by agents whose behaviours are regulated by norms, that is, explicit representations of obligations, permissions and prohibitions. A conflict arises when an action is simultaneously prohibited and obliged/permitted. We use first-order unification and constraint satisfaction to detect and resolve such conflicts, introducing a concept of norm curtailment. We present an algorithm for norm adoption which preserves conflict-freedom. Our approach allows us to address indirect conflicts and conflicts arising from the delegation of actions between agents.

U2 - 10.1007/978-3-540-77564-5_10

DO - 10.1007/978-3-540-77564-5_10

M3 - Chapter

SN - 978-3-540-77563-8

T3 - Lecture Notes in Computer Science

SP - 158

EP - 174

BT - Declarative Agent Languages and Technologies V

A2 - Baldoni, Matteo

A2 - Son, Tran Cao

A2 - Riemsdijk, M. Birna van

A2 - Winikoff, Michael

PB - Springer Berlin / Heidelberg

ER -