一种解释基于软约束规范中优先权的论证方法
An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms
AI总结：
针对软约束规范中优先权难以理解的问题，提出DSA-framework，利用推导状态和论证方法解释其产生，并形式化证明其可说明后果的义务性或禁止性。
摘要：
尽管基于软约束的规范的各个方面已得到探索，但理解优先权仍具挑战性。优先权是指当新信息出现时，高层级规范覆盖低层级规范的情形。为解决此问题，我们提出推导状态论证框架（DSA-framework）。该框架引入推导状态，以解释优先权如何依据不断演化的情境知识产生。基于DSA-framework，我们提出一种用于解释优先权的论证方法。我们形式化证明，在局部最优性下，DSA-framework能够解释：对于表示为逻辑约束层级的基于软约束规范，为何某一后果是义务性的或被禁止的。
英文摘要：
Although various aspects of soft-constraint based norms have been explored, it is still challenging to understand preemption. Preemption is a situation where higher-level norms override lower-level norms when new information emerges. To address this, we propose a derivation state argumentation framework (DSA-framework). DSA-framework incorporates derivation states to explain how preemption arises based on evolving situational knowledge. Based on DSA-framework, we present an argumentative approach for explaining preemption. We formally prove that, under local optimality, DSA-framework can provide explanations why one consequence is obligatory or forbidden by soft-constraint based norms represented as logical constraint hierarchies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
