机器智能（八）

一、两个著名的命题搜索推理算法： a、DPLL算法 b、不完备的局部搜索算法（walksat algorithm） 二、DPLL算法： a、目标：判断逻辑语句（CNF）是不是可知足的。 b、实际上也是枚举算法，即改进的真值表枚举算法。首先找到纯符号、递归，再找单元子句、递归，最后去除了纯符号和单元子句后的语句进行枚举。思想是只要部分符号有效就能够推导出语句有真值，而不须要讨论所有符号。 c、比枚举

>>阅读原文<<