Reggia, James A.: Abductive Inference Models for Diagnostic Problem-Solving