《人工智能,第三章2》.ppt

谓词归结子句形( 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);S;控制策略的方法(2);控制策略的方法(3);控制策略的方法(4);C0;控制策略的方法(5);控制策略的方法(6);第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理（H域）;D域;H域例题;Herbrand定理（H域）;原子集例题;Herbrand定理;Herbrand定理;Herbrand定理（H解释）;Herbrand定理（H解释）;Herbrand定理（H解释）;Herbrand定理;Herbrand定理;Herbrand定理（语义树）;N0;Herbrand定理（语义树）;Herbrand定理（语义树）;N0;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过着激动人心的生活, Ex