14. Probabilistic Reasoning
We have a bag of three biased coins $a$, $b$, and $c$ with probabilities of coming up heads of 20%, 60%, and 80%, respectively. One coin is drawn randomly from the bag (with equal likelihood of drawing each of the three coins), and then the coin is flipped three times to generate the outcomes $X_1$, $X_2$, and $X_3$.

Draw the Bayesian network corresponding to this setup and define the necessary CPTs.

Calculate which coin was most likely to have been drawn from the bag if the observed flips come out heads twice and tails once.
We have a bag of three biased coins $a$, $b$, and $c$ with probabilities of coming up heads of 30%, 60%, and 75%, respectively. One coin is drawn randomly from the bag (with equal likelihood of drawing each of the three coins), and then the coin is flipped three times to generate the outcomes $X_1$, $X_2$, and $X_3$.

Draw the Bayesian network corresponding to this setup and define the necessary CPTs.

Calculate which coin was most likely to have been drawn from the bag if the observed flips come out heads twice and tails once.
Exercise 14.3 [cptequivalenceexercise]
Equation (parameterjointrepnequation) on page parameterjointrepnequation defines the joint distribution represented by a Bayesian network in terms of the parameters $\theta(X_i{Parents}(X_i))$. This exercise asks you to derive the equivalence between the parameters and the conditional probabilities ${\textbf{ P}}(X_i{Parents}(X_i))$ from this definition.

Consider a simple network $X\rightarrow Y\rightarrow Z$ with three Boolean variables. Use Equations (conditionalprobabilityequation) and (marginalizationequation) (pages conditionalprobabilityequation and marginalizationequation) to express the conditional probability $P(zy)$ as the ratio of two sums, each over entries in the joint distribution ${\textbf{P}}(X,Y,Z)$.

Now use Equation (parameterjointrepnequation) to write this expression in terms of the network parameters $\theta(X)$, $\theta(YX)$, and $\theta(ZY)$.

Next, expand out the summations in your expression from part (b), writing out explicitly the terms for the true and false values of each summed variable. Assuming that all network parameters satisfy the constraint $\sum_{x_i} \theta(x_i{parents}(X_i))1$, show that the resulting expression reduces to $\theta(zy)$.

Generalize this derivation to show that $\theta(X_i{Parents}(X_i)) = {\textbf{P}}(X_i{Parents}(X_i))$ for any Bayesian network.
The arc reversal operation of in a Bayesian network allows us to change the direction of an arc $X\rightarrow Y$ while preserving the joint probability distribution that the network represents @Shachter:1986. Arc reversal may require introducing new arcs: all the parents of $X$ also become parents of $Y$, and all parents of $Y$ also become parents of $X$.

Assume that $X$ and $Y$ start with $m$ and $n$ parents, respectively, and that all variables have $k$ values. By calculating the change in size for the CPTs of $X$ and $Y$, show that the total number of parameters in the network cannot decrease during arc reversal. (Hint: the parents of $X$ and $Y$ need not be disjoint.)

Under what circumstances can the total number remain constant?

Let the parents of $X$ be $\textbf{U} \cup \textbf{V}$ and the parents of $Y$ be $\textbf{V} \cup \textbf{W}$, where $\textbf{U}$ and $\textbf{W}$ are disjoint. The formulas for the new CPTs after arc reversal are as follows: Prove that the new network expresses the same joint distribution over all variables as the original network.
Consider the Bayesian network in Figure burglaryfigure.

If no evidence is observed, are ${Burglary}$ and ${Earthquake}$ independent? Prove this from the numerical semantics and from the topological semantics.

If we observe ${Alarm}{true}$, are ${Burglary}$ and ${Earthquake}$ independent? Justify your answer by calculating whether the probabilities involved satisfy the definition of conditional independence.
Suppose that in a Bayesian network containing an unobserved variable $Y$, all the variables in the Markov blanket ${MB}(Y)$ have been observed.

Prove that removing the node $Y$ from the network will not affect the posterior distribution for any other unobserved variable in the network.

Discuss whether we can remove $Y$ if we are planning to use (i) rejection sampling and (ii) likelihood weighting.
Exercise 14.7 [handednessexercise]
Let $H_x$ be a random variable denoting the handedness of an individual $x$, with possible values $l$ or $r$. A common hypothesis is that left or righthandedness is inherited by a simple mechanism; that is, perhaps there is a gene $G_x$, also with values $l$ or $r$, and perhaps actual handedness turns out mostly the same (with some probability $s$) as the gene an individual possesses. Furthermore, perhaps the gene itself is equally likely to be inherited from either of an individual’s parents, with a small nonzero probability $m$ of a random mutation flipping the handedness.

