[논문 리뷰] An introduction to DSmT

Jean Dezert, Florentín Smarandache|ArXiv.org|2009. 03. 02.

Rough Sets and Fuzzy Logic참고 문헌 32인용 수 4

한 줄 요약

이 논문은 덴스터-샤퍼 이론(DST)의 제약 조건을 완화함으로써 불확실하고 모호하며 상충되는 증거를 융합하기 위한 수학적 프레임워크인 데자르-스마란다슈이이론(DSmT)을 소개한다. 자유 DSm 모델과 무결성 제약 조건이 적용된 하이브리드 DSm 모델을 제안하여 초집합(super-power set) 위에서 DSmC 규칙을 통해 효율적인 증거 융합을 가능하게 하여 DST가 역설적 또는 흐린 정보를 처리하는 데에 한계를 가진다는 점을 극복한다.

ABSTRACT

The management and combination of uncertain, imprecise, fuzzy and even paradoxical or high conflicting sources of information has always been, and still remains today, of primal importance for the development of reliable modern information systems involving artificial reasoning. In this introduction, we present a survey of our recent theory of plausible and paradoxical reasoning, known as Dezert-Smarandache Theory (DSmT), developed for dealing with imprecise, uncertain and conflicting sources of information. We focus our presentation on the foundations of DSmT and on its most important rules of combination, rather than on browsing specific applications of DSmT available in literature. Several simple examples are given throughout this presentation to show the efficiency and the generality of this new approach.

연구 동기 및 목표

• 불확실하고 겹치는, 또는 상충되는 증거를 다루는 데에 한계가 있는 덴스터-샤퍼 이론(DST)의 문제점을 해결하기 위해.
• 모호하거나 연속적인 개념을 포함하는 현실 세계의 융합 문제에 적용 가능한 일반적인 추론 및 역설적 추론 프레임워크를 개발하기 위해.
• 샤퍼의 모델과 제3의 배제 원칙을 완화하는 자유 DSm 모델과 하이브리드 DSm 모델을 도입하기 위해.
• 동적이고 불확실한 환경에서 증거를 융합하기 위한 강력한 수학적 기반을 제공하기 위해.
• 기초 규칙과 구체적인 예시를 통해 DSmT의 일반성과 효율성을 입증하기 위해.

제안 방법

• 프레임 $\Theta$가 상호 배타적인 제약 없이 완전하지만 상호 겹치는 원소를 가진 자유 DSm 모델 $\mathcal{M}^f(\Theta)$를 제안한다.
• 기존의 멱집합을 초월하여 보완 및 교차를 포함하는 초집합 $S^\Theta$를 도입하며, 이는 딜라인드 랏트(lattice)를 형성한다.
• 원소들이 상호 배타적인 조각들로 분해되는 최소 세분화 $\Theta^{ref}$를 정의하여 $S^\Theta$의 원소들을 $2^{\Theta^{ref}}$로 매핑함으로써 초집합의 수학적 구성이 가능하도록 한다.
• 자유 DSm 모델에서 고전적인 DSm 융합 규칙(DSmC)을 적용하여 독립된 소스들 간의 교환법칙 및 결합법칙을 만족하는 융합을 수행한다.
• 특정 원소의 배타성 또는 존재하지 않음을 알고 있을 경우, 자유 모델을 하이브리드 DSm 모델 $\mathcal{M}(\Theta)$로 변형하기 위해 무결성 제약 조건을 도입한다.
• 물리적 의미가 명확하지 않은 원소들에 대해서도 초집합 $S^\Theta$를 믿음 할당과 융합의 수학적 기초로 사용한다.

실험 결과

연구 질문

• RQ1 가설이 모호하거나 겹치거나 본질적으로 모호할 경우, 증거 융합은 어떻게 향상시킬 수 있는가?
• RQ2 Dempster-Shafer 이론이 고도로 충돌하거나 역설적인 증거를 다룰 때의 한계는 무엇인가?
• RQ3 상호 배타적이고 완전한 가설이 필요하지 않은 믿음 이론의 일반화를 개발할 수 있는가?
• RQ4 세 번째 배제 원칙을 완화하면서도 증거 융합의 수학적 엄밀성을 유지할 수 있는가?
• RQ5 최소 세분화와 초집합이 상충되는 증거의 효율적 융합을 가능하게 하는 역할은 무엇인가?

주요 결과

• DSmT는 샤퍼의 모델과 제3의 배제 원칙을 기각함으로써, 모호하고 겹치는 가설의 융합이 가능하게 하여 DST의 한계를 극복한다.
• 자유 DSm 모델은 정밀한 세분화가 불가능한 '키의 크기'나 '고온성'과 같은 흐린 또는 연속적인 개념을 더 현실적으로 표현할 수 있다.
• 초집합 $S^\Theta$는 보완과 교차를 포함하며, 최소 세분화를 통해 $2^{\Theta^{ref}}$와 동형임을 보장하는 딜라인드 랏트로 구성된다.
• DSmC 규칙는 자유 DSm 모델에서 증거 융합을 교환법칙과 결합법칙을 만족하도록 보장하며, 일관성과 일반성을 유지한다.
• 무결성 제약 조건이 적용될 경우, 하이브리드 DSm 모델 $\mathcal{M}(\Theta)$는 실제 세계의 제약 조건에 적응하며, 샤퍼의 모델도 특수한 경우로 포함한다.
• 이 프레임워크는 시간이 지남에 따라 프레임 $\Theta$가 변화하는 동적 융합 문제를 다룰 수 있으며, 폐쇄 원칙을 통해 일관성을 유지한다.