Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lecture 15
Probabilistic Reasoning
• Logic deals with certainties
• A→B
• Probabilities are expressed in a notation similar to
that of predicates in First Order Predicate
Calculus:
• P(R) = 0.7
• P(S) = 0.1
• P(¬(A Λ B) V C) = 0.2
• 1 = certain; 0 = certainly not
AΛB
B
P(A V B) =
A
AΛB
B
• P(R|S) =
A ⌐A
B 0.11 0.09
⌐B 0.63 0.17
AΛB
P(A) = P(A Λ B) + P(A Λ ¬B) A B
= 0.11 + 0.63
= 0.74
P ( A, B, C , D, E ) = P ( E | B ) ⋅P ( D | A, B) ⋅P (C | A) ⋅P ( B ) ⋅P ( A)
S P
E F
CS 484 – Artificial Intelligence 19
College Life Example
C P(C) S P P(E)
0.2 true true 0.6
S P
C P(S) true false 0.9
false true 0.1
E F true 0.8
false 0.2 false false 0.2
C P(P) P P(F)
true 0.6 true 0.9
false 0.5 false 0.7
CS 484 – Artificial Intelligence 20
College Example
• Using the tables to solve problems such as
P(C==true, S = true, P = false, E = true, F =
false) ==
P(C,S, ¬P,E, ¬F)
• General solution
n
P( x1 , K , xn ) = ∏ P ( xi | E )
i =1
P(C , S , ¬ P, E , ¬ F ) =
P (C ) ⋅P( S | C ) ⋅P(¬ P | C ) ⋅P ( E | S ∧¬ P ) ⋅P (¬ F | ¬ P )