[论文解读] A Revision-Based Approach to Resolving Conflicting Information

Guilin Qi, Weiru Liu+1 more|arXiv (Cornell University)|Jul 4, 2012

Logic, Reasoning, and Knowledge参考文献 16被引用 8

一句话总结

本文提出一种基于修订的冲突信息解决方法，通过引入两类修订算子——基于模型的（如Dalal算子）和基于公式的（如基数最大算子）——对不相容最大调整（DMA）方法进行泛化。该方法实现了最小变化与计算效率的平衡，其中基于公式的版本与DMA等价但复杂度更低。

ABSTRACT

In this paper, we propose a revision-based approach for conflict resolution by generalizing the Disjunctive Maxi-Adjustment (DMA) approach (Benferhat et al. 2004). Revision operators can be classified into two different families: the model-based ones and the formula-based ones. So the revision-based approach has two different versions according to which family of revision operators is chosen. Two particular revision operators are considered, one is the Dalal's revision operator, which is a model-based revision operator, and the other is the cardinality-maximal based revision operator, which is a formulabased revision operator. When the Dalal's revision operator is chosen, the revision-based approach is independent of the syntactic form in each stratum and it captures some notion of minimal change. When the cardinalitymaximal based revision operator is chosen, the revision-based approach is equivalent to the DMA approach. We also show that both approaches are computationally easier than the DMA approach.

研究动机与目标

• 解决知识库或信念系统中冲突信息的处理挑战。
• 通过修订理论泛化不相容最大调整（DMA）方法。
• 开发一种计算效率更高的DMA替代方法，同时保持关键理性属性。
• 探讨不同修订算子族（基于模型 vs. 基于公式）对冲突解决结果的影响。
• 在冲突解决过程中确保信念集的最小变化，符合理性修订原则。

提出的方法

• 通过形式化修订算子将冲突解决建模为信念修订，泛化DMA方法。
• 采用基于模型的修订算子（如Dalal算子）以确保对语法形式的独立性，并支持最小变化。
• 应用基于公式的修订算子（如基数最大算子）以实现与DMA方法的等价性。
• 采用分层信念结构，先在每个层级内解决冲突，再强制全局一致性。
• 利用修订逻辑系统性地最小化对现有信念的修改，同时解决不一致性。
• 分析计算复杂度，表明两种基于修订的变体均比原始DMA方法更高效。

实验结果

研究问题

• RQ1 如何利用修订理论形式化信念系统中的冲突解决？
• RQ2 在冲突解决中，基于模型与基于公式的修订算子在行为与属性上存在哪些差异？
• RQ3 基于修订的方法能否在计算效率上优于DMA的同时实现最小变化？
• RQ4 在何种条件下，基于修订的方法与DMA方法等价？
• RQ5 信念的语法形式在不同修订框架下如何影响冲突解决的结果？

主要发现

• 基于模型的修订方法（如Dalal算子）独立于各层级中信念的语法形式，确保结果稳定。
• 基于公式的修订方法在结果上与原始DMA方法等价，保持其理性属性。
• 两种基于修订的方法在计算成本上均低于DMA方法，提升了可扩展性。
• 采用Dalal修订算子可实现最小变化的概念，与理性信念修订原则一致。
• 该修订框架为不同信念表示格式提供了统一且可泛化的冲突解决方法。
• 通过形式化分析与复杂度比较，证明该方法在保持一致性的同时最小化对现有信念的干扰。