【2017年整理】第三章2消解原理.ppt

3.4 消 解 原 理;内容提要;谓词逻辑法（predicate logic）;命题;命题逻辑有较大的局限性;谓词;谓词公式的定义;连词和量词;合取（conjunction）就是用连词∧把几个公式连接起来而构成的公式。合取项是合取式的每个组成部分。;蕴涵　 ? 表示如果-那么的语句。用连词?连接两个公式所构成的公式叫做蕴涵。;全称量词(Universal Quantifier)　若一个原子公式P(x)，对于所有可能变量x都具有T值，则用(? x)P(x)表示。;置换与合一;置换举例;合一者、最一般合一者举例;基本概念： 对谓词演算公式进行分解和化简，消去一些符号，以求得导出子句。;子句集的求取;常用等价关系;常用等价关系;(1)消去蕴涵符号 ;(3)对变量标准化 ;(4)消去存在量词 ;;(5)化为前束形;(6)把母式化为合取范式 ;(8)消去连词符号∧ ;化为子句集实例;消解推理规则;消解推理规则 ;从父辈子句求消解式的例子 ;(d) 链式(三段论);含有变量的消解式 ;消解式的多种选择;对含有变量的子句使用消解的例子 ;消解推理常用规则 ;消解反演求解过程 ;消解反演;eg1 自然数;1、用谓词公式的形式表示事实和问题;2、把{～L，S}化为子句集;3、对子句集进行消解;消解反演过程的举例 ;前提和结论化为下列的子句集 ;步骤;反演树 ;基于消解反演的问题求解;;例子;;求解;例子;例子（续1）;例子（续2）;例子（续3 构造证明树）;另一种问题求解的方法;练习;解答;证明A和B不是老实人;求解谁是老实人？;练习快乐学生问题;将上述谓词公式转化为子句集;进行归结;;例子：猴子摘香蕉问题;定义谓词;算符的意义;问题的表示;问题的子句集;~HB(s5);~HB(s5);实验题目1;A:P(zhao) ?P(qian) B: P(qian) ?P(sun)C: P(sun) ?P(li)D: ~P(zhao) ?~P(sun)E: ~P(qian) ?~ P(li);实验题目2;实验题目3