Abductive Inference Models for Diagnostic Problem-Solving (Symbolic Computation)