人工智能原理复习 | 归结原理

人工智能原理复习 | 归结原理 叶庭云 已于2023-02-21 20:04:13修改 252 收藏 分类专栏： 人工智能学习之路 文章标签： 人工智能 归结原理 命题逻辑和谓词逻辑 表推演 扩展规则 于2023-02-20 20:01:46首次发布 人工智能学习之路 专栏收录该内容 41 篇文章 12 订阅 ¥9.90 ¥99.00 订阅专栏 超级会员免费看

文章目录 一、前言 二、主要内容

CSDN 叶庭云：https://yetingyun.blog.csdn.net/

一、前言

课前思考：复习数理逻辑，明白命题逻辑、一阶谓词逻辑的基本概念，熟练谓词演算，会求谓词公式的前束范式和 Skolem 标准形等。

学习目标：熟练掌握命题逻辑归结推理，一阶谓词逻辑归结推理，Herbrand 定理，理解 Herbrand 定理给出了一阶逻辑的半可判定算法，明白归结原理完备性的含义，掌握归结推理的几种控制策略，能够运用归结推理证明定理。

学习方法：掌握命题逻辑的归结推理，一阶谓词逻辑的归结推理，通过练习熟练应用归结推理证明定理，理解归结原理的完备性，掌握归结推理的几种控制策略。

本章要点：

掌握数理逻辑的谓词演算方法，理解逻辑是人工智能的基本工具； 认识归结原理是实现定理机器证明的一种方法，归结过程简单明了，而且归结原理对于谓词逻辑描述的定理集来说是完备的； 熟悉定理的子句集描述以及归结过程，会用归结推理证明定理 了解本专栏 订阅专栏 解锁全文 超级会员免费看