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.
|Title of host publication||Declarative Agent Languages and Technologies V|
|Subtitle of host publication||5th International Workshop, DALT 2007, Honolulu, HI, USA, May 2007, Revised Selected and Invited Papers|
|Editors||Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff|
|Publisher||Springer Berlin / Heidelberg|
|Number of pages||17|
|Publication status||Published - 2008|
|Name||Lecture Notes in Computer Science|