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

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