摘要

本文由Taylor Olson、Roberto Salas-Damian和Kenneth D. Forbus共同撰写，探讨了在多智能体系统中如何自动检测和解决规范冲突的问题。文章提出了一种新的可废止规范继承演算（DDIC），通过结合规范多智能体系统（NMAS）和可废止逻辑的最新发展，证明了DDIC能够有效地解决规范冲突。文章还揭示了常见的解决策略实际上是基于规范继承的，而非真正的冲突解决。这一理论框架不仅在理论上具有重要意义，也为实际应用提供了有效的规范冲突解决机制。

原理

DDIC的核心在于通过可废止逻辑和规范继承来检测和解决规范冲突。文章首先定义了规范（norm）的概念，即智能体在特定情境下对行为的评价态度。规范冲突发生在两个规范共享应用场景但评价不一致时。DDIC通过引入可废止规则，允许在特定条件下推翻先前的规范，从而实现冲突的解决。具体来说，DDIC通过一系列的公理和规则，如OB-RM原则和可废止推理规则，来处理规范之间的直接、间接和交叉冲突。这些规则允许在新的规范出现时，对先前的规范进行修正或废止，确保规范系统的一致性和适应性。

流程

DDIC的工作流程包括以下几个步骤：

1. 规范输入：接收来自智能体的规范输入，这些规范可能包括义务、禁止和选择性规范。
2. 冲突检测：通过分析规范的行为和情境，检测是否存在直接、间接或交叉冲突。
3. 冲突解决：应用DDIC的公理和规则，特别是可废止推理规则，来解决检测到的冲突。例如，通过优先考虑最新的规范（Lex Posterior）或最具体的规范（Lex Specialis）来解决冲突。
4. 规范更新：根据冲突解决的结果，更新规范系统，确保系统的一致性和适应性。

例如，当一个智能体先声明“你必须在周一帮助烹饪”，然后又声明“你不能在早上帮助烹饪”时，DDIC会检测到这两个规范在周一早上存在直接冲突，并通过优先考虑后一个规范来解决冲突，从而得出在周一早上帮助烹饪是禁止的。

应用

DDIC的应用前景广泛，特别是在需要处理复杂规范系统的领域，如法律、伦理和多智能体系统。通过自动检测和解决规范冲突，DDIC可以提高系统的决策效率和一致性，减少人为错误和冲突。此外，DDIC的理论框架还可以扩展到更复杂的情境，如考虑智能体的可靠性、规范的模糊性等，进一步增强其在实际应用中的适应性和实用性。