2017/11/4 1 第3章 基于谓词逻辑 的知识 表示 与机器推理2017/11/4 2 内容 3.1 机器推理概述 3.2 谓词逻辑简 介 3.3 自然演绎 推理 3.4 归结 演绎 推理 3.5 归结 原理与PROLOG程序 3.6 基于规则 的演绎 推理2017/11/4 3 3.1 机器推理概述 n 机器推理 推理是人脑的一个基本功能和重要功能，几乎所有的 人工智能领域都与推理有关。因此，要实现人工智能，就 必须将推理的功能赋予机器，实现机器推理。机器推理也 称为是计算机推理，或自动推理，它也是人工智能的核心 课题之一。 n自动定理证明： 是机器推理的一种重要应用，它是利用计算机证明非 数值性的结果，很多非数值领域的任务如医疗诊断、信息 检索、规划制定和难题求解等方法都可以转化一个定理证 明问题。2017/11/4 4 n 基于归结原理的自动定理证明过程： 3.1 机器推理概述 定理的自然语言描述 定理的谓词公式描述 子句集 生成子句集 定理得证 应用归结规则和归结策略 自然语言处理生成谓词公式 已知前提： F 1 ：自然数都是大于零的整数。 F 2 ：所有整数不是偶数就是
