Criado, N, Black, E and Luck, M (2015) A Coherence Maximisation Process For Solving Normative Inconsistencies. Autonomous Agents and Multi-Agent Systems, 30 (4). pp. 640-680. ISSN 1573-7454
|
Text
CoherenceRevision2Enviar.pdf - Accepted Version Download (723kB) | Preview |
Abstract
Norms can be used in multi-agent systems for defining patterns of behaviour in terms of permissions, prohibitions and obligations that are addressed to agents playing a specific role. Agents may play different roles during their execution and they may even play different roles simultaneously. As a consequence, agents may be affected by inconsistent norms; e.g., an agent may be simultaneously obliged and forbidden to reach a given state of affairs. Dealing with this type of inconsistency is one of the main challenges of normative reasoning. Existing approaches tackle this problem by using a static and predefined order that determines which norm should prevail in the case where two norms are inconsistent. One main drawback of these proposals is that they allow only pairwise comparison of norms; it is not clear how agents may use the predefined order to select a subset of norms to abide by from a set of norms containing multiple inconsistencies. Furthermore, in dynamic and non-deterministic environments it can be difficult or even impossible to specify an order that resolves inconsistencies satisfactorily in all potential situations. In response to these two problems, we propose a mechanism with which an agent can dynamically compute a preference order over subsets of its competing norms by considering the coherence of its cognitive and normative elements. Our approach allows flexible resolution of normative inconsistencies, tailored to the current circumstances of the agent. Moreover, our solution can be used to determine norm prevalence among a set of norms containing multiple inconsistencies.
Item Type: | Article |
---|---|
Additional Information: | The final publication is available at Springer via http://dx.doi.org/10.1007/s10458-015-9300-x |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Divisions: | Computer Science & Mathematics |
Publisher: | Springer Verlag |
Date Deposited: | 04 Jun 2015 09:57 |
Last Modified: | 04 Sep 2021 14:19 |
URI: | https://researchonline.ljmu.ac.uk/id/eprint/1356 |
View Item |