第5章基于谓词逻辑的机器推理10/20/2022 1目录5.0 机器推理概述5.1 一阶谓词逻辑5.2 归结演绎推理5.3 应用归结原理求取问题答案5.4 归结策略5.5 归结反演程序举例*5.6 Horn子句归结与逻辑程序5.7 非归结演绎推理10/20/2022 25.0 机器推理概述（1）n机器推理： 就是计算机推理，也称自动推理。它是人工智能的核心课题之一。推理是人脑的一个基本功能和重要功能。几乎所有的人工智能领域都与推理有关。因此，要实现人工智能，就必须将推理的功能赋予机器，实现机器推理。n自动定理证明： 是机器推理的一种重要应用，它是利用计算机证明非数值性的结果，很多非数值领域的任务如医疗诊断、信息检索、规划制定和难题求解等方法都可以转化一个定理证明问题。10/20/2022 3n自动定理证明的基本方法：5.0 机器推理概述（2）定理证明器：它是研究一切可判定问题的证明方法。鲁滨逊的归结原理。人机交互进行定理证明：计算机作为数学家的辅助工具，用计算机帮助人完成手工证明中的难以完成的烦杂的大量计算推理和穷举。典型代表：四色定理的证明。判定法：该方法是对一类问题找出统一的计算机
