[논문 리뷰] The Transferable Belief Model and Other Interpretations of Dempster-Shafer's Model

Philippe Smets|arXiv (Cornell University)|2013. 03. 27.

Bayesian Modeling and Causal Inference참고 문헌 8인용 수 61

한 줄 요약

이 논문은 셰이퍼의 데프스터-셰이퍼 이론에 대한 정제된 해석으로서 이동 가능한 믿음 모델(TBM)을 제시한다. 이는 확률 및 기타 믿음 모델과는 구별되며, 믿음의 동적 갱신을 질량 함수를 통해 다루며, 정적 믿음 상태와 동적 갱신 메커니즘을 동시에 고려할 때에야 믿음 함수의 진정한 독창성이 이해될 수 있다고 주장한다. 이는 단지 정적 비교에 기반해 TBM이 다른 이론으로 축소된다는 주장에 반박한다.

ABSTRACT

Dempster-Shafer's model aims at quantifying degrees of belief But there are so many interpretations of Dempster-Shafer's theory in the literature that it seems useful to present the various contenders in order to clarify their respective positions. We shall successively consider the classical probability model, the upper and lower probabilities model, Dempster's model, the transferable belief model, the evidentiary value model, the provability or necessity model. None of these models has received the qualification of Dempster-Shafer. In fact the transferable belief model is our interpretation not of Dempster's work but of Shafer's work as presented in his book (Shafer 1976, Smets 1988). It is a ?purified' form of Dempster-Shafer's model in which any connection with probability concept has been deleted. Any model for belief has at least two components: one static that describes our state of belief, the other dynamic that explains how to update our belief given new pieces of information. We insist on the fact that both components must be considered in order to study these models. Too many authors restrict themselves to the static component and conclude that Dempster-Shafer theory is the same as some other theory. But once the dynamic component is considered, these conclusions break down. Any comparison based only on the static component is too restricted. The dynamic component must also be considered as the originality of the models based on belief functions lies in its dynamic component.

연구 동기 및 목표

• 데프스터-셰이퍼 이론에 대한 다양한 해석에 관한 문헌에서의 혼동을 명확히 하기 위해.
• 셰이퍼의 작업에 대한 비확률적 해석으로서 이동 가능한 믿음 모델을 제시하기 위해.
• 믿음 갱신의 동적 요소가 본질적임을 주장하고, 다른 이론들과의 비교에서 자주 간과당하는 이유를 밝히기 위해.
• 정적 및 동적 요소를 모두 고려할 경우 믿음 함수 기반 모델이 확률적 또는 상하한 확률 모델과 근본적으로 다름을 보여주기 위해.
• 불확실한 환경에서 믿음을 표현하고 갱신하는 데 있어 TBM을 일관된 프레임워크로 정립하기 위해.

제안 방법

• 논문은 데프스터-셰이퍼 이론의 여러 해석, 즉 고전적 확률, 상하한 확률, 데프스터 자신의 모델 등과의 체계적 비교를 수행한다.
• 확률 개념에 의존하지 않는 믿음 함수의 비확률적 해석으로서 이동 가능한 믿음 모델을 도입한다.
• 모델은 정적 구성요소(현재 믿음의 표현)와 동적 구성요소(새로운 증거 하에서 갱신 메커니즘)를 구분한다.
• 질량 함수를 사용하여 믿음의 기여를 표현하며, 핵심적인 성질은 믿음을 갱신 과정에서 한 명제에서 다른 명제로 이동시킬 수 있다는 점이다.
• 동적 갱신 과정은 데프스터의 조합 규칙을 사용하여 형식화되지만, 베이지안 갱신이 아니라 TBM의 프레임워크 내에서 해석된다.
• 정적 믿음 구조에만 기반한 비교는 부적절하고 오해의 소지가 있음을 강조한다.

실험 결과

연구 질문

• RQ1 이동 가능한 믿음 모델은 데프스터-셰이퍼 이론의 다른 해석과 어떻게 다릅니까?
• RQ2 왜 믿음 갱신의 동적 요소가 믿음 함수 이론의 독창성을 이해하는 데 필수적인가요?
• RQ3 이동 가능한 믿음 모델은 확률과 독립적인 데프스터-셰이퍼 이론의 정제된 형태로 간주될 수 있나요?
• RQ4 정적 표현 방식만을 고려할 경우 믿음 함수의 한계는 무엇입니까?
• RQ5 TBM의 믿음 이행 접근 방식은 불확실성 하에서의 추론을 어떻게 향상시키나요?

주요 결과

• 이동 가능한 믿음 모델은 믿음 이론에 대한 비확률적 해석으로서, 확률과의 어떤 연관성도 명시적으로 제거한다.
• 믿음 함수 이론을 다른 불확실성 모델과 구별짓는 핵심은 믿음 갱신의 동적 요소이며, 이를 忽시하면 다른 이론과 동등하다는 잘못된 결론에 이를 수 있다.
• 정적 믿음 상태에만 초점을 맞춘 믿음 함수 모델과 다른 모델(예: 상하한 확률) 간의 비교는 근본적으로 오류가 있으며 오해의 소지가 있다.
• TBM은 믿음을 명제 간에 이동시킬 수 있도록 하여, 더 유연하고 현실적인 불확실성 하의 추론을 가능하게 하는 일관된 프레임워크를 제공한다.
• 데프스터-셰이퍼 이론의 어떤 해석도(예: TBM 포함) '데프스터-셰이퍼'로 불려서는 안 되며, TBM은 데프스터의 이론이 아니라 셰이퍼의 작업에 대한 해석임을 논문이 확립한다.
• TBM의 형식적 접근은 믿음 표현과 믿음 갱신을 명확히 분리함으로써 이해 가능성과 일관성을 향상시킨다.