advanced i - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11....

13
Graphical Models - Inference - Wolfram Burgard, Luc De Raedt, Kristian Kersting, Bernhard Nebel Albert-Ludwigs University Freiburg, Germany PCWP CO HRBP HREKG HRSAT ERRCAUTER HR HISTORY CATECHOL SAO2 EXPCO2 ARTCO2 VENTALV VENTLUNG VENITUBE DISCONNECT MINVOLSET VENTMACH KINKEDTUBE INTUBATION PULMEMBOLUS PAP SHUNT ANAPHYLAXIS MINOVL PVSAT FIO2 PRESS INSUFFANESTH TPR LVFAILURE ERRBLOWOUTPUT STROEVOLUME LVEDVOLUME HYPOVOLEMIA CVP BP Mainly based on F. V. Jensen, „Bayesian Networks and Decision Graphs“, Springer-Verlag New York, 2001. Advanced I WS 06/07 Junction Tree Bayesian Networks Bayesian Networks Advanced I WS 06/07 Outline • Introduction • Reminder: Probability theory • Basics of Bayesian Networks • Modeling Bayesian networks • Inference (VE, Junction tree) • Excourse: Markov Networks • Learning Bayesian networks • Relational Models Bayesian Networks Bayesian Networks Advanced I WS 06/07 Why Junction trees ? • Multiple inference, e.g., • For each i do variable elimination? No, instead reuse information resp. computations - Inference (Junction Tree) - Inference (Junction Tree) Bayesian Networks Bayesian Networks Advanced I WS 06/07 A potential A over a set of variables A is a function that maps each configuration into a non-negative real number. dom A =A (domain of A ) Potentials Examples: Conditional probability distribution and joint probability distributions are special cases of potentials - Inference (Junction Tree) - Inference (Junction Tree)

Upload: others

Post on 07-Mar-2021

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Graphical Models- Inference -

Wolfram Burgard, Luc De Raedt, Kristian Kersting, Bernhard Nebel

Albert-Ludwigs University Freiburg, Germany

PCWP CO

HRBP

HREKG HRSAT

ERRCAUTERHRHISTORY

CATECHOL

SAO2 EXPCO2

ARTCO2

VENTALV

VENTLUNG VENITUBE

DISCONNECT

MINVOLSET

VENTMACHKINKEDTUBEINTUBATIONPULMEMBOLUS

PAP SHUNT

ANAPHYLAXIS

MINOVL

PVSAT

FIO2

PRESS

INSUFFANESTHTPR

LVFAILURE

ERRBLOWOUTPUTSTROEVOLUMELVEDVOLUME

HYPOVOLEMIA

CVP

BP

Mainly based on F. V. Jensen, „Bayesian Networks and Decision Graphs“, Springer-Verlag New York, 2001.

AdvancedI WS 06/07

Junction Tree

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Outline

• Introduction

• Reminder: Probability theory

• Basics of Bayesian Networks

• Modeling Bayesian networks

• Inference (VE, Junction tree)

• Excourse: Markov Networks

• Learning Bayesian networks

• Relational Models

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Why Junction trees ?

• Multiple inference, e.g.,

• For each i do variable elimination?

No, instead reuse informationresp. computations

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

A potential A over a set of variables A is afunction that maps each configuration into anon-negative real number.

dom A =A (domain of A )

Potentials

Examples: Conditional probabilitydistribution and joint probability distributionsare special cases of potentials

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 2: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Ex: A potential A,B,C over the set of

variables {A,B,C}. A has four states,

and B and C has three states.

dom A,B,C ={A,B,C}

Potentials

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Let be a set of potentials (e.g. CPDs), and let X

be a variable. X is eliminated from :

1. Remove all potentials in with X in thedomain. Let X that set.

2. Calculate

3. Add to

4. Iterate

VE using Potentials

Potential where X is not amember of the domain

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Domain Graph

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Domain Graph(Moral Graph)

moral link

