产生式迁移理论将知识分为两大类，即程序性知识和陈述性知识。程序性知识对应于"怎么做"，陈述性知识对应于"是什么"。技能的学习分为两阶段：规则以陈述性知识形式进入学习者的命题网络，然后通过变式练习转化为程序性知识。迁移发生在两项任务之间存在共同的产生式或产生式重叠时，产生式的相似是迁移发生的条件。

ACT理论由Anderson等人提出，并通过大量实验验证了迁移理论的有效性。尽管当前的研究主要集中在计算机模拟上，但该理论在实际教学中的应用仍然具有重要意义。因为迁移水平取决于共有的产生式数量，因此，教学中应注重基本概念原理和规则的传授，为后续学习做好准备。同时，先前学习的内容需要充分练习，以便更容易实现迁移。

总之，产生式迁移理论通过区分程序性知识和陈述性知识，并强调产生式的相似性在迁移过程中的作用，为理解技能学习和知识迁移提供了理论基础。尽管该理论的研究仍然处于计算机模拟阶段，但其在实际教学中的应用价值是不可忽视的。通过注重基本概念和规则的教学以及充分练习，可以有效促进知识的迁移和技能的习得。