人工智能,第三章281.pptx

谓词归结子句形(Skolem标准形);谓词归结子句形(Skolem标准形);谓词归结子句形(Skolem标准形);谓词归结子句形(Skolem标准形);谓词归结子句形(Skolem标准形);谓词归结子句形(Skolem标准形);谓词归结子句形(Skolem标准形);谓词归结子句形;谓词归结子句形;谓词归结子句形;谓词归结子句形;求取子句集例(1);求取子句集例(2);置换与合一;置换;置换的合成;置换的合成;合一;最一般合一（mgu）;最一般合一（mgu）;最一般合一（mgu）;最一般合一（mgu）;最一般合一（mgu）;归结原理;归结原理;例题“快乐学生”问题;例题“快乐学生”问题;由R1及逻辑转换公式:P∧W→H=～（P∧W）∨H，得

(1)～Pass(x,computer)∨～Win(x,prize)∨Happy(x)

由R2：(2)～Study(y)∨Pass(y,z)

(3)～Lucky(u)∨Pass(u,v)

由R3：(4)～Study(zhang)

(5)Lucky(zhang)

由R4：(6)～Lucky(w)∨Win(w，prize)

由结论：(7)～Happy(zhang) （结论的否定）

(8)～Pass(w,computer)∨Happy(w)∨～Luck(w)(1)(6)，{w/x}

(9)～Pass(zhang,computer)∨～Lucky(zhang)(8)(7)，{zhang/w}

(10)?～Pass(zhang,computer) (9)(5)

(11)??～Lucky(zhang)(10)(3)，{zhang/u,computer/v}

(12)????? (11)(5)?;第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;归结过程的控制策略;控制策略的方法(1);控制策略的方法(1);控制策略的方法(2);控制策略的方法(2);;控制策略的方法(2);控制策略的方法(3);控制策略的方法(4);C0;控制策略的方法(5);控制策略的方法(6);第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理（H域）;;H域例题;Herbrand定理（H域）;原子集例题;Herbrand定理;Herbrand定理;Herbrand定理（H解释）;Herbrand定理（H解释）;Herbrand定理（H解释）;Herbrand定理;Herbrand定理;Herbrand定理（语义树）;;Herbrand定理（语义树）;Herbrand定理（语义树）;;Herbrand定理;Herbrand定理;Herbrand定理（结论）;Herbrand定理（结论）;Herbrand定理（结论）;归结原理与Herbrand定理;;;习题：设已知：

(1)能阅读者是识字的；

(2)海豚不识字；

(3)有些海豚是很聪明的。

试证明：有些聪明者并不能阅读。

证首先，定义如下谓词：

R(x)：x能阅读。

L(x)：x识字。

I(x)：x是聪明的。

D(x)：x是海豚。;然后把上述各语句翻译为谓词公式：

(1)x(R(x)→L(x))

(2)x(D(x)→﹁L(x))已知条件

(3)x(D(x)∧I(x))

(4)x(I(x)∧﹁R(x))需证结论;求题设与结论否定的子句集，得

(1)﹁R(x)∨L(x)

(2)﹁D(y)∨﹁L(y)

(3)D(a)

(4)I(a)

(5)﹁I(z)∨R(z)

;归结得

(6)R(a)(5)，(4)，{a/z}

(7)L(a)(6)，(1)，{a/x}

(8)﹁D(a)(7),(2),{a/y}

(9)□(8),(3)

;1.假设：所有不贫穷且聪明的人都快乐。那些看书的人是聪明的。李明能看书且不贫穷。快乐的人过着激动人心的生活。

求证：李明过着激动人心的生活

给定谓词：某人x贫穷,Poor(x);某人x聪明,Smart(x);某人x,快乐happy(x);某人x读书,Read(x);某人x过着激动人心的生活,Exciting(x