Let ={ 1,..., n} be potentials over U={ 1,..., m} withdom i=Di. The domain graph for is the undirected graphwith variables of U as nodes and with a link between pairs of variables being members of the same Di.

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Moralizing

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Domain Graph(Moral Graph)

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 3: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Moralizing

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Domain Graph(Moral Graph)

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

CPDs

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Moralizing

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Domain Graph(Moral Graph)

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

CPDs

CPD=

potential

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Moralizing

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Domain Graph(Moral Graph)

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

CPDs

CPD=

potential

Potentials induceundirected edges

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Moralizing

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Domain Graph(Moral Graph)

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

CPDs

CPD=

potential

moral link

Potentials induceundirected edges

Page 4: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Elimination Sequence

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Moral Graph

A1

A4

A2

A5 A6

Elim

inat

ing

A3

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Elimination Sequence

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Moral Graph

A1

A4

A2

A5 A6

Elim

inat

ing

A3

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Reminder: Markov Networks

• Undirected Graphs

• Nodes = random variables

• Cliques = potentials (~ local jpd)

VE on potentials works

for Mark

ov netw

orks

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Elimination Sequence

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

Bayesian Network

Moralizing

Moral Graph

A1

A4

A2

A5 A6

fill-ins: work with a potential over a domain that was not present originally

Elim

inat

ing

A3

GOAL:Elimination sequence that does not introduce fill-ins

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 5: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Perfect Elimination Sequence ...

A1

A3

A4

A2

A5 A6

A6

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Perfect Elimination Sequence ...

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5

A6 A5

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Perfect Elimination Sequence ...

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5

A6 A5A1

A3

A4

A2

A3 - Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Perfect Elimination Sequence ...

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5

A1

A4

A2

A6 A5A1

A3

A4

A2

A3 A1 - Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 6: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Perfect Elimination Sequence ...

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5

A1

A4

A2A4

A2

A6 A5

A2

A1

A3

A4

A2

A3 A1 - Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Perfect Elimination Sequence ...

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5

A1

A4

A2A4

A2

A4

A6 A5

A2

A1

A3

A4

A2

A3 A1 - Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Perfect Elimination Sequence ...

A1

A3

A4

A2

A5 A6

... do not introduce fill-ins

A1

A3

A4

A2

A5

A1

A4

A2A4

A2

A4

A6 A5

A2

A1

A3

A4

A2

A3 A1There are several perfectelimination sequencesending in A4

But they have differentcomplexities

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

• Characterized by the set of domains

• Set of domains of potentials produced during the

elimination (potentials that are subsets of other

potentials are removed).

• A6,A5,A3,A1,A2,A4:

{{A6,A3},{A2,A3,A5},{A1,A2,A3},{A1,A2},{A2,A4}}

Complexity of Elimination Sequence

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 7: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Complexity of Elimination Sequence

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5

A1

A4

A2A4

A2

A4

A6 A5

A2

A1

A3

A4

A2

A3 A1 - Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

{A3,A6} {A2,A3,A5} {A1,A2,A3}

{A1,A2} {A2,A4}

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

• All perfect elimination sequences produce the same

domain set, namely the set of cliques of the domain

• Any perfect elimination sequence ending

with A is optimal with respect to computing P(A)

Complexity of Elimination Sequence

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Triangulated Graphs and Join Trees

• An undirected graph with completeelimination sequence is called atriangulated graph

A1

A3

A4

A2

A5

A1

A3

A4

A2

A5

triangulated nontriangulated

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Triangulated Graphs and Join Trees

A1

A3

A4

A2

A5

Neighbours of A5

A1

A3

A4

A2

A5

Family of A5

• Complete neighbour set = simplicial node

• X is simplicial iff family of X is a clique

A1

A3

A4

A2

A5

Family of A3, i.e. A3 is simplicial

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 8: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Let G be a triangulated graph,

and let X be a simplicial node.

Let G´be the graph resulting

from eliminating X from G.

Then G´is a triangulated graph

A1

A3

A4

A2

A5

X

Eliminati

