way to generate propositional knowledge by applying general knowledge, the opposite of generalization