A Differential Approach to Inference in Bayesian Networks

1
A Differential Approach to Inference in Bayesian
Networks

• Adnan Darwiche

Jiangbo Dang and Yimin Huang CSCE582 Bayesian
Networks and Decision Graph
2
Resources

• A 10-page version http//citeseer.nj.nec.com/4571
  40.html
• Another is a 20-page version http//www.cs.ucla.e
  du/darwiche/jacm-diff.pdf
• More material Darwiche, A. A logical approach to
  factoring belief networks. In Proceedings of
  KR(2002), pp. 409-420

3
Outline

• Technical preliminaries
• The network Polynomial
• Inference query
• Probabilistic Semantics of Partial Derivatives
• Compiling Arithmetic circuits
• Evaluating and Differentiating arithmetic
  circuits
• Summary

4
Technical preliminaries

• Notational Convention
• Variables are denoted by uppercase letters (A)
  and their values by lowercase letters (a).
• Sets of variables are denoted by boldface
  uppercase letters (A) and their instantiations
  are denoted by boldface lowercase letters (a).
• For variable A and value a, we often write a
  instead of Aa.
• For a variable A with values true and false, we
  use a to denote Atrue and to denote Afalse.
  
• Finally, let X be a variable and let U be its
  parents in a Bayesian network. The
• set XU is called the family of variable X, and
  the variable is called a network
  parameter and is used to represent the
  conditional probability Pr(x u).

5
Technical preliminaries

• Bayesian Network and Chain Rule
• A Bayesian network over variables X is a directed
  acyclic graph over X, in addition to conditional
  probability values for each variable X in the
  network and its parents U. the semantics of a
  Bayesian network are given by the chain rule,
  which says that the probability of instantiation
  x of all network variables X is simply the
  product of all network parameters ,where xu
  is consistent with x.

6
Polynomial of network

• Evidence indicators For each network variable X,
  we have a set of evidence indicators
• Network parameters For each network family XU,
  we have a set of parameters
• Let N be a Bayesian network over variables X, and
  let U denoted the parents of variable X in the
  network. The polynomial of network N is defined
  as

7
What can we get from polynomial?

• The list of the queries that can be answered in
  constant time once these partial derivatives are
  computed
• The posterior marginal of any network variable X
  , Pr(xe)
• The posterior marginal of any network family
  X?U, Pr(x,u e)
• The sensitivity of Pr(e) to change in any network
  parameter
• The probability of evidence e after having
  changed the value of some variable E to e,
  Pr(e-E, e)
• The posterior marginal of some variable E after
  having retracted evidence on E, Pr(ee-E).
• The posterior marginal of any pair of network
  variables X and Y , Pr(x,ye)
• The posterior marginal of any pair of network
  families F1 and F2 , Pr(f1,f2e)
• The sensitivity of conditional probability
  Pr(ye) to a change in network parameter

8
f(e)Pr(e)

• Theorem 1 Let N be Bayesian network
  representing probability distribution Pr and
  having polynomial f. for any evidence
  (instantiation of variables ) e, we have f(e)
  Pr(e)
• The value of network polynomial f at evidence e,
  denoted by f(e) , is the result of replacing each
  evidence indicator in f with 1 if x is
  consistent with e, and with 0 otherwise.

9
Derivatives with respect to evidence indicators

• Theorem 2. Let N be a Bayesian network
  representing probability distribution Pr and
  having polynomial f. For every variable X and
  evidence e, we haveThat is, if we differentiate
  the polynomial f with respect to indicator
  and evaluate the result at evidence e, we obtain
  the probability of instantiation x, e-X.
• Corollary 1. For every variable X and evidence e,
  X ? E
• The partial derivatives give us the posterior
  marginal of every variable.
• Corollary 2. For every variable X and evidence e,
  we have

10
Derivatives with respect to network parameters
11
Second partial derivatives
12
Problem exists

• Theorems 24 show us how to compute answers to
  classical probabilistic queries by
  differentiating the polynomial representation of
  a Bayesian network. Therefore, if we have an
  efficient way to represent and differentiate the
  polynomial, then we also have an efficient way to
  perform probabilistic reasoning.
• The size of network polynomial is exponential to
  the size of network variables. The polynomial f
  has an exponential number of terms, one term for
  each instantiation of the network variables.
• We compute the polynomial using an arithmetic
  circuit

13
Arithmetic circuit

• An arithmetic circuit is a graphical
  representation of a function f over variables E.
• Definition 3. An arithmetic circuit over
  variables E is a rooted, directed acyclic graph
  whose leaf nodes are labeled with numeric
  constants or variables in E and whose other nodes
  are labeled with multiplication and addition
  operations. The size of an arithmetic circuit is
  measured by the number of edges that it contains.
• Q1how to obtain a compact arithmetic circuit
  that computes a given network polynomial?
• Q2How can we efficiently evaluate and
  differentiate a circuit?

14
How to compile arithmetic circuit
A
B
C
15
Jointree of a BN

• A jointree for a Bayesian network N is a labeled
  tree (T,L), where T is a tree and L is a function
  that assigns labels to nodes in T . A jointree
  must satisfy three properties
• (1) each label L(i) is a set of variables in the
  BN
• (2) each family XU in the network must appear in
  some label L(i)
• (3) if a variable appears in the labels of
  jointree nodes i and j, it must also appear in
  the label of each node k on the path connecting
  them.
• Nodes in a jointree, and their labels, are called
  clusters. Similarly, edges in a jointree, and
  their labels, are called separators, where the
  label of edge ij is defined as L(i) ? L(j).

16
Get Circuit from Jointree

• Given a root cluster, a particular assignment of
  CPT and evidence tables to clusters, the
  arithmetic circuit embedded in a jointree is
  defined as follows. The circuit includes
• one output addition node f
• an addition node s for each instantiation of a
  separator S
• a multiplication node c for each instantiation
  of a cluster C
• an input node ?x for each instantiation x of
  variable X
• an input node ?xu for each instantiation xu of
  family XU.
• The children of the output node f are the
  multiplication nodes c generated by the root
  cluster the children of an addition node s are
  all compatible multiplication nodes c generated
  by the child cluster the children of a
  multiplication node c are all compatible addition
  nodes s generated by child separators, in
  addition to all compatible inputs nodes ?xu and
  ?x for which CPT ?xu and evidence table ?x are
  assigned to cluster C.

17
Evaluating and Differentiating Arithmetic Circuits

• Evaluating an arithmetic circuit upward-pass
• Computing the circuit derivatives downward-pass
• For each circuit node v, there are tow registers
  vr(v) and dr(v), In the upwardpass, we evaluate
  the circuit by setting the values of vr(v)
  registers, and in the downwardpass, we
  differentiate the circuit by setting the values
  of dr(v) registers.
• Initialization dr(v) is initialized to zero
  except for root v where dr(v) 1.
• Upwardpass At node v, compute the value of v
  and store it in vr(v).
• Downwardpass At node v and for each parent p,
  increment dr(v) bydr(p) if p is an addition
  nodedr(p) ?vvr(v) if p is a multiplication
  node, where v are the other children of p.

18
An Example
19
Summary

• The efficient computation of answers to
  probabilistic queries posed to BNs.
• We can compile a BN into a multivariate
  polynomial and then computes the partial
  derivatives of this polynomial with respect to
  each variable. Once such derivatives are made
  available, we can compute in constant-time
  answers to a large class of probabilistic queries
  
• The network polynomial itself is exponential in
  size, but this paper shows how it can be computed
  efficiently using an arithmetic circuit that can
  be evaluated and differentiated in time and space
  linear in the circuit size.

20
Questions