[논문 리뷰] A Revision-Based Approach to Resolving Conflicting Information

Guilin Qi, Weiru Liu외 1명|arXiv (Cornell University)|2012. 07. 04.

Logic, Reasoning, and Knowledge참고 문헌 16인용 수 8

한 줄 요약

이 논문은 민감한 정보 간의 충돌을 해결하기 위해 일반화된 Disjunctive Maxi-Adjustment (DMA) 방법을 사용하는 수정 기반 접근법을 제안한다. 두 가지 수정 연산자 가족, 즉 모델 기반(예: Dalal의)과 공식 기반(예: 카디널리티 최대화)을 활용하여, 최소한의 변화와 계산 효율성을 달성한다. 공식 기반 버전은 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.

연구 동기 및 목표

• 지식 기반 또는 신념 체계에서 갈등을 해결하는 데 도전하는 것.
• 수정 이론을 사용하여 Disjunctive Maxi-Adjustment (DMA) 방법을 일반화하는 것.
• 핵심 합리성 성질을 유지하면서 기존 DMA보다 계산적으로 효율적인 대안을 개발하는 것.
• 다양한 수정 연산자 가족(모델 기반 대비 공식 기반)이 갈등 해결 결과에 미치는 영향을 탐색하는 것.
• 갈등 해결 과정에서 기존 신념 집합의 변화를 최소화하여 합리적 수정 원칙과 일치시키는 것.

제안 방법

• 형식적 수정 연산자를 사용하여 갈등 해결을 신념 수정으로 모델링함으로써 DMA 방법을 일반화한다.
• 신념의 문법적 형태에 영향을 받지 않으며 최소한의 변화를 보장하기 위해 모델 기반 수정 연산자(예: Dalal의)를 활용한다.
• DMA 방법과 동치성을 달성하기 위해 공식 기반 수정 연산자(예: 카디널리티 최대화)를 적용한다.
• 각 계층 내에서 갈등이 해결된 후에 전역 일관성이 확보되도록 계층화된 신념 구조를 사용한다.
• 기존 신념에 대한 변화를 체계적으로 최소화하면서 모순를 해결하기 위해 수정 논리를 활용한다.
• 계산 복잡도를 분석하고, 두 가지 수정 기반 변형 모두 원래 DMA 방법보다 더 효율적임을 보여준다.

실험 결과

연구 질문

• RQ1 수정 이론을 사용하여 신념 체계에서의 갈등 해결을 어떻게 형식화할 수 있는가?
• RQ2 갈등 해결에서 모델 기반 및 공식 기반 수정 연산자 간의 행동 및 성질에 차이가 있는가?
• RQ3 수정 기반 접근법이 DMA보다 계산적으로 더 효율적이면서도 최소한의 변화를 달성할 수 있는가?
• RQ4 수정 기반 접근법이 DMA 방법과 동치가 되는 조건은 무엇인가?
• RQ5 신념의 문법적 형태가 다양한 수정 프레임워크에서 갈등 해결 결과에 미치는 영향은 어떠한가?

주요 결과

• 모델 기반 수정 접근법(예: Dalal의 연산자)은 각 계층 내 신념의 문법적 형태에 영향을 받지 않아 안정적인 결과를 보장한다.
• 공식 기반 수정 접근법은 결과 측면에서 원래 DMA 방법과 동치이며, 그 합리성 성질을 유지한다.
• 두 수정 기반 접근법 모두 DMA 방법보다 계산적으로 비용이 더 낮아, 확장성 향상에 기여한다.
• Dalal의 수정 연산자를 사용하면 최소한의 변화 개념을 확보하여 합리적 신념 수정 원칙과 일치한다.
• 수정 기반 프레임워크는 다양한 신념 표현 형식 간의 갈등 해결을 위한 통합적이고 일반화 가능한 방법을 제공한다.
• 공식 분석과 복잡도 비교를 통해, 기존 신념에 대한 영향을 최소화하면서도 일관성을 유지함을 입증한다.