ng X

A1

A3

A4

A2

A5

Triangulated Graphs and Join Trees

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Triangulated Graphs and Join Trees

• A triangulated graph with at least twonodes has at least two simplicial nodes

• In a triangulated graph, each variable Ahas a perfect elimination sequence endingwith A

• Not all domain graphs are triangulated: Anundirected graph is triangulated iff allnodes can be eliminated by successivelyeliminating a simplicial node

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Join Trees

Let G be the set of cliques from

an undirected graph, and let

the cliques of G be organized in

a tree.

• T is a join tree if for anypair of nodes V, W allnodes on the pathbetween V an W containthe intersection V W

BCDE

ABCD DEFI

BCDG

CHGJ

BCDE

ABCD DEFI

BCDG

CHGJ

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Join Trees

Let G be the set of cliques from

an undirected graph, and let

the cliques of G be organized in

a tree.

• T is a join tree if for anypair of nodes V, W allnodes on the pathbetween V an W containthe intersection V W

BCDE

ABCD DEFI

BCDG

CHGJ

BCDE

ABCD DEFI

BCDG

CHGJ

join tree

not a join tree

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 9: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Join Trees

• If the cliques of an undirected graph G canbe organized into a join tree, then G istriangulated

• If the undirected graph is triangulated, thenthe cliques of G can be organizes into a jointree - I

nfer

ence

(Ju

nctio

n Tr

ee)

- Inf

eren

ce (

Junc

tion

Tree

)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Triangulated, undirected Graph-> Join trees

A E

F

I

D

J

GH

B

C

• Simplicial node X

• Family of X is a clique

• Eliminate nodes fromfamily of X which haveonly neighbours in thefamily of X

• Give family of X is numberaccording to the numberof nodes eliminated

• Denote the set ofremaining nodes Si

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Triangulated, undirected Graph-> Join trees

A E

F

I

D

J

GH

B

C

X

ABCDV1

BCDS1 separator

• Simplicial node X

• Family of X is a clique

• Eliminate nodes fromfamily of X which haveonly neighbours in thefamily of X

• Give family of X a numberi according to the numberof nodes eliminated

• Denote the set ofremaining nodes Si

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

• Simplicial node X

• Family of X is a clique

• Eliminate nodes fromfamily of X which haveonly neighbours in thefamily of X

• Give family of X a numberi according to the numberof nodes eliminated

• Denote the set ofremaining nodes Si

Triangulated, undirected Graph-> Join trees

A E

F

I

D

J

GH

B

C

X

ABCDV1

BCDS1 separator

A

{A,B,C,D}

{B,C,D}

1

S1

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 10: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Triangulated, undirected Graph-> Join trees

E

F

I

D

J

GH

B

C

ABCDV1

BCDS1

X

DEFIV3

DES3

X

• Simplicial node X

• Family of X is a clique

• Eliminate nodes fromfamily of X which haveonly neighbours in thefamily of X

• Give family of X is numberaccording to the numberof nodes eliminated

• Denote the set ofremaining nodes Si

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

• Simplicial node X

• Family of X is a clique

• Eliminate nodes fromfamily of X which haveonly neighbours in thefamily of X

• Give family of X is numberaccording to the numberof nodes eliminated

• Denote the set ofremaining nodes Si

Triangulated, undirected Graph-> Join trees

E

F

I

D

J

GH

B

C

ABCDV1

BCDS1

X

DEFIV3

DES3

X

{D,E,F,I}

E

{D,E}

3

S3

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Triangulated, undirected Graph-> Join trees

ABCDV1

BCDS1

DEFIV3

DES3

CGHJV5

CGS5

BCDGV6

BCDS6

BCDEV10

• Simplicial node X

• Family of X is a clique

• Eliminate nodes fromfamily of X which haveonly neighbours in thefamily of X

• Give family of X is numberaccording to the numberof nodes eliminated

• Denote the set ofremaining nodes Si

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

Triangulated, undirected Graph-> Join trees

