一种用于解决规范冲突的可废止道义演算
A Defeasible Deontic Calculus for Resolving Norm Conflicts
AI总结：
本文提出一种带继承机制的可废止道义演算，形式化地检测并解决多智能体系统中随时间演化的规范冲突，并揭示一种常见解决策略的误导性。
摘要：
在决定如何行动时，我们必须考虑其他智能体的规范与价值观。然而，我们的规范是不断演化的。我们经常添加例外或改变主意，因此规范可能随时间发生冲突。因此，为了维持对他人规范的准确心智模型，从而避免社会摩擦，必须快速检测并解决此类冲突。对这一过程的形式化一直是各种道义逻辑和规范性多智能体系统研究的重点。本文旨在弥合这两个领域之间的鸿沟。我们贡献了一种带继承机制的可废止道义演算，并证明它能够解决规范冲突。通过这一分析，我们还揭示了一种常见的解决策略其实是一种误导。因此，本文为规范冲突的检测与解决提供了一个具有理论正当性的公理化方案。
英文摘要：
When deciding how to act, we must consider other agents' norms and values. However, our norms are ever-evolving. We often add exceptions or change our minds, and thus norms can conflict over time. Therefore, to maintain an accurate mental model of other's norms, and thus to avoid social friction, such conflicts must be detected and resolved quickly. Formalizing this process has been the focus of various deontic logics and normative multi-agent systems. We aim to bridge the gap between these two fields here. We contribute a defeasible deontic calculus with inheritance and prove that it resolves norm conflicts. Through this analysis, we also reveal a common resolution strategy as a red herring. This paper thus contributes a theoretically justified axiomatization of norm conflict detection and resolution.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
