機器智能-高頻問題：反向連接算法

二、反向鏈接算法： a、快，但不完備 b、從結論推出前提而後進行匹配。： ①、掃描知識庫，找到結論爲最終結論的事實 ②、將找到的結論中的相應的變量進行置換，獲得新的實例化後的結論 ③、以新的實例化後的結論爲目標，找到可以推導出該結論的前提條件 ④、將找到的前提條件中的相應變量進行置換 ⑤、重複，直到與知識庫中的已知條件相吻合 c、舉例： 題目同上 首先，找到能推導出結論的前提條件 而後，找出能推導

>>阅读原文<<