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 -