《人工智能概述 》PPT课件

上传人:san****019 文档编号:22266152 上传时间:2021-05-23 格式:PPT 页数:17 大小:379.81KB
收藏 版权申诉 举报 下载
《人工智能概述 》PPT课件_第1页
第1页 / 共17页
《人工智能概述 》PPT课件_第2页
第2页 / 共17页
《人工智能概述 》PPT课件_第3页
第3页 / 共17页
资源描述:

《《人工智能概述 》PPT课件》由会员分享,可在线阅读,更多相关《《人工智能概述 》PPT课件(17页珍藏版)》请在装配图网上搜索。

1、 什 么 是 人 工 智 能 ? 人 工 智 能 的 研 究 目标 和 意 义 ? 人 工 智 能 的 研 究 途 径 与 方 法 人 工 智 能 的 分 支 领 域 ( 基 于 应 用 领 域 ) 人 工 智 能 基 本 技 术 状 态 图 知 识 表 示 状 态 图 搜 索 穷 举 式 搜 索 启 发 式 搜 索 加 权 状 态 图 搜 索 与 或 图 知 识 表 示 与 或 图 搜 索 启 发 式 与 或 树 搜 索 博 弈 树 搜 索 状 态 空 间 ( State Space) 问 题 的 状 态 空 间 是 一 个 表 示 该 问 题 全 部的 可 能 状 态 及 相 互 关 系

2、的 图 。 一 般 用 赋 值 有 向 图 , 包 含S: 问 题 的 可 能 有 的 初 始 状 态 的 集 合 ;F: 操 作 的 集 合 ;G: 目 标 状 态 的 集 合 。状 态 空 间 常 记 为 三 元 序 列 穷 举 式 搜 索 广 度 优 先 深 度 有 限 有 界 深 度 优 先 启 发 式 搜 索 ( 九 宫 重 排 为 例 ) 局 部 择 优 全 局 择 优 加 权 状 态 图 搜 索 分 支 界 限 最 近 择 优 ( 瞎 子 爬 山 ) 与 或 图 相 关 概 念 本 原 问 题 、 终 止 节 点 、 端 节 点 、 与 节 点 、或 节 点 与 或 图 也 是

3、一 个 三 元 组 Q0 , F , Qn) 博 弈 树 知 识 表 示 与 或 树 搜 索 可 解 性 判 定 广 度 优 先 、 有 界 深 度 优 先 有 序 搜 索 解 树 ( 树 根 ) 代 价 的 计 算 方 法 和 代 价 法 最 大 代 价 法 有 序 搜 索 过 程 极 小 极 大 分 析 法 剪 枝 技 术 相 关 定 义 及 概 念 化 子 句 集 的 过 程 命 题 逻 辑 的 归 结 原 理 替 换 与 合 一 谓 词 逻 辑 中 的 归 结 原 理 应 用 归 结 原 理 求 取 问 题 答 案 归 结 策 略 1、 消 去 蕴 含 词 和 等 值 词 。 2、 使

4、 否 定 词 仅 作 用 于 原 子 公 式 。 3、 适 当 改 名 使 量 词 间 不 含 同 名 指 导 变 元 。 4、 消 去 存 在 量 词 。 5、 消 去 全 称 量 词 。 6、 化 公 式 为 合 取 范 式 。 7、 适 当 改 名 , 使 子 句 间 无 同 名 变 元 。 8、 消 去 合 取 词 , 以 子 句 为 元 素 组 成 一 个 集 合 S。 设 C1, C2是 命 题 逻 辑 中 的 两 个 子 句 C1中 有 文 字 L1 , C2中 有 文 字 L2 , 且 L1与L2互 补 , 从 C1 、 C2中 分 别 删 除 L1 、 L2 ,再 将 剩 余

5、 部 分 析 取 起 来 , 记 构 成 的 新 子 句 为C1 2, 则 C1 2为 C1 、 C2的 归 结 式 。)L(C)L(CCC 221121 一 个 替 换 ( Substitution) 是 形 如 t1/x1, t2/x2, , tn/xn的 有 限 集 合 设 是 原 子 公 式 集 S的 一 个 合 一 , 如 果对 S的 任 何 一 个 合 一 都 存 在 一 个 替 换 ,使 得 则 称 为 S的最 一 般 合 一 (Most G eneral Unifier),简称 MG U。 C1, C2为 无 相 同 变 元 的 子 句 ; L1, L2为 其 中 的 两 个

6、文 字 , L1和 L2有 最 一 般 合 一 ; C1, C2的 二 元 归 结 式 ( 二 元 消 解 式 )为 : C1 L1 ) ( C2 L2 ) ( 1) 先 为 待 求 解 的 问 题 找 一 个 合 适 的 求 证 目 标 谓 词 ;( 2) 再 对 目 标 否 定 子 句 增 配 ( 以 析 取 形 式 ) 一 个 辅 助谓 词 , 该 谓 词 的 变 元 必 须 与 对 应 目 标 谓 词 中 的 变 元完 全 一 致 ;( 3) 进 行 归 结 ;( 4) 当 归 结 是 刚 好 只 剩 下 辅 助 谓 词 时 , 辅 助 谓 词 中 原变 元 位 置 上 的 项 就 是 所 求 的 结 果 。 删 除 策 略 支 持 集 策 略 线 性 归 结 策 略 输 入 归 结 策 略 单 元 归 结 策 略 祖 先 过 滤 型 策 略 产 生 式 系 统 的 组 成 产 生 式 系 统 的 组 成 过 程 产 生 式 系 统 的 控 制 策 略 与 常 用 算 法( 正 向 , 反 向 ) 框 架 语 义 网 络

展开阅读全文
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!