確定性推理

在人工智慧中，利用知識表示方法表達完一個待求解的問題後，還需要利用其他方法來求解這個問題。從問題表示到問題的解決，有一個求解的過程，即搜尋過程。在這個過程中，採用適當的搜尋技術，包括各種規則、過程和算法等推理技術，力求找到問題的解答。這類問題的求解方法就包括確定性推理。

推理方法

按所用知識的確定性，推理可以確定性和不確定性推理。所謂確定性推理指的是推理所用的知識都是精確的，推出的結論也是精確的。比如一個事件是否為真，其推理的結果只能是真或者假，絕對不可能出現第三種可能性。

確定性推理的方法有很多，具體有圖搜尋策略、盲目搜尋、啟發式搜尋、消解原理、規則演繹系統、產生式系統等等。

圖搜尋策略

可把圖搜尋控制策略看成一種在途中尋找路徑的方法。初始節點和目標節點分別代表初始資料庫和滿足終止條件的目標資料庫。求的把一個資料庫變換為另一個資料庫的規則序列問題就等價於求得途中的一條路徑問題。

盲目搜尋

不需要重新安排OPEN表的搜尋叫做無信息搜尋或盲目搜尋，它包括寬度優先搜尋、深度優先搜尋和等代價搜尋等。

啟發式搜尋

盲目搜尋的效率低，耗時過多的計算空間和時間。如果能夠找到一種方法用於排列待擴展節點的順序，即選擇最優希望的節點加以擴展，那么，搜尋效率將會大大提高。在許多情況下，能夠通過檢測來確定合理的順序。

消解原理

消解是一種可用於一定的子句公式的重要推理規則。子句定義為由文字的析取組成的公式，當消解可以使用時，消解過程被套用於子母體自居對，以產生一個導出子句。