正向推理

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

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

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

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

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

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

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

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