推理機

推理機是實施問題求解的核心執行機構，常見於專家系統。它是對知識進行解釋的程序，根據知識的語義，對按一定策略找到的知識進行解釋執行，並把結果記錄到動態庫的適當空間中去。

優點

推理機的程序與知識庫的具體內容無關，所以對知識庫的修改不需要改動推理機。

缺點

純粹的形式推理會降低問題求解的效率。因此一般採用推理機和知識庫相結合的方法。

推理策略

• 正向推理 （頁面存檔備份，存於網際網路檔案館）（數據驅動，其基本思想是：從問題已有的事實（初始證據）出發，正向使用規則，當規則的條件部分與已有的事實匹配時，就把該規則作為可用規則放入候選規則隊列中，然後通過衝突消解，在候選隊列中選擇一條規則作為啟用規則進行推理，並將其結論放入數據庫中，作為下一步推理時的證據。如此重複這個過程，直到再無可用規則可被選用或者求得了所要求的解為止。）
• 反向推理 （頁面存檔備份，存於網際網路檔案館）（目標驅動，它是首先提出某個假設，然後尋找支持該假設的證據，若所需的證據都能找到，說明原假設是正確的；若無論如何都找不到所需要的證據，則說明原假設不成立，此時需要另做新的假設。）
• 雙向推理（正向推理與逆向推理同時進行, 且在推理過程中的某一步驟上 「碰頭」 的一種推理）