Which of the three networks in Figure handednessfigure claim that $ {\textbf{P}}(G_{father},G_{mother},G_{child}) = {\textbf{P}}(G_{father}){\textbf{P}}(G_{mother}){\textbf{P}}(G_{child})$?

Which of the three networks make independence claims that are consistent with the hypothesis about the inheritance of handedness?

Which of the three networks is the best description of the hypothesis?

Write down the CPT for the $G_{child}$ node in network (a), in terms of $s$ and $m$.

Suppose that $P(G_{father}l)=P(G_{mother}l)=q$. In network (a), derive an expression for $P(G_{child}l)$ in terms of $m$ and $q$ only, by conditioning on its parent nodes.

Under conditions of genetic equilibrium, we expect the distribution of genes to be the same across generations. Use this to calculate the value of $q$, and, given what you know about handedness in humans, explain why the hypothesis described at the beginning of this question must be wrong.
Exercise 14.8 [markovblanketexercise]
The Markov blanket of a variable is defined on page markovblanketpage. Prove that a variable is independent of all other variables in the network, given its Markov blanket and derive Equation (markovblanketequation) (page markovblanketequation).
Consider the network for car diagnosis shown in Figure carstartsfigure.

Extend the network with the Boolean variables ${IcyWeather}$ and ${StarterMotor}$.

Give reasonable conditional probability tables for all the nodes.

How many independent values are contained in the joint probability distribution for eight Boolean nodes, assuming that no conditional independence relations are known to hold among them?

How many independent probability values do your network tables contain?

The conditional distribution for ${Starts}$ could be described as a noisyAND distribution. Define this family in general and relate it to the noisyOR distribution.
Consider a simple Bayesian network with root variables ${Cold}$, ${Flu}$, and ${Malaria}$ and child variable ${Fever}$, with a noisyOR conditional distribution for ${Fever}$ as described in Section canonicaldistributionsection. By adding appropriate auxiliary variables for inhibition events and feverinducing events, construct an equivalent Bayesian network whose CPTs (except for root variables) are deterministic. Define the CPTs and prove equivalence.
Consider the family of linear Gaussian networks, as defined on page LGnetworkpage.

In a twovariable network, let $X_1$ be the parent of $X_2$, let $X_1$ have a Gaussian prior, and let ${\textbf{P}}(X_2X_1)$ be a linear Gaussian distribution. Show that the joint distribution $P(X_1,X_2)$ is a multivariate Gaussian, and calculate its covariance matrix.

Prove by induction that the joint distribution for a general linear Gaussian network on $X_1,\ldots,X_n$ is also a multivariate Gaussian.
Exercise 14.12 [multivaluedprobitexercise]
The probit distribution defined on page probitpage describes the probability distribution for a Boolean child, given a single continuous parent.

How might the definition be extended to cover multiple continuous parents?

How might it be extended to handle a multivalued child variable? Consider both cases where the child’s values are ordered (as in selecting a gear while driving, depending on speed, slope, desired acceleration, etc.) and cases where they are unordered (as in selecting bus, train, or car to get to work). (Hint: Consider ways to divide the possible values into two sets, to mimic a Boolean variable.)
In your local nuclear power station, there is an alarm that senses when a temperature gauge exceeds a given threshold. The gauge measures the temperature of the core. Consider the Boolean variables $A$ (alarm sounds), $F_A$ (alarm is faulty), and $F_G$ (gauge is faulty) and the multivalued nodes $G$ (gauge reading) and $T$ (actual core temperature).

Draw a Bayesian network for this domain, given that the gauge is more likely to fail when the core temperature gets too high.

Is your network a polytree? Why or why not?

Suppose there are just two possible actual and measured temperatures, normal and high; the probability that the gauge gives the correct temperature is $x$ when it is working, but $y$ when it is faulty. Give the conditional probability table associated with $G$.

Suppose the alarm works correctly unless it is faulty, in which case it never sounds. Give the conditional probability table associated with $A$.

Suppose the alarm and gauge are working and the alarm sounds. Calculate an expression for the probability that the temperature of the core is too high, in terms of the various conditional probabilities in the network.
Exercise 14.14 [telescopeexercise]
Two astronomers in different parts of the world make measurements $M_1$ and $M_2$ of the number of stars $N$ in some small region of the sky, using their telescopes. Normally, there is a small possibility $e$ of error by up to one star in each direction. Each telescope can also (with a much smaller probability $f$) be badly out of focus (events $F_1$ and $F_2$), in which case the scientist will undercount by three or more stars (or if $N$ is less than 3, fail to detect any stars at all). Consider the three networks shown in Figure telescopenetsfigure.

