确定性知识推理方法--产生式推理

通常把利用产生式知识表示方法进行的推理称为产生式推理，把由此产生的系统称为产生式系统。按照推理的分为正向推理，逆向推理，混合推理三种方式。

产生式推理的基本结构

综合数据库: data base也称为事实库，是一个存放与需要求解的问题相关的所有信息的数据结构。如 ： 问题的初始状态，输入的事实，推理得到的中间结果，最终结论。

在推理的过程中，某条规则的前提可以和综合数据库中的已知事实相匹配时，该条规则被激活，由它推出的结论将作为新的事实放入综合数据库，成为后面推理的已知事实。

规则库(RB)： rule base用来存放与求解问题有关的所有规则的集合，又称为知识库(KB)knowlege base，包含了将问题从初始状态到目标状态所需要的所有变化规则。

规则库是产生式系统进行问题求解的基础，其知识的完整性，一致性，准确性，灵活性，以及知识组织的合理性，对规则库的运行效果都有着重要的影响。

控制系统 :control system 也称为：推理机，由一组程序组成，控制整个产生式系统的运