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

推理流程 編輯本段
1)用戶提供的初始已知事實被發(fā)送到綜合數(shù)據(jù)庫;
2)檢查綜合數(shù)據(jù)庫是否已經(jīng)包含問題的解,如果是,則解結(jié)束,否則,執(zhí)行下一步;
3)將最初的已知事實與知識庫中的知識進行匹配如果是,轉(zhuǎn)到4),否則轉(zhuǎn)6)
4)將所有匹配成功的知識構(gòu)建成一個知識集;
5)如果知識集不為空,則根據(jù)一個沖突解決策略選擇一個規(guī)則進行推理,將其導(dǎo)出的新事實更新到綜合數(shù)據(jù)庫,然后轉(zhuǎn)向2)如果知識集為空,請轉(zhuǎn)至6)
6)詢問用戶是否可以提供新的事實,如果可以,將它們添加到綜合數(shù)據(jù)庫中,并轉(zhuǎn)至3)否則,意味著問題未能解決,并退出。
正向推理控制策略的優(yōu)點是用戶可以主動提供問題的相關(guān)信息(新事實)并及時給予回復(fù)。缺點是在求解的過程中進行了很多與問題無關(guān)的運算,盲目低效,在推理的過程中可能會推導(dǎo)出很多與問題無關(guān)的子目標(biāo)。
附件列表
詞條內(nèi)容僅供參考,如果您需要解決具體問題
(尤其在法律、醫(yī)學(xué)等領(lǐng)域),建議您咨詢相關(guān)領(lǐng)域?qū)I(yè)人士。