arXiv:2509.25781cs.AIcs.LO2025-09
提出支持弱许可的道义论证新语义,解决义务冲突时的逻辑矛盾
Deontic Argumentation
- 基于道义论证理论重构语义,引入弱许可机制
- 在义务冲突场景下,新语义可正确处理弱许可情形
- 适合研究法律推理与伦理计算的学者参考
我们针对道义论证的语义定义问题展开研究,旨在支持弱许可。近期研究表明,当存在两个义务冲突时,传统接地语义无法支持弱许可。本文提出一种新的道义论证理论,明确定义了支持弱许可的语义框架,并重申了原有接地语义的局限性。新提出的语义能够有效处理义务冲突中的弱许可情况,为道义推理提供了更合理的逻辑基础。
原文摘要 · Abstract (English)
We address the issue of defining a semantics for deontic argumentation that supports weak permission. Some recent results show that grounded semantics do not support weak permission when there is a conflict between two obligations. We provide a definition of Deontic Argumentation Theory that accounts for weak permission, and we recall the result about grounded semantics. Then, we propose a new semantics that supports weak permission.
道义逻辑论证理论弱许可
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。