Normative conflict resolution in multi-agent systems
Normative conflict resolution in multi-agent systems
复制标题
DOI：
10.1007/s10458-008-9070-9
复制
发表时间：
2009-10
影响因子：
1.9
通讯作者：
W. Vasconcelos;Martin J. Kollingbaum;T. Norman
中科院分区：
文献类型：
--
作者：
W. Vasconcelos;Martin J. Kollingbaum;T. Norman
规范（许可、义务和禁止）提供了有用且强大的抽象，可以用来捕获多智能体系统中的社会约束。规范应排除破坏性或反社会行为，而不规定个体代理人的设计或限制他们的自主权。然而，在设计和管理受规范管辖的系统时，一个重要的挑战是规范有时可能会相互冲突；例如，对于特定代理人来说，一项行动可能同时被禁止和有义务。在这种情况下，代理人不再有遵守这些规范的选择；无论他们做什么或不做什么，都会导致社会约束被打破。在本文中，我们提出了规范冲突的检测和解决机制。这些基于一阶统一和约束求解技术的机制是我们提出的更复杂算法的构建块，用于管理规范位置，即在代理社会中采用和删除许可、义务和禁止。我们捕获规范之间的直接和间接冲突，形式化实用的权威概念，并对授权可能产生的冲突进行建模。我们能够正式定义解决冲突的经典方法，例如上法和后法。
Norms (permissions, obligations and prohibitions) offer a useful and powerful abstraction with which to capture social constraints in multi-agent systems. Norms should exclude disruptive or antisocial behaviour without prescribing the design of individual agents or restricting their autonomy. An important challenge, however, in the design and management of systems governed by norms is that norms may, at times, conflict with one another; e.g, an action may be simultaneously prohibited and obliged for a particular agent. In such circumstances, agents no longer have the option of complying with these norms; whatever they do or refrain from doing will lead to a social constraint being broken. In this paper, we present mechanisms for thedetectionandresolutionof normative conflicts. These mechanisms, based on first-order unification and constraint solving techniques, are the building blocks of more sophisticated algorithms we present for the management of normative positions, that is, the adoption and removal of permissions, obligations and prohibitions in societies of agents. We capture both direct and indirect conflicts between norms, formalise a practical concept of authority, and model conflicts that may arise as a result of delegation. We are able to formally define classic ways for resolving conflicts such aslex superiorandlex posterior.