Categorical and Probabilistic Reasoning in Medical Diagnosis