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 Dive into the research topics of 'Conflict resolution in norm-regulated environments via unification and constraints'. Together they form a unique fingerprint.

  • 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