Bayes Network Tool To Save Christmas in Springfield

Bayes Network Tool To Save Christmas in Springfield

If the background graphics bother you, here is a txt version of this file

For this mini-project, you will be using the bayes net tool available
at:

http://www.cs.ubc.ca/labs/lci/CIspace/bayes.html

The tool is reasonably intuitive to use. Nevertheless, a very nice
interactive tutorial on the tool usage is available at

http://www.cs.ubc.ca/labs/lci/CIspace/project/CIspace/bayes/bayeshelp.html

You only probably need to read the tutorial 1 and 3 in the list there:

http://www.cs.ubc.ca/labs/lci/CIspace/project/CIspace/bayes/tut1.html

http://www.cs.ubc.ca/labs/lci/CIspace/project/CIspace/bayes/tut3.html


Problem: 

[[This is the same information as is given in Problem V in Homework
4--except the noisy or dependency between Core Meltdown, Inferior
Plutonium and Low quality Heavy Water.]]

We have decided to use the bayes-network technology to model the       
Springfield nuclear power plant (where Homer Simpson is gainfully      
employed). Here is our understanding of the domain (this is all        
official based on my conversations with Bart). The presence of         
inferior plutonium or low quality heavy water (D20) in the plant       
reactor leads to a core melt-down in the reactor. When core-meltdown   
occurs, it tends to irradiate the employees (such as Homer) causing    
them to glow in the dark. Core-meltdown also tends to shutoff the      
power grid which in turn causes the slurpees in Apu's convenience      
store (called Squishees at  Kwikee Mart) to melt and get watery.       
                                                                       
                                                                       
                                                                       
Here are a bunch of probabilities I got from the Springfield
Statistics Beureau: The dependency between Core Meltdown and Inferior
Plutonium and Low Quality Heavy Water can be modeled as a "Noisy-OR"
distribution. Inferior plutonium fails to cause core melt down with a
probability of 0.7; and low quality heavy water fails to cause core
meltdown with a probabilityof 0.8.  

Core-meltdown leads to glowing-in-the-dark employees with probability
0.5. What with lax quality control over at Springfield plant, even
under normal circumstances, Homer and his buddies tend to glow in the
dark with probability 0.05. Core-meltdown causes slurpee liquification
with 0.9, and over at Apu's slurpees tend to get watery even without a
core-meltdown with probability 0.1. 

Finally, the probability that Springfield plant gets inferior-quality
plutonium is 0.3 and that it gets low-quality heavy water is 0.4 (you
know that wacky Burns--he is always trying to buy cheap stuff and make
more bucks).

Tasks: 

Do all these tasks. Write down your observations for each
task. Include snapshots of the bayes net tool as appropriate.

Part I. [Bayesnet]

1. Create the bayes network that you have above in the bayes net
   tool. Enter the conditional probability tables as appropriate.  To
   show that you have done this task, you need to (1) include a bitmap
   of the network (use Alt-Printscreen in windows) and (2) include the
   .bn text-format representation of the network (you can output this
   by going to the edit menu, and selecting the first command).


2. Now go to the solve pane and evaluate the following
   queries--in that order. *Comment* on whether the relative values
   are in accordance with our intuitions. 


   P(IP)
   P(IP|ASL)
   P(IP|CM)
   P(IP|CM,ASL)
   P(IP|CM,LHW)
   
   
(You can accomplish these easily by "monitoring" the IP node, and
observing/de-observing the appropriate variables). 

(Glossary: IP--Inferior Plutonium. ASL-->Apu's Slurpees
liquify. CM-->Core Meltdown.  GID-->Glow in the Dark, LHW-->Low
quality Heavy Water). 


***Changed version

3. [Value of Information](***Extra Credit---Try this after everything
   else is done***)[Changed on [Dec 02, 2001])

 Given that the holiday season is coming, and liquified slurpees and
