Title: Pattern-Directed Inference Systems