Abductive Inference Models for Diagnostic Problem-solving