概述
推理機(Inference Engine)是專家系統中實現基於知識推理的部件,是基於知識的推理在計算機中的實現,主要包括推理和控制二個方面,是知識系統中不可缺少的重要組成部分。推理機位於自動推理系統中用戶和知識庫之間,它主要執行兩個任務:一是檢驗已有的事實和規則,以及加進新的事實(如可能時);二是確定推理路線,多次調用知識庫中的知識,進行邏輯推理,最後得到問題的結論。一個自動推理系統的推理機包括推理機制和控制機制。推理機制的基本類型有:假言推理、不確定推理、分解法。控制機制的基本類型有:前向推理和後向推理;深度優先推理和廣度優先推理。
推理是指依據一定的規則從已有的事實推出結論的過程。專家能夠高效地求解複雜的問題,除了他們擁有大量的專門知識外,更重要的是他們能夠合理選擇及有效運用知識。基於知識的推理所要解決的問題是如何在問題求解過程中,選擇和運用知識,完成問題求解。知識的運用模式稱為推理方式,知識的選擇稱之為推理控制,它直接決定著推理的效果和推理的效率。推理控制的核心是推理控制策略。
推理方式
推理方式,傳統的形式化推理技術是以經典邏輯為基礎的。謂詞邏輯中由一組已知事實,根據公理系統推出某些結構的演繹過程,稱為演繹推理方式。演繹是人類思維的一種主要表現形式,但由於人工智慧研究的特點,嚴格的演繹方式不能夠處理所有的問題,各種非經典邏輯推理方式的研究已成為專家系統和人工智慧各個領域研究的重要內容之一。
主要內容
(1)演繹推理:根據公理系統把一個問題中包含在已知事實中的事實作為結論推導出來。
(2)非單調推理:常識推理大量地依賴於默認信息,這種默認信息是指:若且唯若沒有事實證明S不成立時,S總是成立的。這種基於默認信息的推理稱為默認推理。默認推理是一種非單調推理。除了默認推理,還有約束推理。約束推理可以表示為“若且唯若沒有事實證明S在更大範圍內成立時,S只在指定的範圍內成立”。
(3)定性推理:定性推理主要起源於現實世界中物理系統的研究。人們發現,為了搞清一個物理系統的行為,往往不需要使用嚴格的定量方法,而且在許多問題環境下難以使用嚴格的定量方法。定性方法從人類的直觀思維出發,它不依賴於定量數值的描述。