正向推理

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

1）用戶提供的初始已知事實被發送到綜合數據庫；

2）檢查綜合數據庫是否已經包含問題的解，如果是，則解結束，否則，執行下一步；

3）將最初的已知事實與知識庫中的知識進行匹配如果是，轉到4），否則轉6）

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

5）如果知識集不為空，則根據一個沖突解決策略選擇一個規則進行推理，將其導出的新事實更新到綜合數據庫，然后轉向2）如果知識集為空，請轉至6）

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

正向推理控制策略的優點是用戶可以主動提供問題的相關信息（新事實）并及時給予回復。缺點是在求解的過程中進行了很多與問題無關的運算，盲目低效，在推理的過程中可能會推導出很多與問題無關的子目標。

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