Académique Documents
Professionnel Documents
Culture Documents
Example
If the valve is in good condition then the output is normal
The output is normal
Therefore, the valve is in good condition
Axiom 2 P( E ) 1
i
i where Ei, i=< 1=< n are mutually
exclusive
P(E) + P(E') = 1
Axiom 3 P( E1 E 2 ) P( E1 ) P( E 2 ) P( E1 E 2 )
Theory of Probability
Experimental or Subjective Probabilities
• In contrast to the prior approach, experimental probability
defines the probability of an event P(E) as the limit of a
frequency distribution.
Conditional Probabilities
• The probability of an event A, given that event B
occurred, is called a conditional probability and
indicated by P(A|B).
P( A B)
P( A | B) forP( B) 0
P( B)
P( A | B) P( B) P( A B)
Baye's Theorem
P( E H i )
P( H i | E )
P( E H j )
j
P( E | H i ) P( H i )
P( E | H j ) P( H j )
j
P( E | H i ) P( H i )
P( E )
Baye's Theorem
P(X|C) = ?
P(X|C) = P(C X) / P(C) = 0.6 / 0.7 = 6/7
P(X|C) = P(C|X) P(X) / P(C) = 0.75 * 0.8 / 0.7
= 0.6 / 0.7
Example
Suppose, statistics show that Brand X drive crashes with a probability
of 75% within one year and non-Brand X drive crash within one year is
50%. The inverse question is, what is the probability of a crashed drive
being brand X or non-brand X.
Hypothetical Reasoning and Backward
Induction
Disadvantages are
• They require significant amount of probability data to
construct a knowledge base.
• If the probabilities are statistical, sample size must be
sufficient. If they are provided by an expert then their
comprehensiveness and consistency must be queried.
• Reducing associations between the hypotheses and the
evidences to simple numerical values removes relevant
information necessary for reasoning (explanation of how a
conclusion is reached).
Reasoning with Certainty Factors
During the development of MYCIN, researchers developed certainty
factors formalism for the following reasons:
• The medical data lacks large quantities of data and/or the numerous
approximations required by Bayes' theorem.
• General Form
IF E1 And E2 ….THEN H CF = Cfi
where E= evidence & H is the conclusion
Certainty Factor (CF) Formalism
• A measure of belief, MB(h, e) indicates the degree to
which our belief in hypothesis, h, is increased based
on the presence of evidence, e
• A measure of disbelief, MD(h, e), indicates the
degree to which our disbelief in hypothesis, h, is
increased based on the presence of evidence, e.
CF interpretation
Certainty Factor (CF) Formalism
• CF(h | e) = MB(h, e) - MD(h, e)
-1 < CF < 1
• If CFs for P1, P2, and P3 are 0.6, 0.4, and 0.2,
respectively then R1 and R2 may be anticipated with
CFs 0.28 and 0.12 respectively.
= otherwise
Certainty Factor Example
In a murder trial the defendant is being accused of a first degree
murder (hypothesis).The jury must balance the evidences presented
by the prosecutor and the defense attorney to decide if the suspect is
guilty.
CFold=0.0
Guilty
CFcon1=CFnew=0.675 CFnew=0.675 Guilty
CF = 0.0 CFrevised=0.675
CFrevised=CFold + CFnew*(1-CFold)
=0.0 + 0.675*(1-0.0)
fingerprints
=0.675
on weapon
CFevid1=0.90
CFrule1=0.75
CFrevised=CFold + CFnew*(1-CFold)
=0.675 + 0.30*(1-0.675)
=0.7725
Motive exists
CFevid2=0.50
CFrule2=0.60
CFcon2=CFevid2*CFrule2
(single premise rule)
=0.50*0.60
=0.30
Certainty Factor Example
A respected judge witnesses for alibi, so a cf of 0.95 is
assigned for this evidence
CFrevised =
CFold CFnew
CFreviced=
1 min(| CFold |,| CFnew | )
Alibi found
CFevid3=0.95 = (0.772-0.76)/(1-0.76)
CFrule3= -0.80 = 0.052
CFcon3=CFevid3*CFrule3
=0.95*(-0.80)
= -0.76
Certainty Factor Example
If CF(sky dark) = 1,
CF(temperature dropping) = .1 then
CF(will rain) = min(1, .1)*.9 = .09 whereas if we had
IF speed is slow
THEN make acceleration high.
Fuzzy Sets
• In ordinary set theory, an element from the domain is
either in a set or not in a set.
• In fuzzy sets, a number in the range 0-1 is attached to an
element – the degree to which the element belongs to
the set.
• A value of 1 means the element is definitely in the set
• A value of 0 means the element is definitely not in the
set
• Other values are grades of membership.
• Formally a fuzzy set A from X is given by its membership
function which has type
A : X [0, 1]
Fuzzy Sets
Complement
The operation is
A (x) = 1 - A (x)
Boolean Operations
Intersection
The intersection of two fuzzy sets A and B is given by
AB (x) = min({A (x), B (x)})
Union
The union of two fuzzy sets A and B is given by
AB (x) = max({A (x), B (x)})
Fuzzy Reasoning