用论证框架解释软约束规范中的优先级覆盖现象。
An Argumentative Approach for Explaining Preemption in Soft-Constraint Based Norms
- 引入推导状态论证框架，基于情境知识演化解释优先级覆盖。
- 在局部最优条件下，可形式化证明某结果为何被强制或禁止。
- 适合研究法律推理、合规系统及可解释性规范的学者使用。
尽管软约束规范的多个方面已被研究，但理解优先级覆盖仍具挑战性。优先级覆盖指当新信息出现时，高级别规范会覆盖低级别规范。为此，我们提出推导状态论证框架（DSA-framework），通过引入推导状态来解释优先级覆盖如何随情境知识演变而产生。基于该框架，我们提出一种论证方法以解释优先级覆盖。我们形式化证明：在局部最优条件下，DSA-framework能够解释由逻辑约束层次表示的软约束规范为何使某一后果成为强制或禁止。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。