产生式知识表示方法由美国数学家E.Post于1943提出，具有和Turing机一样的表达能力。也有心理学家认为人脑对知识的存储就是产生式形式的。 　　产生式系统有悠久的历史。据考证，最早提出产生式系统并把它作为计算手段的是美国数学家Post，大约在1943年。他设计的Post系统，目的是为了构造一种形式化的计算工具，并证明它和图灵机有相同的计算能力。几乎在同一时期，Chomsky在研究自然语言结构时，提出了文法分层的概念，并提出了文法的“重写规则”，即语言生成规则，实际上是特殊的产生式。1960年，Backus提出了著名的BNF（巴科斯范式），用以描述计算机语言的文法，后来发现，BNF范式实际上就是Chomsky的上下文无关文法。至此，产生式系统的应用范围大大扩展。 　　产生式表示方法容易描述事实、规则以及它们的不确定性度量。