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

人工智能;;;教学提纲;;;第3讲 谓词逻辑与归结原理;概述;第3讲 谓词逻辑与归结原理;命题逻辑的归结法;命题逻辑基础：公式;命题逻辑基础：真值表（解释）;命题逻辑基础;命题逻辑基础：范式;命题逻辑基础：基本等值式;命题逻辑基础：基本等值式;命题例;命题表示公式（1）;命题表示公式（2）;命题逻辑的归结法;命题逻辑的归结法;命题逻辑的归结法;命题逻辑的归结法;命题逻辑归结例题（1）;命题逻辑归结例题（2）;第3讲 谓词逻辑与归结原理;第3讲 谓词逻辑与归结原理;谓词归结原理基础;苏格拉底三??论的正确性;;谓词归结原理基础;谓词归结原理基础;谓词归结原理基础：项与原子;谓词归结原理基础：公式;谓词归结原理基础：解释;谓词归结原理基础：解释举例;谓词归结原理基础;谓词归结原理基础;谓词归结原理基础;谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形( Skolem 标准形);谓词归结子句形;谓词归结子句形;谓词归结子句形;求取子句集例(1);求取子句集例(2);第3讲 谓词逻辑与归结原理;归结原理;置换;;置换的合成;置换的合成;合一;归结原理;归结原理;归结原理的完备性：归结式;归结原理的完备性;例题“快乐学