第6章基于产生式规则的机器推理 实际上，这种基于产生式规则的逻辑推理模式，就是逻辑 上所说的假言推理（对常量规则而言）和三段论推理（对变量规 则而言)，即： A →B A B 这里的大前提就是一个产生式规则，小前提就是证据事实。 其实，我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么，上面的式子也就是基于产生式规则的一般 推理模式。这就是说，产生式系统中的推理是更广义的推理。第 6 章 基于产生式规则的机器推理 实际上,这种基于产生式规则的逻辑推理模式, 就是逻辑 上所说的假言推理(对常量规则而言)和三段论推理(对变量规 则而言), 即： A →B A B 这里的大前提就是一个产生式规则, 小前提就是证据事实。 其实, 我们也可以把上面的有前提条件的操作和逻辑推理 统称为推理。那么,上面的式子也就是基于产生式规则的一般 推理模式。这就是说, 产生式系统中的推理是更广义的推理