advanced artificial intelligence
DESCRIPTION
Advanced Artificial Intelligence. Lecture 4B: Bayes Networks. Bayes Network. We just encountered our first Bayes network:. Cancer. P(cancer) and P(Test positive | cancer) is called the “ model ” Calculating P(Test positive) is called “ prediction ” - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/1.jpg)
Advanced Artificial Intelligence
Lecture 4B: Bayes Networks
![Page 2: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/2.jpg)
Bayes Network
We just encountered our first Bayes network:
2
Cancer
Test positive
P(cancer) and P(Test positive | cancer) is called the “model”
Calculating P(Test positive) is called “prediction”
Calculating P(Cancer | test positive) is called “diagnostic reasoning”
![Page 3: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/3.jpg)
Bayes Network
We just encountered our first Bayes network:
3
Cancer
Test positive
Cancer
Test positive
versus
![Page 4: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/4.jpg)
Independence
Independence
What does this mean for our test? Don’t take it!
4
Cancer
Test positive
![Page 5: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/5.jpg)
Independence
Two variables are independent if:
This says that their joint distribution factors into a product two simpler distributions
This implies:
We write:
Independence is a simplifying modeling assumption Empirical joint distributions: at best “close” to independent
5
![Page 6: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/6.jpg)
Example: Independence
N fair, independent coin flips:
h 0.5
t 0.5
h 0.5
t 0.5
h 0.5
t 0.5
6
![Page 7: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/7.jpg)
Example: Independence?
T W P
warm sun 0.4
warm rain 0.1
cold sun 0.2
cold rain 0.3
T W P
warm sun 0.3
warm rain 0.2
cold sun 0.3
cold rain 0.2
T P
warm 0.5
cold 0.5
W P
sun 0.6
rain 0.4
7
![Page 8: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/8.jpg)
Conditional Independence P(Toothache, Cavity, Catch)
If I have a Toothache, a dental probe might be more likely to catch
But: if I have a cavity, the probability that the probe catches doesn't depend on whether I have a toothache: P(+catch | +toothache, +cavity) = P(+catch | +cavity)
The same independence holds if I don’t have a cavity: P(+catch | +toothache, cavity) = P(+catch| cavity)
Catch is conditionally independent of Toothache given Cavity: P(Catch | Toothache, Cavity) = P(Catch | Cavity)
Equivalent conditional independence statements: P(Toothache | Catch , Cavity) = P(Toothache | Cavity) P(Toothache, Catch | Cavity) = P(Toothache | Cavity) P(Catch | Cavity) One can be derived from the other easily
We write:8
![Page 9: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/9.jpg)
Bayes Network Representation
9
Cavity
CatchToothach
e
P(cavity)
P(catch | cavity) P(toothache | cavity)
1 parameter
2 parameters 2 parameters
Versus: 23-1 = 7 parameters
![Page 10: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/10.jpg)
A More Realistic Bayes Network
10
![Page 11: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/11.jpg)
Example Bayes Network: Car
11
![Page 12: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/12.jpg)
Graphical Model Notation
Nodes: variables (with domains) Can be assigned (observed) or
unassigned (unobserved)
Arcs: interactions Indicate “direct influence” between
variables Formally: encode conditional
independence (more later)
For now: imagine that arrows mean direct causation (they may not!)
12
![Page 13: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/13.jpg)
Example: Coin Flips
X1 X2 Xn
N independent coin flips
No interactions between variables: absolute independence
13
![Page 14: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/14.jpg)
Example: Traffic
Variables: R: It rains T: There is traffic
Model 1: independence
Model 2: rain causes traffic
Why is an agent using model 2 better?
R
T
14
![Page 15: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/15.jpg)
Example: Alarm Network
Variables B: Burglary A: Alarm goes off M: Mary calls J: John calls E: Earthquake!
15
Burglary Earthquake
Alarm
John calls
Mary calls
![Page 16: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/16.jpg)
Bayes Net Semantics
A set of nodes, one per variable X A directed, acyclic graph A conditional distribution for each node
A collection of distributions over X, one for each combination of parents’ values
CPT: conditional probability table Description of a noisy “causal” process
A1
X
An
A Bayes net = Topology (graph) + Local Conditional Probabilities16
![Page 17: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/17.jpg)
Probabilities in BNs
Bayes nets implicitly encode joint distributions As a product of local conditional distributions To see what probability a BN gives to a full assignment, multiply
all the relevant conditionals together:
Example:
This lets us reconstruct any entry of the full joint Not every BN can represent every joint distribution
The topology enforces certain conditional independencies17
![Page 18: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/18.jpg)
Example: Coin Flips
h 0.5
t 0.5
h 0.5
t 0.5
h 0.5
t 0.5
X1 X2 Xn
Only distributions whose variables are absolutely independent can be represented by a Bayes’ net with no arcs. 18
![Page 19: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/19.jpg)
Example: Traffic
R
T
+r 1/4
r 3/4
+r +t 3/4
t 1/4
r +t 1/2
t 1/2
19
R T joint
+r +t 3/16
+r -t 1/16
-r +t 3/8
-r -t 3/8
![Page 20: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/20.jpg)
Example: Alarm Network
Burglary Earthqk
Alarm
John calls
Mary calls
How many parameters?
1 1
4
2 2
10
![Page 21: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/21.jpg)
Example: Alarm Network
Burglary Earthqk
Alarm
John calls
Mary calls
B P(B)
+b 0.001
b 0.999
E P(E)
+e 0.002
e 0.998
B E A P(A|B,E)
+b +e +a 0.95
+b +e a 0.05
+b e +a 0.94
+b e a 0.06
b +e +a 0.29
b +e a 0.71
b e +a 0.001
b e a 0.999
A J P(J|A)
+a +j 0.9
+a j 0.1
a +j 0.05
a j 0.95
A M P(M|A)
+a +m 0.7
+a m 0.3
a +m 0.01
a m 0.99
![Page 22: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/22.jpg)
Example: Alarm Network
Burglary Earthquake
Alarm
John calls
Mary calls
![Page 23: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/23.jpg)
Bayes’ Nets
A Bayes’ net is anefficient encodingof a probabilisticmodel of a domain
Questions we can ask: Inference: given a fixed BN, what is P(X | e)? Representation: given a BN graph, what kinds of
distributions can it encode? Modeling: what BN is most appropriate for a given
domain?23
![Page 24: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/24.jpg)
Remainder of this Class
Find Conditional (In)Dependencies Concept of “d-separation”
24
![Page 25: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/25.jpg)
Causal Chains
This configuration is a “causal chain”
Is X independent of Z given Y?
Evidence along the chain “blocks” the influence
X Y Z
Yes!
X: Low pressure
Y: Rain
Z: Traffic
25
![Page 26: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/26.jpg)
Common Cause
Another basic configuration: two effects of the same cause Are X and Z independent?
Are X and Z independent given Y?
Observing the cause blocks influence between effects.
X
Y
Z
Yes!
Y: Alarm
X: John calls
Z: Mary calls
26
![Page 27: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/27.jpg)
Common Effect
Last configuration: two causes of one effect (v-structures) Are X and Z independent?
Yes: the ballgame and the rain cause traffic, but they are not correlated
Still need to prove they must be (try it!)
Are X and Z independent given Y? No: seeing traffic puts the rain and the
ballgame in competition as explanation?
This is backwards from the other cases Observing an effect activates influence
between possible causes.
X
Y
Z
X: Raining
Z: Ballgame
Y: Traffic
27
![Page 28: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/28.jpg)
The General Case
Any complex example can be analyzed using these three canonical cases
General question: in a given BN, are two variables independent (given evidence)?
Solution: analyze the graph
28
![Page 29: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/29.jpg)
Reachability
Recipe: shade evidence nodes
Attempt 1: Remove shaded nodes. If two nodes are still connected by an undirected path, they are not conditionally independent
Almost works, but not quite Where does it break? Answer: the v-structure at T doesn’t
count as a link in a path unless “active”
R
T
B
D
L
29
![Page 30: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/30.jpg)
Reachability (D-Separation) Question: Are X and Y
conditionally independent given evidence vars {Z}? Yes, if X and Y “separated” by Z Look for active paths from X to Y No active paths = independence!
A path is active if each triple is active: Causal chain A B C where B is
unobserved (either direction) Common cause A B C where B is
unobserved Common effect (aka v-structure)
A B C where B or one of its descendents is observed
All it takes to block a path is a single inactive segment
Active Triples Inactive Triples
![Page 31: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/31.jpg)
Example
Yes
31
R
T
B
T’
![Page 32: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/32.jpg)
Example
R
T
B
D
L
T’
Yes
Yes
Yes
32
![Page 33: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/33.jpg)
Example
Variables: R: Raining T: Traffic D: Roof drips S: I’m sad
Questions:
T
S
D
R
Yes
33
![Page 34: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/34.jpg)
A Common BN
34
T1 T2
A
TNT3 …
Unobservable cause
Tests
time
Diagnostic Reasoning:
![Page 35: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/35.jpg)
A Common BN
35
T1 T2
A
TNT3 …
Unobservable cause
Tests
time
Diagnostic Reasoning:
![Page 36: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/36.jpg)
A Common BN
36
T1 T2
A
TNT3 …
Unobservable cause
Tests
time
Diagnostic Reasoning:
![Page 37: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/37.jpg)
A Common BN
37
T1 T2
A
TNT3 …
Unobservable cause
Tests
time
Diagnostic Reasoning:
![Page 38: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/38.jpg)
Causality?
When Bayes’ nets reflect the true causal patterns: Often simpler (nodes have fewer parents) Often easier to think about Often easier to elicit from experts
BNs need not actually be causal Sometimes no causal net exists over the domain End up with arrows that reflect correlation, not causation
What do the arrows really mean? Topology may happen to encode causal structure Topology only guaranteed to encode conditional independence
38
![Page 39: Advanced Artificial Intelligence](https://reader030.vdocuments.mx/reader030/viewer/2022032805/56813194550346895d980576/html5/thumbnails/39.jpg)
Summary
Bayes network: Graphical representation of joint distributions Efficiently encode conditional independencies Reduce number of parameters from exponential
to linear (in many cases)
39