人工智能-第三章2讲解学习.pptVIP

谓词归结子句形( 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)