提出双层偏好语义框架,解决道德义务可撤销的逻辑难题。
Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

- 用理想与正常性双重排序构建义务推理模型
- 支持新信息出现时撤销旧义务,避免冲突
- 适配规范推理场景,适合法律与伦理计算研究者
针对Horty提出的问题,本文发展了一种双层、基于偏好的语义框架,用于建模可撤销的条件义务。通过引入非单调推理机制,使先前推导出的义务在新冲突信息出现时可被撤销。该框架为双偏好:对世界使用理想性与正常性两个排序,分别对应不同维度。在非单调层中考察了反事实强化、包含性及无淹没等公理。同时建立了与约束型输入输出(I/O)逻辑的联系,后者是基于不同方法的标准规范推理系统。
原文摘要 · Abstract (English)
In response to a concern raised by Horty, this paper develops a two-tiered, preference-based semantic framework for modeling defeasible conditional obligations. The paper extends a Hansson-Lewis style preference semantics for dyadic deontic logic by incorporating a nonmonotonic reasoning mechanism that enables previously derived obligations to be withdrawn when new, potentially conflicting information comes in. The account is bi-preferential: two orderings--ideality and normality--on worlds are employed to address shortcomings in earlier approaches, with a separate ranking method for each. At the nonmonotonic layer, a number of postulates are considered, including antecedent strengthening, inclusion and no-drowning. A connection is established with so-called constrained input/output (I/O) logic--an existing standard for normative reasoning based on a different methodology.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。