Probabilistic Methods For Uncertain Reasoning