产生式系统 正文 构造知识型系统和建立认知模型时常用的知识表示的形式系统。1943年e.波斯特首先将他提出的一种计算形式体系命名为产生式系统。50年代末期，a.纽厄尔和h.a.西蒙在研究人类问题求解的认知模型时也使用了产生式系统这一术语。产生式系统现代已成为研制人工智能系统时采用的最典型的体系结构之一。 产生式规则 简称产生式。它是指形如α─→β或ifαthenβ或其等价形式的一条规则,其中α称为产生式的左部或前件;β称为产生式的右部或后件。①如果α、β分别代表需要注视的一组条件及其成立时需要采取的行动，那么称为条件-行动型产生式;②如果α、β分别代表前提及其相应的结论,那么称为前提-结论型产生式。人工智能中的推理很多是建立在直观经验基础上的不精确推理，而产生式在表示和运用不精确知识方面具有灵活性，因此许多专家系统采用产生式系统为体系结构。 产生式系统的...
