推理機

維基百科,自由的百科全書
跳至導覽 跳至搜尋

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

優點[編輯]

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

缺點[編輯]

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

推理策略[編輯]

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