Which of these Bayesian networks are correct (but not necessarily efficient) representations of the preceding information?

Which is the best network? Explain.

Write out a conditional distribution for ${\textbf{P}}(M_1N)$, for the case where $N{1,2,3}$ and $M_1{0,1,2,3,4}$. Each entry in the conditional distribution should be expressed as a function of the parameters $e$ and/or $f$.

Suppose $M_11$ and $M_23$. What are the possible numbers of stars if you assume no prior constraint on the values of $N$?

What is the most likely number of stars, given these observations? Explain how to compute this, or if it is not possible to compute, explain what additional information is needed and how it would affect the result.
Consider the network shown in Figure telescopenetsfigure(ii), and assume that the two telescopes work identically. $N{1,2,3}$ and $M_1,M_2{0,1,2,3,4}$, with the symbolic CPTs as described in Exercise telescopeexercise. Using the enumeration algorithm (Figure enumerationalgorithm on page enumerationalgorithm), calculate the probability distribution ${\textbf{P}}(NM_12,M_22)$.
Consider the Bayes net shown in Figure politicsfigure.

Which of the following are asserted by the network structure?

${\textbf{P}}(B,I,M) = {\textbf{P}}(B){\textbf{P}}(I){\textbf{P}}(M)$.

${\textbf{P}}(JG) = {\textbf{P}}(JG,I)$.

${\textbf{P}}(MG,B,I) = {\textbf{P}}(MG,B,I,J)$.


Calculate the value of $P(b,i,\lnot m,g,j)$.

Calculate the probability that someone goes to jail given that they broke the law, have been indicted, and face a politically motivated prosecutor.

A contextspecific independence (see page CSIpage) allows a variable to be independent of some of its parents given certain values of others. In addition to the usual conditional independences given by the graph structure, what contextspecific independences exist in the Bayes net in Figure politicsfigure?

Suppose we want to add the variable $P{PresidentialPardon}$ to the network; draw the new network and briefly explain any links you add.
Consider the Bayes net shown in Figure politicsfigure.

Which, if any, of the following are asserted by the network structure (ignoring the CPTs for now)?

${\textbf{P}}(B,I,M) = {\textbf{P}}(B){\textbf{P}}(I){\textbf{P}}(M)$.

${\textbf{P}}(JG) = {\textbf{P}}(JG,I)$.

${\textbf{P}}(MG,B,I) = {\textbf{P}}(MG,B,I,J)$.


Calculate the value of $P(b,i,m,\lnot g,j)$.

Calculate the probability that someone goes to jail given that they broke the law, have been indicted, and face a politically motivated prosecutor.

A contextspecific independence (see page CSIpage) allows a variable to be independent of some of its parents given certain values of others. In addition to the usual conditional independences given by the graph structure, what contextspecific independences exist in the Bayes net in Figure politicsfigure?

Suppose we want to add the variable $P{PresidentialPardon}$ to the network; draw the new network and briefly explain any links you add.
Consider the variable elimination algorithm in Figure eliminationaskalgorithm (page eliminationaskalgorithm).

Section exactinferencesection applies variable elimination to the query Perform the calculations indicated and check that the answer is correct.

Count the number of arithmetic operations performed, and compare it with the number performed by the enumeration algorithm.

Suppose a network has the form of a chain: a sequence of Boolean variables $X_1,\ldots, X_n$ where ${Parents}(X_i){X_{i1}}$ for $i2,\ldots,n$. What is the complexity of computing ${\textbf{P}}(X_1X_n{true})$ using enumeration? Using variable elimination?

Prove that the complexity of running variable elimination on a polytree network is linear in the size of the tree for any variable ordering consistent with the network structure.
Exercise 14.19 [bncomplexityexercise]
Investigate the complexity of exact inference in general Bayesian networks:

Prove that any 3SAT problem can be reduced to exact inference in a Bayesian network constructed to represent the particular problem and hence that exact inference is NPhard. (Hint: Consider a network with one variable for each proposition symbol, one for each clause, and one for the conjunction of clauses.)

