人工智能原理第5章消解法.pptx

人工智能原理第4章 消解法 ; 本章内容 4.1 消解法的基本思想 4.2 Herbrand定理 4.3 消解法 4.4 消解策略 参考书目;4.1 消解法的基本思想;消解法的基本思想;消解法基本思想:反证法;基本思想(1);基本思想(2);4.2 Herbrand定理4.2.1 公式到子句集的转换 4.2.2 Herbrand论域和解释4.2.3 语义树4.2.4 Herbrand定理4.2.5 不可满足基子句集;证明的步骤;4.2.1 公式到子句集的转换;消去存在量词;公式转化为子句集的步骤(1);公式转化为子句集的步骤(2);公式与子句集的等价;4.2.2 Herbrand论域和解释;H论域例子;Herbrand原子集;Herbrand解释(1);Herbrand解释(2);H解释例子;4.2.3 语义树;语义树示例;语义树定义(1);语义树定义(2);语义树定义(3);语义树定义(4);语义树定义(5);封闭语义树例子(1);封闭语义树例子(2);封闭语义树例子(3);有限封闭语义树;4.2.4 Herbrand定理;Herbrand定理I的证明;Herbrand定理II(1);Herbrand定理II(2);4.2.5 不可满足基子句集;Davis-Putnam预处理(1);Davis-Putnam预处理(2);4.3 消解法4.3.1 置换与合一4.3.2 消解式4.3.3 消解法的实施;消解法的形式;4.3.1 置换与合一;关于置换;合一置换;分歧集;mgu求解算法;mgu存在条件;mgu求解例子(1);mgu求解例子(2);4.3.2 消解式;二元消解式;二元消解式例子;子句的二元消解式;4.3.3 消解法的实施;子句的推导;消解法的合理性;消解法的完备性(1);消解法的完备性(2);提升引理;消解法完备性定理(1);消解法完备性定理(2);4.4 消解策略4.4.1 常用消解策略4.4.2 支持集消解4.4.3 有序消解策略4.4.4 消解法举例;消解过程的计算复杂性;4.4.1 常用消解策略;删除策略;隐含关系;归类算法(1);归类算法(2);归类算法(3);归类算法举例 ;禁止无用子句产生;4.4.2 支持集消解;支持集消解(2);支持集消解例子;动态支持集消解;常用动态支持集消解策略;线性消解;输入消解;单元消解;输入消解和单元消解的关系;4.4.3 有序消解策略;有关定义(1);有关定义(2);有序谓词语义消解例子;4.4.4 消解法举例;第4章 消解法;第4章 消解法;第4章 消解法;参考书目;9、有时候读书是一种巧妙地避开思考的方法。2月-212月-21Wednesday, February 17, 2021 10、阅读一切好书如同和过去???杰出的人谈话。12:08:1312:08:1312:082/17/2021 12:08:13 PM 11、越是没有本领的就越加自命不凡。2月-2112:08:1312:08Feb-2117-Feb-21 12、越是无能的人，越喜欢挑剔别人的错儿。12:08:1312:08:1312:08Wednesday, February 17, 2021 13、知人者智，自知者明。胜人者有力，自胜者强。2月-212月-2112:08:1312:08:13February 17, 2021 14、意志坚强的人能把世界放在手中像泥块一样任意揉捏。17 二月 202112:08:13 下午12:08:132月-21 15、最具挑战性的挑战莫过于提升自我。。二月 2112:08 下午2月-2112:08February 17, 2021 16、业余生活要有意义，不要越轨。2021/2/17 12:08:1312:08:1317 February 2021 17、一个人即使已登上顶峰，也仍要自强不息。12:08:13 下午12:08 下午12:08:132月-21