dempster-shafer theory

Dempster-Shafer Theory

SIU CS 5374/12/11 and 4/14/11

Chet Langin

Dempster, A. P. (1967). "Upper and Lower Probabilities Induced by a Multivalued Mapping.“The Annals of Mathematical Statistics 38(2): 325-339.

Shafer, G. (1976). A Mathematical Theory of Evidence,Princeton University Press.

What is Dempster-Shafer?

Dempster-Shafer (D-S or DS)

Mathematical theory of evidence.Data fusion. Degree of belief.Generalization of Bayes theory.Sets. Mass, not probability.“Bel Function” – Belief function

The D-S Environment

(Theta): • The elements are all mutually exclusive.• All of the possible elements in the universe are

in the set and so the set is exhaustive.• Each subset of can be interpreted as a possible

answer to a question.• Since the elements are mutually exclusive and

the environment is exhaustive, there can be only one correct answer to a question.

D-S Environment, Cont.

(Theta): • All the possible subset of Fig. 5.6, Page 281

(Airliner, Bomber, Fighter).• An environment is called a Frame of

Discernment where its elements may be interpreted as possible answers, and only one answer is correct.

D-S Environment, Cont.

(Theta): • A set of size N has exactly subsets, including

itself, and these subsets define the Power Set ():

• The Power Set of the environment has as its

elements all answers to the possible questions of the Frame of Discernment.

D-S vs. Probability

• In D-S Theory, the Degree of Belief in evidence is analogous to the mass of a physical object (mass of evidence supports a belief). Evidence measure amount of the mass Basic Probability Assignment (BPA).

• Fundamental difference between D-S Theory and probability theory is the treatment of ignorance.

Principle of indifference

Non-belief vs. Ignorance

• D-S does not force belief to be assigned to ignorance. Instead, the mass is assigned only to those subsets of the environment to which you wish to assign belief.

• Not assigned belief no belief or non-belief. Should be associated with the environment . Disbelief non-belief. .

• Every set in the Power Set of the environment which has a mass greater than zero is a Focal Element.

D-S Mass

• Mass is a function that maps each element of the Power Set into a real number in the interval.

By conversion:

Combining Evidence

First radar data: Second radar data:

D-S Rule of Combination

Extends over all elements whose intersection . denotes the orthogonal sum or direct sum which

is defined by summing the mass product intersections on the right-hand side of the rule.

The new mass is a consensus because it tends to favor agreement rather than disagreement.

Example Combination

Bomber = 0.63 + 0.27 = 0.90Bomber or Fighter = 0.07Non-belief = 0.03

𝑚3⟶

Range of Belief

represents the belief of a bomber, only, but and imply additional information since their sets include a bomber

It is plausible that their orthogonal sums may contribute to a belief in the bomber.

Plausible that it might be a bomber.

What Would Make Plausibility < 1?

(Airliner)

Evidential Interval

The true Range of Belief is somewhere in the range of 0.9 to 1.0. Also called the Evidential Interval. The lower bound (0.9) is called Support (spt) in evidential reasoning. It is called Bel in D-S Theory. The upper bound (1.0) is called Plausibility (pls). In general:

(See Table 5.5 in text)

Example Evidential Intervals

[1, 1] Completely True[0, 0] Completely False[0, 1] Completely Ignorant[Bel, 1] Tends to support[0, Pls] Tends to refute[Bel, Pls] Tends to both support & refute

Bel vs. Bel()

• Bel is belief, a part of the evidence interval. It refers to one set.

• Bel() is a function that is the total belief of a set and all its subsets.

Bel function belief measure

Bel() Example

All the mass that supports a set. Is more global.

Combination of 2 Bel()

The combination of 2 belief functions (as in mass) can be expressed in terms of orthogonal sums of the masses of a set and all its subsets:

The Normalization of Belief

Suppose a third sensor is provided:

A New Table

≠1‼!

Normalization

Divide each element by 1-k where k is defined for any set X and Y as:

Normalization, Cont.

1−𝑘=1−0.9215=0.0785OK!

New Evidential Interval

Belief | Plausibility | Disbelief

Belief | Plausibility