Abductive Inference Models for Diagnostic Problem-Solving