[논문 리뷰] On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence

F. Correa da Silva, Alan Bundy|arXiv (Cornell University)|2013. 03. 27.

Logic, Reasoning, and Knowledge참고 문헌 3인용 수 5

한 줄 요약

이 논문은 특정 사례에서 Incidence Calculus와 Dempster-Shafer 이론 간의 형식적 동치성을 확립하며, 정의된 조건 하에서 두 프레임워크가 동일한 결과를 산출함을 보여준다. Incidence 집합을 질량 함수로 매핑하고, Dempster의 규칙을 통해 일관된 조합을 보여줌으로써 저자들은 이러한 경우에 두 체계에서의 불확실성 표현 및 추론이 구조적으로 동치임을 증명한다.

ABSTRACT

Incidence Calculus and Dempster-Shafer Theory of Evidence are both theories to describe agents' degrees of belief in propositions, thus being appropriate to represent uncertainty in reasoning systems. This paper presents a straightforward equivalence proof between some special cases of these theories.

연구 동기 및 목표

• Incidence Calculus와 Dempster-Shafer 이론의 증거 이론 간의 신뢰도 표현 간의 관계를 조사하기 위해.
• 특정 사례에서 Incidence Calculus가 형식적으로 Dempster-Shafer 이론에 매핑될 수 있는지 판단하기 위해.
• 불확실성 추론에서 두 이론이 동일한 결과를 산출하는 조건을 설정하기 위해.
• 두 프레임워크 간의 동치성을 특정 사례에서 엄밀히 증명하기 위해.
• 비가산적 불확실성 표현의 두 주요 접근 방식 간의 이론적 연결 고리를 명확히 하기 위해.

제안 방법

• Incidence Calculus의 Incidence 집합을 Dempster-Shafer 이론의 기본 확률 할당(질량 함수)으로 매핑하기 위해.
• 집합 이론적 연산을 사용하여 Incidence 구조에서 신뢰 구조로의 변환 정의하기 위해.
• Incidence 집합에서 유도된 질량 함수에 대해 Dempster의 조합 규칙 적용하기 위해.
• 조합 결과가 Incidence Calculus의 후행 신뢰도와 정확히 일치하는지 검증하기 위해.
• 형식적 논리와 집합 이론을 사용하여 두 체계가 특정 제약 조건 하에서 이somorphism임을 증명하기 위해.
• 특히 일관성과 집합의 비어있지 않음 조건을 고려하여 동치성이 성립하는 조건 분석하기 위해.

실험 결과

연구 질문

• RQ1 Incidence Calculus와 Dempster-Shafer 이론이 동일한 신뢰도를 산출하는 조건은 무엇인가?
• RQ2 Incidence 집합을 Dempster-Shafer 이론의 질량 함수로 체계적으로 매핑할 수 있는가?
• RQ3 Incidence Calculus에서의 신뢰 조합이 Dempster의 조합 규칙과 동치인가?
• RQ4 두 이론이 형식적으로 동치가 되기 위해 충족시켜야 할 구조적 성질는 무엇인가?
• RQ5 두 이론의 논리적 및 집합 이론적 기초는 불확실성 표현에서 어떻게 일치하는가?

주요 결과

• 특정 Incidence 구조와 Dempster-Shafer 이론의 질량 함수 사이에 형식적 이somorphism이 존재한다.
• DS 프레임워크에서 Dempster의 규칙을 통해 질량 함수를 조합하면 Incidence Calculus 연산의 결과와 정확히 일치한다.
• Incidence 집합이 비어있고, 식별의 프레임워크와 일관성이 있을 때 동치성이 성립한다.
• Incidence 집합에서 질량 함수로의 변환은 논리적 일관성과 불확실성 전파를 유지한다.
• 증명은 두 이론이 정의된 특수 사례에서 구조적으로 동치임을 보여준다.
• 결과는 특정 맥락에서 두 프레임워크를 상호 교환 가능하게 사용할 수 있음을 검증한다.