产生式表示法

热度:266

简介

“产生式”由美国数学家波斯特(E.POST)在1934年首先提出,它根据串代替规则提出了一种称为波斯特机的计算模型,模型中的每条规则称为产生式。

1972年,纽厄尔和西蒙在研究人类的认知模型中开发了基于规则的产生式系统,目前,产生式表示法已经成了人工智能中应用最多的一种知识表示模式,尤其是在专家系统方面,许多成功的专家系统都是采用产生式知识表示方法。产生式的基本形式P→Q 或者 IF P THEN Q,P是产生式的前提,也称为前件,它给出了该产生式可否使用的先决条件,由事实的逻辑组合来构成;Q是一组结论或操作,也称为产生式的后件,它指出当前提P满足时,应该推出的结论或应该执行的动作。产生式的含义如果前提P满足,则可推出结论Q或执行Q所规定的操作。

中文名 产生式表示法
原始名称 产生式表示法
外文名 production representation
时间 1934
类别 计算模型
精选上位词 法律
英文名 production representation
Extra
  • 产生式表示法
  • 波斯特
  • 相关实体