点击看详解
(4)推理过程
①用与/或树把目标公式表示出来
②用B规则的右部分和与/或树的叶子节点进行匹配，并将匹配成功的B规则加入到与/或树中
③重复② ，直到产生某各中止在事实结点上的一致解图为止
例 事实 f1:DOG(Fido) Fido 是一只狗
f2:非BARKS(Fido) Fido不吠叫
f3:WAGS-TAIL(Fido) Fido摇尾巴
f4:MEOWS(Myrtle) Myrtle 咪咪叫
 点击看详解