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

作者：小小林熬夜学编程 | 2024-06-07 00:09:53

踩

人工智能归结原理

一、前言

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

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

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

本章要点：

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/小小林熬夜学编程/article/detail/683166