On Some Equivalence Relations between Incidence Calculus and Dempster-Shafer Theory of Evidence

TL;DR

This paper establishes a clear equivalence between certain cases of Incidence Calculus and Dempster-Shafer Theory, enhancing understanding of their relationship in modeling uncertainty.

Contribution

It provides a straightforward proof of equivalence between specific instances of Incidence Calculus and Dempster-Shafer Theory, clarifying their connection.

Findings

Identifies conditions under which the two theories are equivalent

Provides a formal proof of equivalence for special cases

Enhances theoretical understanding of uncertainty modeling

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.