正向推理

正向推理是根據(jù)條件推導(dǎo)出結(jié)論的方向進(jìn)行推理的一種方式。正向推理，也稱數(shù)據(jù)驅(qū)動(dòng)推理，是一種從條件推導(dǎo)結(jié)論方向的推理方式它從一組事實(shí)出發(fā)，運(yùn)用一定的推理規(guī)則來(lái)證明目標(biāo)事實(shí)或命題的成立。一般的推理過(guò)程是向綜合數(shù)據(jù)庫(kù)提供一些初始的已知事實(shí)，控制系統(tǒng)利用這些數(shù)據(jù)匹配知識(shí)庫(kù)中的知識(shí)，被觸發(fā)的知識(shí)將其結(jié)論作為新的事實(shí)添加到綜合數(shù)據(jù)庫(kù)中。重復(fù)上述過(guò)程，將更新后的綜合數(shù)據(jù)庫(kù)中的事實(shí)與知識(shí)庫(kù)中的另一個(gè)知識(shí)進(jìn)行匹配，將其結(jié)論更新到綜合數(shù)據(jù)庫(kù)中，直到?jīng)]有新的知識(shí)匹配，沒(méi)有新的事實(shí)添加到綜合數(shù)據(jù)庫(kù)中。然后測(cè)試是否得到解如果有解，則返回解，如果沒(méi)有解，則操作失敗。

1）用戶提供的初始已知事實(shí)被發(fā)送到綜合數(shù)據(jù)庫(kù)；

2）檢查綜合數(shù)據(jù)庫(kù)是否已經(jīng)包含問(wèn)題的解，如果是，則解結(jié)束，否則，執(zhí)行下一步；

3）將最初的已知事實(shí)與知識(shí)庫(kù)中的知識(shí)進(jìn)行匹配如果是，轉(zhuǎn)到4），否則轉(zhuǎn)6）

4）將所有匹配成功的知識(shí)構(gòu)建成一個(gè)知識(shí)集；

5）如果知識(shí)集不為空，則根據(jù)一個(gè)沖突解決策略選擇一個(gè)規(guī)則進(jìn)行推理，將其導(dǎo)出的新事實(shí)更新到綜合數(shù)據(jù)庫(kù)，然后轉(zhuǎn)向2）如果知識(shí)集為空，請(qǐng)轉(zhuǎn)至6）

6）詢問(wèn)用戶是否可以提供新的事實(shí)，如果可以，將它們添加到綜合數(shù)據(jù)庫(kù)中，并轉(zhuǎn)至3）否則，意味著問(wèn)題未能解決，并退出。

正向推理控制策略的優(yōu)點(diǎn)是用戶可以主動(dòng)提供問(wèn)題的相關(guān)信息（新事實(shí)）并及時(shí)給予回復(fù)。缺點(diǎn)是在求解的過(guò)程中進(jìn)行了很多與問(wèn)題無(wú)關(guān)的運(yùn)算，盲目低效，在推理的過(guò)程中可能會(huì)推導(dǎo)出很多與問(wèn)題無(wú)關(guān)的子目標(biāo)。