基本介紹
- 中文名:確定性推理
- 所屬學科:人工智慧
推理方法,圖搜尋策略,盲目搜尋,啟發式搜尋,消解原理,
推理方法
按所用知識的確定性,推理可以確定性和不確定性推理。所謂確定性推理指的是推理所用的知識都是精確的,推出的結論也是精確的。比如一個事件是否為真,其推理的結果只能是真或者假,絕對不可能出現第三種可能性。
圖搜尋策略
可把圖搜尋控制策略看成一種在途中尋找路徑的方法。初始節點和目標節點分別代表初始資料庫和滿足終止條件的目標資料庫。求的把一個資料庫變換為另一個資料庫的規則序列問題就等價於求得途中的一條路徑問題。
盲目搜尋
啟發式搜尋
盲目搜尋的效率低,耗時過多的計算空間和時間。如果能夠找到一種方法用於排列待擴展節點的順序,即選擇最優希望的節點加以擴展,那么,搜尋效率將會大大提高。在許多情況下,能夠通過檢測來確定合理的順序。
消解原理
消解是一種可用於一定的子句公式的重要推理規則。子句定義為由文字的析取組成的公式,當消解可以使用時,消解過程被套用於子母體自居對,以產生一個導出子句。