nProbability is a rigorous formalism for uncertain knowledge
nJoint probability distribution specifies probability of every atomic event
nQueries can be answered by summing over atomic events
nFor nontrivial domains, we must find a way to reduce the joint size
nIndependence and conditional independence
provide the tools