機器智能（八）

一、兩個著名的命題搜索推理算法： a、DPLL算法 b、不完備的局部搜索算法（walksat algorithm） 二、DPLL算法： a、目標：判斷邏輯語句（CNF）是不是可知足的。 b、實際上也是枚舉算法，即改進的真值表枚舉算法。首先找到純符號、遞歸，再找單元子句、遞歸，最後去除了純符號和單元子句後的語句進行枚舉。思想是隻要部分符號有效就能夠推導出語句有真值，而不須要討論所有符號。 c、比枚舉

>>阅读原文<<