Pattern Recognition as Knowledge-Guided Computer Induction