• Connect eachseparator Si to a cliqueVj, j>i, such that Si is asubset of Vj

ABCDV1

BCDS1

DEFIV3

DES3

CGHJV5

CGS5

BCDGV6

BCDS6

BCDEV10

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 11: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Join Tree

ABCDV1

BCDS1

DEFIV3

DES3

CGHJV5

CGS5

BCDGV6

BCDS6

BCDEV10

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

The potential representation

of a join tree (aka clique

tree) is the product of the

clique potentials, dived by

the product of the separator

potentials.

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Yet Another Example

A1

A3

A4

A2

A5 A6

A1

A3

A4

A2

A5 A6

A3,A6V1

A3S1

A2,A3,A5V2

A2,A3S2

A2,A4V6

A2S4

A1,A2,A3V4

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Junction Trees

• Let be a set ofpotentials with atriangulated domaingraph. A junction tree for

is join tree for G with

– Each potential in isassociated to a cliquecontaining dom( )

– Each link has separatorattached containing twomailboxes, one for eachdirection

A1

A3

A4

A2

A5 A6

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Propagation on a Junction Tree

• Node V can send exactly one message to aneighbour W, and it may only be sent when Vhas received a message from all of its otherneighbours

• Choose one clique (arbitrarily) as a root of thetree; collect message to this node and thendistribute messages away from it.

• After collection and distribution phases, wehave all we need in each clique to computepotential for variables.

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Page 12: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Junction Trees - Collect Evidence

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

• P(A4) ?

• Find clique containing A4

• V6 temporary root

• Send messages from

leaves to root

• V4 assembles theincoming messages,potential

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07

• Propagation/message passing between twoadjacent cliques C1, C2 (S0 is their seperator)

– Marginalize C1’s potential to get new potential for S0

– Update C2’s potential

– Update S0’s potential to its new potential

Junction Tree - Messages

=

01

1

\

*

SC

CSo

0

0

22

*

*

S

S

CC=

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Junction Trees - Collect Evidence

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

• P(A4) ?

• Find clique containing A4

• V6 temporary root

• Send messages from

leaves to root

• V4 assembles theincoming messages,potential

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Junction Trees - Collect Evidence

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

• P(A4) ?

• All marginals?

Page 13: Advanced I - uni-freiburg.degki.informatik.uni-freiburg.de/.../advanced/aait-bn-jt.pdf · 2006. 11. 6. · Bayesian Networks Advanced I WS 06/07 Ex: A potential A,B,C over the set

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Junction Trees - Distribute Evidence

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

• All marginals?

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Nontriangulated Domain Graphs

• Embed domain graph in a traingulated graph

• Use ist junction tree

• Simple idea:

– Eliminate variables in some order

– If you wish to eliminate a node with non-completeneighbour set, make it complete by adding fill-ins

A

E

F

I

D

J

G

H

B C A

E

F

I

D

J

G

H

B C

A,C,H,I,J,B,G,D,E,F

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Summary JTA

• Convert Bayesian network

into JT

• Initialize potentials and

separators

• Incorporate Evidence (set

potentials accordingly)

• Collect and distribute

evidence

• Obtain clique marginals by

marginalization/normalization

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)

Image from

Cecil Huang

Bay

esia

n N

etw

orks

Bay

esia

n N

etw

orks

AdvancedI WS 06/07 Inference Engines

• (Commercial) HUGIN : http://www.hugin.com

• (Commercial) NETICA: http://www.norsys.com

• Bayesian Network Toolbox for Matlabwww.cs.ubc.ca/~murphyk/Software/BNT/bnt.html

• GENIE/SMILE (JAVA) http://www2.sis.pitt.edu/~genie/

• MSBNx, Microsoft, http://research.microsoft.com/adapt/MSBNx/

• Profile Toolbox http://www.informatik.uni-freiburg.de/~kersting/profile/

- Inf

eren

ce (

Junc

tion

Tree

)- I

nfer

ence

(Ju

nctio

n Tr

ee)