Categorical and probabilistic reasoning in medical diagnosis