The problem of counting the number of satisfying assignments for a 3SAT problem is #Pcomplete. Show that exact inference is at least as hard as this.
Exercise 14.20 [primitivesamplingexercise]
Consider the problem of generating a random sample from a specified distribution on a single variable. Assume you have a random number generator that returns a random number uniformly distributed between 0 and 1.

Let $X$ be a discrete variable with $P(Xx_i)p_i$ for $i{1,\ldots,k}$. The cumulative distribution of $X$ gives the probability that $X{x_1,\ldots,x_j}$ for each possible $j$. (See also Appendix [mathappendix].) Explain how to calculate the cumulative distribution in $O(k)$ time and how to generate a single sample of $X$ from it. Can the latter be done in less than $O(k)$ time?

Now suppose we want to generate $N$ samples of $X$, where $N\gg k$. Explain how to do this with an expected run time per sample that is constant (i.e., independent of $k$).

Now consider a continuousvalued variable with a parameterized distribution (e.g., Gaussian). How can samples be generated from such a distribution?

Suppose you want to query a continuousvalued variable and you are using a sampling algorithm such as LIKELIHOODWEIGHTING to do the inference. How would you have to modify the queryanswering process?
Consider the query ${\textbf{P}}({Rain}{Sprinkler}{true},{WetGrass}{true})$ in Figure rainclusteringfigure(a) (page rainclusteringfigure) and how Gibbs sampling can answer it.

How many states does the Markov chain have?

Calculate the transition matrix ${\textbf{Q}}$ containing $q({\textbf{y}}$ $\rightarrow$ ${\textbf{y}}’)$ for all ${\textbf{y}}$, ${\textbf{y}}’$.

What does ${\textbf{ Q}}^2$, the square of the transition matrix, represent?

What about ${\textbf{Q}}^n$ as $n\to \infty$?

Explain how to do probabilistic inference in Bayesian networks, assuming that ${\textbf{Q}}^n$ is available. Is this a practical way to do inference?
Exercise 14.22 [gibbsproofexercise]
This exercise explores the stationary distribution for Gibbs sampling methods.

The convex composition $[\alpha, q_1; 1\alpha, q_2]$ of $q_1$ and $q_2$ is a transition probability distribution that first chooses one of $q_1$ and $q_2$ with probabilities $\alpha$ and $1\alpha$, respectively, and then applies whichever is chosen. Prove that if $q_1$ and $q_2$ are in detailed balance with $\pi$, then their convex composition is also in detailed balance with $\pi$. (Note: this result justifies a variant of GIBBSASK in which variables are chosen at random rather than sampled in a fixed sequence.)

Prove that if each of $q_1$ and $q_2$ has $\pi$ as its stationary distribution, then the sequential composition $q q_1 \circ q_2$ also has $\pi$ as its stationary distribution.
The Metropolis–Hastings algorithm is a member of the MCMC family; as such, it is designed to generate samples $\textbf{x}$ (eventually) according to target probabilities $\pi(\textbf{x})$. (Typically we are interested in sampling from $\pi(\textbf{x})P(\textbf{x}\textbf{e})$.) Like simulated annealing, Metropolis–Hastings operates in two stages. First, it samples a new state $\textbf{x’}$ from a proposal distribution $q(\textbf{x’}\textbf{x})$, given the current state $\textbf{x}$. Then, it probabilistically accepts or rejects $\textbf{x’}$ according to the acceptance probability If the proposal is rejected, the state remains at $\textbf{x}$.

Consider an ordinary Gibbs sampling step for a specific variable $X_i$. Show that this step, considered as a proposal, is guaranteed to be accepted by Metropolis–Hastings. (Hence, Gibbs sampling is a special case of Metropolis–Hastings.)

Show that the twostep process above, viewed as a transition probability distribution, is in detailed balance with $\pi$.
Exercise 14.24 [soccerrpmexercise]
Three soccer teams $A$, $B$, and $C$, play each other once. Each match is between two teams, and can be won, drawn, or lost. Each team has a fixed, unknown degree of quality—an integer ranging from 0 to 3—and the outcome of a match depends probabilistically on the difference in quality between the two teams.

Construct a relational probability model to describe this domain, and suggest numerical values for all the necessary probability distributions.

Construct the equivalent Bayesian network for the three matches.

Suppose that in the first two matches $A$ beats $B$ and draws with $C$. Using an exact inference algorithm of your choice, compute the posterior distribution for the outcome of the third match.

Suppose there are $n$ teams in the league and we have the results for all but the last match. How does the complexity of predicting the last game vary with $n$?

Investigate the application of MCMC to this problem. How quickly does it converge in practice and how well does it scale?