"产生式"由美国数学家波斯特(E.POST)在1934年首先提出，它根据串代替规则提出了一种称为波斯特机的计算模型，模型中的每条规则称为产生式。1972年，纽厄尔和西蒙在研究人类的认知模型中开发了基于规则的产生式系统，目前，产生式表示法已经成了人工智能中应用最多的一种知识表示模式，尤其是在专家系统方面，许多成功的专家系统都是采用产生式知识表示方法。产生式的基本形式P→Q或者IFPTHENQ，P是产生式的前提，也称为前件，它给出了该产生式可否使用的先决条件，由事实的逻辑组合来构成;Q是一组结论或操作，也称为产生式的后件，它指出当前提P满足时，应该推出的结论或应该执行的动作。产生式的含义如果前提P