Two stages of skill development are: declarative (facts are interpreted) and procedural (knowledge is embodied in skill procedures). Knowledge compilation moves skills from the declarative to procedural stage in subprocesses of composition, which collapses sequences of productions into single productions, and proceduralization, which embeds…

According to the ACT theory of skill acquisition, cognitive skills are encoded by a set of productions, which are organized according to a hierarchical goal structure. People solve problems in new domains by applying weak problem-solving procedures to declarative knowledge they have about this domain. From these initial problem solutions,…