General Diagnosis by Abductive Inference