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

10 Citations (Scopus)


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
Number of pages17
ISBN (Electronic)978-3-540-77564-5
ISBN (Print)978-3-540-77563-8
Publication statusPublished - 2008

Publication series

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


Dive into the research topics of 'Conflict resolution in norm-regulated environments via unification and constraints'. Together they form a unique fingerprint.

Cite this