[论文解读] Revision of Defeasible Logic Preferences

Guido Governatori, Francesco Olivieri+2 more|arXiv (Cornell University)|Jun 25, 2012

Logic, Reasoning, and Knowledge参考文献 33被引用 7

一句话总结

本文提出了一套形式化框架，用于修订非单调逻辑理论中的优越性（偏好）关系，以改变推导出的结论，尤其适用于法律推理场景，其中用户只能调整规则优先级，而无法更改事实或规则。该文引入了三种修订算子，并分析其对AGM归纳公理的符合程度，发现仅部分满足，从而突显了经典信念修订理论在非单调设定下的局限性。

ABSTRACT

There are several contexts of non-monotonic reasoning where a priority between rules is established whose purpose is preventing conflicts. One formalism that has been widely employed for non-monotonic reasoning is the sceptical one known as Defeasible Logic. In Defeasible Logic the tool used for conflict resolution is a preference relation between rules, that establishes the priority among them. In this paper we investigate how to modify such a preference relation in a defeasible logic theory in order to change the conclusions of the theory itself. We argue that the approach we adopt is applicable to legal reasoning where users, in general, cannot change facts or rules, but can propose their preferences about the relative strength of the rules. We provide a comprehensive study of the possible combinatorial cases and we identify and analyse the cases where the revision process is successful. After this analysis, we identify three revision/update operators and study them against the AGM postulates for belief revision operators, to discover that only a part of these postulates are satisfied by the three operators.

研究动机与目标

• 研究在不改变事实或规则的前提下，通过修改缺陷逻辑中的优越性关系，如何改变推导出的结论。
• 在非单调推理中，将偏好修订建模为一种理性操作，尤其适用于规则强度可调的法律情境。
• 分析缺陷逻辑中偏好修订的成功条件及其组合情形。
• 根据信念修订的AGM公理评估所提出的修订算子，识别出哪些公理得到满足。

提出的方法

• 本文为修改缺陷逻辑理论中的优越性关系，定义了三种不同的修订/更新算子。
• 将修订过程形式化为优越性关系的转换，以实现期望的结论，同时保持一致性。
• 运用组合分析识别修订成功或失败的情形，尤其关注冲突和最小变化。
• 利用AGM公理评估算子，评估包含性、成功性和恢复性等理性标准。
• 引入约束以限制修订范围，例如保护最小缺陷规则并保留某些原始偏好。
• 通过实例说明不同偏好变化如何影响推导出的结论及扩展的大小。

实验结果

研究问题

• RQ1 在何种条件下，优越性关系的修订能够成功改变缺陷逻辑理论的结论？
• RQ2 在非单调推理背景下，所提出的修订算子在AGM公理中满足哪些公理？
• RQ3 在优越性关系修订的语境下，如何定义最小变化？何种标准是适当的？
• RQ4 将经典信念修订公理应用于缺陷逻辑等非单调逻辑时，存在哪些局限性？
• RQ5 在规则强度可调但事实和规则固定的法律推理中，偏好修订是否具有实际意义？

主要发现

• 所提出的三种修订算子并未完全满足AGM公理，表明经典信念修订原则在缺陷逻辑中仅部分适用。
• 修订的成功取决于规则与偏好之间组合配置；某些配置因存在冲突依赖关系而使修订不可能。
• 可通过改变的偏好数量或推导扩展中文字的基数来定义优越性关系的最小变化。
• 应避免修订被视为‘受保护’的偏好（如基于法律原则或明确立法声明的偏好），以维护基础完整性。
• 本文表明，尽管规则级修订可通过成功公理保证成功，但偏好级修订由于非单调推理中的结构约束而无法保证成功。
• 研究表明，AGM公理并不完全适用于非单调推理，可能需要为特定逻辑制定一套逻辑专用的理性公理。