机器智能-高频问题：反向连接算法

二、反向链接算法： a、快，但不完备 b、从结论推出前提而后进行匹配。： ①、扫描知识库，找到结论为最终结论的事实 ②、将找到的结论中的相应的变量进行置换，获得新的实例化后的结论 ③、以新的实例化后的结论为目标，找到可以推导出该结论的前提条件 ④、将找到的前提条件中的相应变量进行置换 ⑤、重复，直到与知识库中的已知条件相吻合 c、举例： 题目同上 首先，找到能推导出结论的前提条件 而后，找出能推导

>>阅读原文<<