[論文レビュー] 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

ひとこと要約

本稿では、モデルベース（例：ダラルのもの）および論理式ベース（例：基数最大化）の2つの修正作用素の族を用いて、排他的最大調整（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の代替手段として計算的に効率的な手法を開発し、重要な合理性の性質を保持すること。
• モデルベースと論理式ベースの異なる修正作用素の族が、矛盾解決の結果に与える影響を調査すること。
• 矛盾解決の過程で信念集合に加わる変更を最小限に抑えること。これは合理的な修正原理と整合する。

提案手法

• 矛盾解決を形式的修正作用素を用いた信念修正としてモデル化することで、DMA法を一般化する。
• モデルベースの修正作用素（例：ダラルのもの）を用いることで、文法的形態に依存せず、最小変更を実現する。
• 論理式ベースの修正作用素（例：基数最大化）を適用することで、元のDMA法と同等の結果を得る。
• 各段階（ストラトゥム）内で矛盾を解決し、その後にグローバルな整合性を強制する、階層的信念構造を用いる。
• 修正論理を活用して、既存の信念への変更を体系的に最小限に抑えつつ、不整合を解消する。
• 計算複雑度を分析し、両方の修正ベースのバージョンが元のDMA法よりも効率的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 修正理論を用いて、信念系における矛盾解決をどのように形式化できるか。
• RQ2 モデルベースと論理式ベースの修正作用素の間で、行動や性質にどのような違いがあるか。
• RQ3 修正ベースのアプローチは、DMAより計算的に効率的でありながら、最小変更を達成できるか。
• RQ4 修正ベースのアプローチが、どのような条件下でDMA法と同等になるか。
• RQ5 信念の文法的形態が、異なる修正フレームワークにおける矛盾解決の結果にどのように影響を与えるか。

主な発見

• モデルベースの修正アプローチ（例：ダラルの作用素）は、各ストラトゥムにおける信念の文法的形態に依存しないため、安定した結果をもたらす。
• 論理式ベースの修正アプローチは、結果の面で元のDMA法と同等であり、その合理性の性質を保持する。
• 両方の修正ベースのアプローチは、DMA法よりも計算的に安価であり、スケーラビリティが向上する。
• ダラルの修正作用素の使用により、最小変更の概念が保証され、合理的な信念修正原理と整合する。
• 修正ベースのフレームワークは、異なる信念表現形式にわたる矛盾解決のための統一的かつ一般化可能な手法を提供する。
• 形式的分析と複雑度比較を通じて、既存の信念への干渉を最小限に抑えつつ、整合性を維持できることを示している。