用规范逻辑提升法律决策解释能力，确保设计判断合法且一致。
Explaining Non-monotonic Normative Reasoning using Argumentation Theory with Deontic Logic
- 结合规范逻辑与论证理论，构建可解释的法律推理框架
- 证明系统满足理性准则，能生成连贯合法的解释
- 适用于自动驾驶等高合规性设计场景
在前期研究中，我们基于论证理论构建了名为LeSAC的推理系统，为设计过程提供法律支持。本文在此基础上，探索如何为设计师提供有效的法律相关设计决策解释。通过引入规范和关键法律或伦理原则，我们扩展了原系统以支持解释生成。考虑到一阶逻辑具有强表达能力，本文采用包含规范算子和偏好关系的一阶规范逻辑系统。通过建模自动驾驶领域的两个案例，说明引入规范逻辑及在LeSAC中设计解释的必要性与优势。此外，本文还讨论了更新后LeSAC需满足的理性要求，并证明：一个定义良好的LeSAC能够满足基于规则的论证框架的理性公理，从而保障系统为复杂设计决策提供连贯、合法的解释能力。
原文摘要 · Abstract (English)
In our previous research, we provided a reasoning system (called LeSAC) based on argumentation theory to provide legal support to designers during the design process. Building on this, this paper explores how to provide designers with effective explanations for their legally relevant design decisions. We extend the previous system for providing explanations by specifying norms and the key legal or ethical principles for justifying actions in normative contexts. Considering that first-order logic has strong expressive power, in the current paper we adopt a first-order deontic logic system with deontic operators and preferences. We illustrate the advantages and necessity of introducing deontic logic and designing explanations under LeSAC by modelling two cases in the context of autonomous driving. In particular, this paper also discusses the requirements of the updated LeSAC to guarantee rationality, and proves that a well-defined LeSAC can satisfy the rationality postulate for rule-based argumentation frameworks. This ensures the system's ability to provide coherent, legally valid explanations for complex design decisions.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。