確定性推理：
在人工智能中，利用知識表示方法表達完一個待求解的問題后，還需要利用其他方法來求解這個問題。從問題表示到問題的解決，有一個求解的過程，即搜索過程。在這個過程中，采用適當的搜索技術，包括各種規則、過程和算法等推理技術，力求找到問題的解答。這類問題的求解方法就包括確定性推理。
按所用知識的確定性，推理可以確定性和不確定性推理。所謂確定性推理指的是推理所用的知識都是精確的，推出的結論也是精確的。比如一個事件是否為真，其推理的結果只能是真或者假，絕對不可能出現第三種可能性。
確定性推理的方法有很多，具體有
圖搜索策略、盲目搜索、啟發式搜索、消解原理、規則演繹系統、產生式系統等等。
圖搜索策略
可把圖搜索控制策略看成一種在途中尋找路徑的方法。初始節點和目標節點分別代表初始數據庫和滿足終止條件的目標數據庫。求的把一個數據庫變換為另一個數據庫的規則序列問題就等價於求得途中的一條路徑問題。
盲目搜索
不需要重新安排OPEN表的搜索叫做無信息搜索或盲目搜索，它包括寬度優先搜索、深度優先搜索和等代價搜索等。
啟發式搜索
盲目搜索的效率低，耗時過多的計算空間和時間。如果能夠找到一種方法用於排列待擴展節點的順序，即選擇最優希望的節點加以擴展，那么，搜索效率將會大大提高。在許多情況下，能夠通過檢測來確定合理的順序。
消解原理
消解是一種可用於一定的子句公式的重要推理規則。子句定義為由文字的析取組成的公式，當消解可以使用時，消解過程被應用於子母體自居對，以產生一個導出子句。
消解是一種可用於一定的子句公式的重要推理規則。子句定義為由文字的析取組成的公式。一個原子公式和原子公式的否定都叫做文字。由子句構成的集合被叫做子句集。在說明消解過程之前首先說明任一謂詞演算公式可以化成一個子句集。變化過程的步驟如下：
消解推理規則：
一般來說，消解反演是要證明一個結論，而反演求解過程是解決一個是什么是問題。
規則演繹系統：
正向演繹：事實表達式的與或形變換、事實表達式的與或圖表示、與或圖的F規則變換
逆向演繹：目標表達式的與或形式、與或圖的B規則變換、作為終止條件的事實節點的一致解圖
產生式系統：
產生式系統的組成：
控制策略的作用是說明如何應用規則，通常從選擇規則到執行操作分為3步：
產生式系統的推理：
非單調推理：
缺省推理：
小結：
