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

  1. 1、本文档共89页,可阅读全部内容。
  2. 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
  3. 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
  4. 文档侵权举报电话:400-050-0739(电话支持时间:9:00-19:00)。
人工智能原理 第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

文档评论(0)

文库小王子
该用户很懒,什么也没介绍

相关文档

相关课程推荐