glowing employees don't exactly make for a festive season (although
opinions vary on this according to Bart), the town sent a
representation to Mr. Burns threatening that if there is a KABOOM
during the holiday season, and the town festivities get affected, they
will sue Mr. Burns for 100,000$. (Assume that their suit, once
entered, will be upheld by the bleeding-heart juries over at
Springfield).

Now Mr. Burns has to decide whether he should take up a
"Mid-christmas-Kaboom" insurance for his reactor or not. The insurance
costs 10,000$ for the christmas season and will then indemnify
Mr. Burns to all Kaboom-related suits. 

Qn A: Up front, should Burns take the insurance or not? (use an
analysis
of expected costs and benefits).

Now, it turns out that there is a test available that tells Burns for
certain if the spring field reactor has low quality heavy water (I
can't go into details but it involves extracting a sample of the heavy
water from the plant and mixing it into the draft over at Moe's bar
and do a biopsy on Barney Gumble). The test costs 1000$ (990$ for
extracting a sample, and 10$ for cutting up Barney over in the Town's
hospital). Burns is trying to make up his mind whether it is worth the
money to do the test. (The value of the test is that once he knows
whether he has low quality heavy water in the plant, he can make a
more informed decision about whether or not to buy the costly
insurance.)
 
His question is whether he really should get the test done. Now,
Mr. Burns is, as we all know, immune to the human emotions, and does
cold bayesian dollar calculation to decide whether an action is worth
it.

Qn B. Your task is to find out, using the bayes net tool, along with
the
"value of information theory" tell Mr. Burns to do the test or not do
the test. Explain your reasoning.

You may want to read up the discussion on value of information at

http://rakaposhi.eas.asu.edu/cse471/f01-cse471-mailarchive/msg00135.html

Part II [Relations with logic]

1. Modify the network such that the causations are "perfect" and
"exhaustive" (e.g. Inferior plutonium _always_ causes Core Melt down,
and core meltdown will not be true if none of its causing variables
are true).  Confirm that you modified it by including a .bn
representation of the new network.

   
2. Write down a set of propositional logic statements that capture the
   knowledge encoded in the bayes network. 

3. Evaluate the following probabilities in this bayes network

  P(IP|ASL)
  P(IP|ASL,~LHW)
  P(IP|ASL,~GID)

  Interpret the answers. Comment on whether these answers are in line
  with what propositional logic would have us derive given the
  formulation in 4.


Part III [Reformulating Bayesnet]

Consider the following alternative way of specifying this bayes
net. Here, we introduce the random variables in the following order
into the network:

1. Apus's slurpees are liquified
2. Core melt down occured
3. Employees glow in the dark
4. Low quality heavy water
5. Inferior quality plutonium

1. Show the network that will result if we specified the numbers this
way (need both the topology as a screen dump, and the .bn
representation).  Note that you also need to put in the CPTs
(conditional probability tables) for each variable. To do this, you
will have to use the network as it existed at the end of Part I.1. as
the expert--and get the required CPTs by querying the network.

Comment on whether this network is better or worse in terms of number
of probabilites that you needed to assess. 

Once you specify the entire new network, to see that this and the
earlier network are equivalent, compute the the following thre
probabilities for the new network--and compare your values with the
answer for I.2.

   P(IP)
   P(IP|ASL)
   P(IP|CM)
   P(IP|CM,ASL)
   P(IP|CM,LHW)




Part IV:


We found out more information about the causes behind Inferior
Plutonium (IP) and Low Quality Heavy Water (LHW). It turns out that
Mr. Burns' stinginess is partly to blame for these. We know that
Mr. Burns _is_ stingy. We also found that when he is stingy, he is
likely to buy inferior plutonium with probability 0.3 and low quality
heavy water with probability 0.4.  

1. Modify the bayes network to show this improved understanding of the 
   domain. Show the topology as well as the .bn representation

2. Is the new network singly connected or multiply connected? If it is 
   multiply connected, please provide an equivalent singly connected
   network  (once again, you will need to show the topology and .bn
   representation). 








Subbarao Kambhampati
Last modified: Sun Dec 2 12:02:40 MST 2001