I'm having a bit of trouble distinguishing between procedural knowledge and propositional knowledge. Particularly in problem solving. Generally the difference between them is knowing how and knowing what, respectively. Propositional knowledge is composed of four parts, syntactic (learning equations, vocabulary etc.) semantic (linguistic sense, how to use the vocabulary etc.), schematic (structural awareness, similarities and differences between categories) and finally there is strategic knowledge. This involves problem-solving strategies, so what's the difference between that and procedural knowledge? Can't they both be tacit/subconscious? Aren't they both dependent on experience, recognizing familiar cues thereby retrieving the relevant knowledge intuitively/quickly? I think it'd be better to say that procedural knowledge is the application of propositional knowledge tactfully in order to accomplish a task.