第6章基于产生式规则的机器推理 6.1产生式规则 6.1.1产生式规则 产生式(Production)一词，首先是由美国数学家波斯特 (E.Post)提出来的。波斯特根据替换规则提出了一种称为波斯 特机的计算模型，模型中的每一条规则当时被称为一个产生式。 后来，这一术语几经修改扩充，被用到许多领域。例如，形式 语言中的文法规则就称为产生式。产生式也称为产生式规则 或简称规则。第 6 章 基于产生式规则的机器推理 6.1 产 生 式 规 则 6.1.1 产生式(Production)一词, 首先是由美国数学家波斯特 (E.Post)提出来的。波斯特根据替换规则提出了一种称为波斯 特机的计算模型, 模型中的每一条规则当时被称为一个产生式。 后来, 这一术语几经修改扩充, 被用到许多领域。例如, 形式 语言中的文法规则就称为产生式。产生式也称为产生式规则, 或简称规则