产生式系统是由美国数学家E.Post于1943年提出的产生式规则而得名，其中产生式指符号的变换规则A→aA。E.Post设计的Post系统，目的是构造一种形式化的计算工具，并证明它和图灵机有相同的计算能力。几乎在同一时期，Chomsky在研究自然语言结构时提出了文法分层的概念，并提出了文法的“重写规则”，即语言生成规则，它实际上是特殊的产生式。1960年，Backus提出了著名的BNF（巴科斯范式），用以描述计算机语言的文法。后来发现，BNF范式实际上就是Chomsky的上下文无关文法。

把一组产生式放在一起，让它们互相配合、协同工作，一个产生式生成的结论可以供另一个产生式作为前提使用，以这种方式求得问题解决的系统就称为产生式系统。研究表明，产生式系统具有和图灵机一样的表达能力，也有心理学家认为人脑对知识的存储就是产生式形式的，因而产生式系统的应用范围大大扩展。1965年，美国的纽厄尔和西蒙利用这个原理建立了一个人类的认知模型，斯坦福大学利用产生式系统结构设计出第一个专家系统DENDRAL。

产生式系统用来描述若干个不同的以一个基本概念为基础的系统。这个基本概念就是产生式规则或产生式条件和操作对象的概念。在产生式系统中，论域的知识分为两部分：(www.daowen.com)

（1）事实：用于表示静态知识，如事物、事件和它们之间的关系。

（2）规则：用于表示推理过程和行为。