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

03/27/2013
by   F. Correa da Silva, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

research
04/13/2018

Morita equivalences between algebraic dependent type theories

We define a notion of equivalence between algebraic dependent type theor...
research
02/27/2013

A Defect in Dempster-Shafer Theory

By analyzing the relationships among chance, weight of evidence and degr...
research
03/27/2013

An Uncertainty Management Calculus for Ordering Searches in Distributed Dynamic Databases

MINDS is a distributed system of cooperating query engines that customiz...
research
03/20/2013

Some Properties of Plausible Reasoning

This paper presents a plausible reasoning system to illustrate some broa...
research
07/08/2021

Degrees of riskiness, falsifiability, and truthlikeness. A neo-Popperian account applicable to probabilistic theories

In this paper, we take a fresh look at three Popperian concepts: riskine...
research
03/27/2013

Metaprobability and Dempster-Shafer in Evidential Reasoning

Evidential reasoning in expert systems has often used ad-hoc uncertainty...
research
12/05/2021

Some remarks on semantics and expressiveness of the Sentential Calculus with Identity

Suszko's Sentential Calculus with Identity SCI results from classical pr...

Please sign up or login with your details

Forgot password? Click here to reset