人工智能课堂讲义.pptVIP

第五章 消解反演系统 §5.1 消解反演 正向消解演绎系统的缺点 什么是消解反演 将结论取反加入前提条件再进行消解推理, 其目标是产生一个空子句NIL. 空子句表示有矛盾. 因为只有在子句集中出现P和~P形式的母体子句对时, 才会产生消解式NIL. 消解反演有效性的证明 将结论取反加到前提条件中推出矛盾, 即证明前提和结论的否定不可能同时成立. 设前提公式集为S, 结论公式为W S?(~W) ?~(~(S?(~W))) ? ~(~S V (~(~W))) ? ~(~S V W) ? ~(S ? W) 所以若S?(~W)推出矛盾, 即S?(~W)永假, 则S ? W永真. 消解反演的优点 目标明确, 简单易行. 消解反演系统的基本算法RESOLUTION 将前提公式集S和结论公式W的否定~W化为子句集S0 until NIL? S0 或没有可消解的子句对 do Begin 在S0中选取可消解的子句对Ci和Cj 计算Ci和Cj的消解式Rij 把Rij加入到S0中 end 举例 例一 每个储蓄钱的人都要获得利息. 请证明:如果没有利息, 那么就没有人去储蓄钱. 证明: 令S(x,y)表示 “x储蓄y” M(x) 表示 “x是钱” I(x) 表示 “x是利息” E