Knowledge-Driven Generalization