本文在基于偏好的义务逻辑语义基础上，引入了一个新颖的两层语义框架来模拟可撤销条件义务。它整合了非单调推理机制，允许在出现新信息时撤销义务。该框架利用了两种不同的排序：理想性和常态性，以解决先前方法的局限性，并建立了与约束输入/输出（I/O）逻辑的联系。 AI
影响 引入了一个新的形式化推理义务的框架，可能影响需要规范推理能力的AI系统。
排序理由 这是一篇发表在arXiv上的研究论文，详细介绍了一个新的可撤销条件义务语义框架。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2604.26977v1 Announce Type: cross Abstract: 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 dyad…