Norms are the obligations, permissions and prohibitions associated with members of a society. Norms provide a useful abstraction with which to specify and regulate the behaviour of self-interested software agents in open, heterogeneous systems. Any realistic account of norms must address their dynamic nature: the norms associated with agents will change as agents act (and interact) – prohibitions can be lifted, obligations can be fulfilled, and permissions can be revoked as a result of agents’ actions. These norms may at times conflict with one another, that is, an action may be simultaneously prohibited and obliged (or prohibited and permitted). Such conflicts cause norm-compliant agents to experience a paralysis: whatever they do (or not do) will go against a norm. In this paper we present mechanisms to detect and resolve normative conflicts. We achieve more expressiveness, precision and realism in our norms by using constraints over first-order variables. The mechanisms to detect and resolve norm conflicts take into account such constraints and are based on first-order unification and constraint satisfaction. We also explain how the mechanisms can be deployed in the management of norms regulating environments for software agents.
|Title of host publication||Engineering Societies in the Agents World VIII|
|Subtitle of host publication||8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers|
|Editors||Alexander Artikis, Greogory M. P. Oare, Kostas Stathis, George Vouros|
|Publisher||Springer Berlin / Heidelberg|
|Number of pages||17|
|Publication status||Published - 2008|
|Name||Lecture Notes in Computer Science|