[论文解读] Monotonic and Nonmonotonic Preference Revision

Jan Chomicki, Joyce Song|ArXiv.org|Mar 31, 2005

Data Management and Algorithms参考文献 15被引用 5

一句话总结

本文提出了一种关系数据库中单调与非单调偏好修订的正式框架，使用二元关系表示偏好，并确保严格偏序关系（SPOs）等顺序公理的保持。该框架引入了最小变化修订算子，保证结果唯一且保持顺序，从而实现偏好查询的迭代精炼，同时不丢失一致性或无需重新处理未更改的数据。

ABSTRACT

We study here preference revision, considering both the monotonic case where the original preferences are preserved and the nonmonotonic case where the new preferences may override the original ones. We use a relational framework in which preferences are represented using binary relations (not necessarily finite). We identify several classes of revisions that preserve order axioms, for example the axioms of strict partial or weak orders. We consider applications of our results to preference querying in relational databases.

研究动机与目标

• 为用户偏好随时间演变的关系数据库中的偏好修订进行形式化。
• 区分单调修订（保留原始偏好）与非单调修订（允许覆盖冲突偏好）。
• 确保修订后的偏好关系保持基本顺序公理，如严格偏序关系（SPOs）的反自反性与传递性。
• 提供一种唯一、最小变化的修订过程，支持用户驱动的偏好查询精炼。
• 通过迭代修订实现偏好查询的增量式评估，降低计算开销。

提出的方法

• 将偏好表示为关系模式中元组上的二元关系，使用逻辑公式定义偏好条件。
• 将单调修订定义为原始与新偏好关系的并集，通过最小对称差保证闭包。
• 引入覆盖修订作为非单调操作，当发生冲突时可撤回原始偏好，使用对称差以最小化变化。
• 通过构造满足这些约束的最小修订，确保SPO公理（反自反性、不对称性、传递性）的保持。
• 使用剪裁算子（winnow operator）从关系实例中提取优选元组，并证明随着偏好强度增加，查询结果单调递减。
• 通过迭代修订提出偏好查询的增量式评估，每次精炼仅作用于当前结果集，而非整个实例。

实验结果

研究问题

• RQ1 如何以保持基本顺序公理（如严格偏序关系）的方式修订偏好关系？
• RQ2 偏好修订的最小变化原则是什么，如何通过偏好元组之间的对称差进行形式化？
• RQ3 在关系数据库环境中，如何区分并表征单调与非单调偏好修订？
• RQ4 迭代偏好修订是否会产生一个严格递减的查询结果序列，若是，如何高效计算？
• RQ5 CP-网络等形式化方法在所提出的关联偏好修订框架中可在多大程度上被嵌入？

主要发现

• 通过偏好关系的并集实现的单调修订，当原始与新关系均为SPO且其并集具有传递性时，可保持SPO公理。
• 即使原始与新偏好发生冲突，非单调覆盖修订仍可产生唯一且最小的修订，同时保持SPO性质。
• 通过迭代精炼偏好获得的查询结果序列严格递减：$ r_0 rianglerighteq r_1 rianglerighteq \cdots \trianglerighteq r_n $，这是由于在偏好强度增加时剪裁算子的单调性所致。
• 增量式评估是可行的：$ r_i = \omega_{\succ_i}(r_{i-1}) $，因此每次修订后无需对原始关系重新处理全部数据。
• 该框架支持将CP-网形式化为关联偏好关系，通过传递闭包捕捉语义，实现与数据库查询处理的集成。
• 所提出的修订算子确保结果唯一且变化最小，避免了在多个修订候选中进行额外聚合或选择的需要。