Categorical and Probabilistic Reasoning in Medical Diagnosis - Szolovits, P; Pauker, S. G (Artif. Intell, 1978)