通常把利用产生式知识表示方法进行的推理称为产生式推理,把由此产生的系统称为产生式系统。按照推理的分为正向推理,逆向推理,混合推理三种方式。
产生式推理的基本结构
综合数据库: data base也称为事实库,是一个存放与需要求解的问题相关的所有信息的数据结构。如 : 问题的初始状态,输入的事实,推理得到的中间结果,最终结论。
在推理的过程中,某条规则的前提可以和综合数据库中的已知事实相匹配时,该条规则被激活,由它推出的结论将作为新的事实放入综合数据库,成为后面推理的已知事实。
规则库(RB): rule base用来存放与求解问题有关的所有规则的集合,又称为知识库(KB)knowlege base,包含了将问题从初始状态到目标状态所需要的所有变化规则。
规则库是产生式系统进行问题求解的基础,其知识的完整性,一致性,准确性,灵活性,以及知识组织的合理性,对规则库的运行效果都有着重要的影响。
控制系统 :control system 也称为:推理机,由一组程序组成,控制整个产生式系统的运