Answer Justification in Diagnostic Expert Systems - Part I: Abductive Inference and Its Justification | IEEE Journals & Magazine | IEEE Xplore