正向推理

正向推理又稱數據驅動推理，是按照由條件推出結論的方向進行的推理方式，它從一組事實出發，使用一定的推理規則，來證明目標事實或命題的成立。一般的推理過程是先向綜合資料庫提供一些初始已知事實，控制系統利用這些數據與知識庫中的知識進行匹配，被觸發的知識，將其結論作為新的事實添加到綜合資料庫中。重複上述過程，用更新過的綜合資料庫中的事實再與知識庫中另一條知識匹配，將其結論更新至綜合資料庫中，直到沒有可匹配的新知識和不再有新的事實加入到綜合資料庫中為止。然後測試是否得到解，有解則返回解，無解則提示運行失敗。

1）將用戶提供的初始已知事實送入綜合資料庫；

2）檢查綜合資料庫中是否已經包含問題的解，若有則求解結束，否則執行下一步；

3）將初始已知事實與知識庫中的知識做匹配，若有，則轉4），否則轉6）；

4）將所有的匹配成功的知識構建成一個知識集；

5）若知識集不為空，則按某種衝突消解策略選擇一條規則進行推理，並將其推出的新事實更新至綜合資料庫，然後轉2）；若知識集為空，則轉6）

6）詢問用戶是否可提供新的事實，若有則將其添加至綜合資料庫，轉3）；否則表示問題求解失敗，退出。

正向推理控制策略的優點在於用戶可以主動地提供問題的相關信息（新事實），並且及時給出反應。不足之處在於求解過程中執行許多與問題無關的操作，有一定的盲目性，效率較低，在推理過程中可能推出許多和問題無關的子目標。

異常原因分析和控制決策的正向推理流程