Diagnostic Knowledge Processing