逆向推理

逆向推理，也稱目標驅(qū)動推理，與正向推理正好相反它從結(jié)論出發(fā)，到知識庫中尋找證據(jù)來驗證結(jié)論的正確性。

逆向推理的基本推理過程是用一套知識來證明事實，即提出若干假設(shè)（目標）然后逐一驗證這些假設(shè)的正確性。推理過程算法如下：

給出驗證的目標；

檢查目標是否已經(jīng)在綜合數(shù)據(jù)庫中如果是，則成功推出否則，轉(zhuǎn)到下一步；

判斷對象是否是證據(jù)，即是否是一個應(yīng)該由用戶確認的初始事實。如果是，詢問用戶，否則，轉(zhuǎn)到 下一步；

在知識庫中找出所有可能導致這個目標的規(guī)則，形成適用的知識集，然后進行下一步；

從知識集中選擇一個規(guī)則，以該知識的前件作為新的假設(shè)目標，然后轉(zhuǎn)向2）

逆向推理控制策略的優(yōu)點是目的性強，不需要尋找與假設(shè)無關(guān)的信息和知識。這種策略為推理過程提供了更準確的解釋，并告訴用戶實現(xiàn)目標所使用的規(guī)則（知識）此外，這種控制策略特別適用于求解空間較小的問題求解環(huán)境，有利于為用戶提供求解過程。缺點是初始目標的選擇具有盲目性，無法通過用戶提供的游泳信息進行操作用戶要求快速輸入相應(yīng)的問題域，如果不實用，就要多次做假設(shè)，影響系統(tǒng)的效率。與正向推理相比，反向推理目的性很強，通常用于驗證某一特定知識是否成立。

離散數(shù)學中的逆向推理：

推理演繹