Page 143 - DCAP310_INTRODUCTION_TO_ARTIFICIAL_INTELLIGENCE_AND_EXPERT_SYSTEMS
P. 143
Unit 7: Probabilistic Reasoning
items of evidence. In essence, the degree of belief in a proposition depends primarily upon the Notes
number of answers (to the related questions) containing the proposition, and the subjective
probability of each answer. Also contributing are the rules of combination that reflect general
assumptions about the data.
In this formalism, a degree of belief (also referred to as a mass) is represented as a belief function
rather than a Bayesian probability distribution. Probability values are assigned to sets of
possibilities rather than single events: their appeal rests on the fact they naturally encode evidence
in favor of propositions.
Notes Dempster – Shafer theory assigns its masses to all of the non-empty subsets of the
entities that compose a system
Belief and Plausibility
Shafer’s framework allows for belief about propositions to be represented as intervals, bounded
by two values, belief (or support) and plausibility:
belief ≤ plausibility
Belief in a hypothesis is constituted by the sum of the masses of all sets enclosed by it (i.e. the
sum of the masses of all subsets of the hypothesis). It is the amount of belief that directly
supports a given hypothesis at least in part, forming a lower bound. Belief (usually denoted Bel)
measures the strength of the evidence in favor of a set of propositions. It ranges from 0 (indicating
no evidence) to 1 (denoting certainty). Plausibility is 1 minus the sum of the masses of all sets
whose intersection with the hypothesis is empty. It is an upper bound on the possibility that the
hypothesis could be true, i.e. it “could possibly be the true state of the system” up to that value,
because there is only so much evidence that contradicts that hypothesis. Plausibility (denoted by
Pl) is defined to be Pl(s)=1-Bel(~s). It also ranges from 0 to 1 and measures the extent to which
evidence in favor of ~s leaves room for belief in s. For example, suppose we have a belief of 0.5
and a plausibility of 0.8 for a proposition, say “the cat in the box is dead.” This means that we
have evidence that allows us to state strongly that the proposition is true with a confidence of
0.5. However, the evidence contrary to that hypothesis (i.e. “the cat is alive”) only has a confidence
of 0.2. The remaining mass of 0.3 (the gap between the 0.5 supporting evidence on the one hand,
and the 0.2 contrary evidence on the other) is “indeterminate,” meaning that the cat could either
be dead or alive. This interval represents the level of uncertainty based on the evidence in your
system.
Hypothesis Mass Belief Plausibility
Null (neither alive nor dead) 0 0 0
Alive 0.2 0.2 0.5
Dead 0.5 0.5 0.8
Either (alive or dead) 0.3 1.0 1.0
The null hypothesis is set to zero by definition (it corresponds to “no solution”). The orthogonal
hypotheses “Alive” and “Dead” have probabilities of 0.2 and 0.5, respectively. This could
correspond to “Live/Dead Cat Detector” signals, which have respective reliabilities of 0.2 and
0.5. Finally, the all-encompassing “Either” hypothesis (which simply acknowledges there is a
cat in the box) picks up the slack so that the sum of the masses is 1. The belief for the “Alive” and
“Dead” hypotheses matches their corresponding masses because they have no subsets; belief for
“Either” consists of the sum of all three masses (Either, Alive, and Dead) because “Alive” and
LOVELY PROFESSIONAL UNIVERSITY 137