温馨提示：由于个人手机设置不同，如果发现不能下载，请复制以下地址【https://www.wenke99.com/d-9539492.html】到电脑端继续下载（重复下载不扣费）。
1: 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。 2: 试题试卷类文档，如果标题没有明确说明有答案则都视为没有答案，请知晓。 3: 文件的所有权益归上传用户所有。 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。 5. 本站仅提供交流平台，并不能对任何下载内容负责。 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
本文（第3章-基于谓词逻辑的知识表示与机器推理ppt课件.pptx）为本站会员（晟***）主动上传，文客久久仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私，请立即通知文客久久（发送邮件至hr@wenke99.com或直接QQ联系客服），我们立即给予删除！
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 ：所有整数不是偶数就是
Copyright © 2018-2021 Wenke99.com All rights reserved
工信部备案号：浙ICP备20026746号-2
公安局备案号：浙公网安备33038302330469号
本站为C2C交文档易平台，即用户上传的文档直接卖给下载用户，本站只是网络服务中间平台，所有原创文档下载所得归上传人所有，若您发现上传作品侵犯了您的权利，请立刻联系网站客服并提供证据，平台将在3个工作日内予以改正。
