产生式推理原则

简称产生式。

它是指形如α─→β或IFαTHENβ或其等价形式的一条规则,其中α称为产生式的左部或前件;β称为产生式的右部或后件。

①如果α、β分别代表需要注视的一组条件及其成立时需要采取的行动，那么称为条件-行动型产生式;②如果α、β分别代表前提及其相应的结论,那么称为前提-结论型产生式。人工智能中的推理很多是建立在直观经验基础上的不精确推理，而产生式在表示和运用不精确知识方面具有灵活性，因此许多专家系统采用产生式系统为体系结构。

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

正向推理是一种从已知事实出发、正向使用推理规则的推理方式，也称为数据驱动推理或前向链推理。

逆向推理是一种以某个假设目标作为出发点的推理方法。