第3讲 谓词逻辑与归纳原理.pptx

人工智能;;;教学提纲;;;第3讲 谓词逻辑与归结原理;概述;第3讲 谓词逻辑与归结原理;命题逻辑的归结法;命题逻辑基础：公式;命题逻辑基础：真值表（解释）;命题逻辑基础;命题逻辑基础：范式;命题逻辑基础：基本等值式;命题逻辑基础：基本等值式;命题例;命题表示公式（1）;命题表示公式（2）;命题逻辑的归结法;命题逻辑的归结法;命题逻辑的归结法;命题逻辑的归结法;命题逻辑归结例题（1）;命题逻辑归结例题（2）;第3讲 谓词逻辑与归结原理;第3讲 谓词逻辑与归结原理;谓词归结原理基础;苏格拉底三段论的正确性;;谓词归结原理基础;谓词归结原理基础;谓词归结原理基础：项与原子;谓词归结原理基础：公式;谓词归结原理基础：解释;谓词归结原理基础：解释举例;谓词归结原理基础;谓词归结原理基础;谓词归结原理基础;谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形;谓词归结子句形;谓词归结子句形;求取子句集例(1);求取子句集例(2);第3讲 谓词逻辑与归结原理;归结原理;置换;;置换的合成;置换的合成;合一;归结原理;归结原理;归结原理的完备性：归结式;归结原理的完备性;例题“快乐学生”问题;例题“快乐学生”问题;Schubert’s Steamroller Problem;归结原理;第3讲 谓词逻辑与归结原理;归结过程的控制策略;控制策略的方法(1);控制策略的方法(2);;控制策略的方法(3);控制策略的方法(4);C0;控制策略的方法(5);控制策略的方法(6);第3讲 谓词逻辑与归结原理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理;Herbrand定理（H域）;;H域例题;Herbrand定理（H域）;原子集例题;Herbrand定理;Herbrand定理（H解释）;Herbrand定理：H解释;Herbrand定理：H解释;Herbrand定理：H解释;Herbrand定理：H解释;Herbrand定理（H解释）;Herbrand定理（H解释）;Herbrand定理;Herbrand定理（语义树）;Herbrand定理（语义树）;Herbrand定理（语义树）;;Herbrand定理（语义树）;Herbrand定理（语义树）;Herbrand定理（语义树）;;Herbrand定理;Herbrand定理（结论）;Herbrand定理（结论）;DP算法;Herbrand定理（结论）;归结原理与Herbrand定理;练习1：;练习2：;谢谢听讲!