<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<!--<href>banner.jpg</href>-->
<size width="100%"/>
</banner>
</journal-meta>
<article-meta>
<title-group>
<article-title>Resolving Conflict and Inconsistency in Norm-Regulated Virtual Organizations</article-title>
</title-group>

<author><a href="mailto:wvasconcelos@acm.org"><name>Wamberto Vasconcelos</name></a></author>
<aff>Dept. of Computing Science University of Aberdeen Aberdeen AB24 3UE United Kingdom</aff>

<author><a href="mailto:mkolling@csd.abdn.ac.uk"><name>Martin J. Kollingbaum</name></a></author>
<aff>Dept. of Computing Science University of Aberdeen Aberdeen AB24 3UE United Kingdom</aff>

<author><a href="mailto:tnorman@csd.abdn.ac.uk"><name>Timothy J. Norman</name></a></author>
<aff>Dept. of Computing Science University of Aberdeen Aberdeen AB24 3UE United Kingdom</aff>
</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>Norm-governed virtual organizations define, govern and facilitate coordinated resource sharing and problem solving in societies of agents. With an explicit account of norms, <italic>openness</italic> in virtual organizations can be achieved: new components, designed by various parties, can be seamlessly accommodated. We focus on virtual organizations realised as multi-agent systems, in which human and software agents interact to achieve individual and global goals. However, any realistic account of norms should address their dynamic nature: norms will change as agents interact with each other and their environment. Due to the changing nature of norms or due to norms stemming from different virtual organizations, there will be situations when an action is simultaneously permitted and prohibited, that is, a <italic>conflict</italic> arises. Likewise, there will be situations when an action is both obliged and prohibited, that is, an <italic>inconsistency</italic> arises. We introduce an approach, based on first-order unification, to detect and resolve such conflicts and inconsistencies. In our proposed solution, we annotate a norm with the set of values their variables should <italic>not</italic> have in order to avoid a conflict or an inconsistency with another norm. Our approach neatly accommodates the domain-dependent interrelations among actions and the indirect conflicts/inconsistencies these may cause. More generally, we can capture a useful notion of inter-agent (and inter-role) <italic>delegation</italic> of actions and norms associated to them, and use it to address conflicts/inconsistencies caused by action delegation. We illustrate our approach with an e-Science example in which agents support Grid services.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0016_79b998defd068e3a8f5db38a00d06136</hpdf>
</fpdf>
</body>
</article>
