逆向推理

逆向推理，也稱目標(biāo)驅(qū)動(dòng)推理，與正向推理正好相反它從結(jié)論出發(fā)，到知識(shí)庫(kù)中尋找證據(jù)來(lái)驗(yàn)證結(jié)論的正確性。

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

給出驗(yàn)證的目標(biāo)；

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

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

在知識(shí)庫(kù)中找出所有可能導(dǎo)致這個(gè)目標(biāo)的規(guī)則，形成適用的知識(shí)集，然后進(jìn)行下一步；

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

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

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

推理演繹