现代认知心理学运用产生式理论来解释程序性知识获得的心理机制。产生式术语来自计算机科学。美国信息加工心理学创始人西蒙和纽厄尔1970年首次将其应用于心理学来说明程序性知识的表征和获得机制。他们认为，人和计算机一样，都是物理信号系统，其功能都是操作符号。计算机之所以具有智能，能完成各种运算和解决问题，是由于它储存了一系列以“如果……那么……”形式编码规则的缘故。人经过学习，头脑中也储存了一系列以“如果……那么……”形式表示的规则，这种规则称为产生式。
        产生式由条件和行动两部分组成。产生式的基本原则是“如果条件为x，那么实施行动Y”。即当一个产生式的条件得到满足，则执行该产生式规定的某个行动。通常，解决一个简单的问题只需要一个产生式，而解决一个复杂的问题则需要若干的产生式，这些产生式组成了产生式系统。所谓产生式系统，就是人所能执行的一组内隐的智力活动。        程序性知识的学习本质上是掌握一个程序。即在长时记忆中形成一个解决问题的产生式系统，以后若遇到同样类型的问题，就可以按照这一产生式系统的程序，一步一步地做下去，直至问题解决。现代认知心理学家所提出的产生式系统理论，为揭示程序性知识的表征和获得的心理机制提供了新的思路，为程序性知识的教学提供了便于操作的科学依据。