Inference as variable elimination
A factor over X is a function from val(X) to numbers in [0,1]:
- A CPT is a factor
- A joint distribution is also a factor
- factors are multiplied to give new ones
- variables in factors summed out
A variable can be summed out as soon as all factors mentioning it have been multiplied.