1、一 、 填 空 题1、 人 工 智 能 三 大 学 派 是 ( 符 号 主 义 ) 、 ( 联 结 主 义 ) 和 ( 行 为 主 义 ) 。2、 设 P 是 谓 词 公 式 , 对 于 P 的 任 何 论 域 , 存 在 P 为 真 的 情 况 , 则 称 P 为 ( 永 真 式 ) 。3、 谓 词 公 式 G 是 不 可 满 足 的 , 当 且 仅 当 对 所 有 的 解 释 ( G 都 为 假 ) 。4、 广 度 优 先 搜 索 算 法 中 , OPEN 表 的 数 据 结 构 实 际 是 一 个 ( 二 叉 树 ) , 深 度 优 先 搜 索 算 法 中 , OPEN 表 的数 据 结
2、 构 实 际 是 一 个 ( 单 链 表 ) 。5、 产 生 式 系 统 由 三 部 分 组 成 ( 综 合 数 据 库 ) 、 ( 知 识 库 ) 和 推 理 机 , 其 中 推 理 可 分 为 ( 正 向 推 理 ) 和 ( 反向 推 理 ) 。6、 专 家 系 统 的 结 构 包 含 人 机 界 面 、 ( 知 识 库 ) 、 ( 推 理 机 ) 、 ( 动 态 数 据 库 ) 、 ( 知 识 库 答 理 系 统 ) 和 解 释 模 块 。7、 开 发 专 家 系 统 所 要 解 决 的 基 本 问 题 有 三 个 , 那 就 是 知 识 的 获 取 、 知 识 的 表 示 和 知 识
3、的 运 用 , 知 识 表 示的 方 法 主 要 有 ( 逻 辑 表 示 法 或 称 谓 词 表 示 法 ) 、 ( 框 架 ) 、 ( 产 生 式 ) 和 语 义 网 络 等 , 在 语 义 网 络 表 示 知 识 时 ,所 使 用 的 推 理 方 法 有 ( AKO) 和 ( ISA) 。8、 从 已 知 事 实 出 发 , 通 过 规 则 库 求 得 结 论 的 产 生 式 系 统 的 推 理 方 式 是 ( 正 向 推 理 ) 。9、 AI 是 ( Artifical Inteligence) 的 缩 写 。10、 在 谓 词 公 式 中 , 紧 接 于 量 词 之 后 被 量 词 作
4、 用 的 谓 词 公 式 称 为 该 量 词 的 ( 辖 域 ) , 而 在 一 个 量 词 的 辖 域中 与 该 量 词 的 指 导 变 元 相 同 的 变 元 称 为 ( 约 束 变 元 ) , 其 他 变 元 称 为 ( 自 由 变 元 ) 。11、 假 言 推 理 ( AB) A( B ) , 假 言 三 段 论 ( AB) ( BC) ( AC ) 。12、 在 诸 如 走 迷 宫 、 下 棋 、 八 数 码 游 戏 等 游 戏 中 , 常 用 到 的 一 种 人 工 智 能 的 核 心 技 术 称 为 ( 图 搜 索 )技 术 , 解 这 类 问 题 时 , 常 把 在 迷 宫 的
5、 位 置 、 棋 的 布 局 、 八 数 码 所 排 成 的 形 势 用 图 来 表 , 这 种 图 称 为 ( 状态 空 间 图 或 状 态 图 ) 。13、 在 启 发 式 搜 索 当 中 , 通 常 用 ( 启 发 函 数 ) 来 表 示 启 发 性 信 息 。14、 某 产 生 式 系 统 中 的 一 条 规 则 : A( x) B( x) , 则 前 件 是 ( A( x) ) , 后 件 是 ( B( x) ) 。15、 在 框 架 和 语 义 网 络 两 种 知 识 表 示 方 法 中 , ( 框 架 ) 适 合 于 表 示 结 构 性 强 的 知 识 , 而 ( 语 义 网 络
6、 )则 适 合 表 示 一 些 复 杂 的 关 系 和 联 系 的 知 识 。 ( 面 向 对 象 ) 不 仅 仅 是 一 种 知 识 表 示 方 法 , 也 是 一 种 流 行的 软 件 设 计 和 开 发 技 术 。16、 产 生 式 系 统 的 推 理 可 以 分 为 ( 正 向 推 理 ) 和 ( 反 向 推 理 ) 两 种 基 本 方 式 。17、 产 生 式 系 统 是 由 ( 综 合 数 据 库 ) 、 ( 知 识 库 ) 和 ( 推 理 机 ) 三 部 分 组 成 的 。18、 人 工 智 能 的 远 期 目 标 是 ( 制 造 智 能 机 器 ) , 近 期 目 标 是 (
7、实 现 机 器 智 能 ) 。19、 机 器 学 习 系 统 由 环 境 、 ( 学 习 ) 、 ( 知 识 库 ) 和 ( 执 行 ) 几 部 分 构 成 。20、 人 工 智 能 是 计 算 机 科 学 中 涉 及 研 究 、 设 计 和 应 用 ( 智 能 机 器 ) 的 一 个 分 支 , 它 的 近 期 目 标 在 于 研 究 用机 器 来 ( 模 仿 和 执 行 人 脑 ) 的 某 些 智 力 功 能 。21、 规 则 演 绎 系 统 根 据 推 理 方 向 可 分 为 ( 规 则 正 向 演 绎 系 统 ) 、 ( 规 则 逆 向 演 绎 系 统 ) 以 及 ( 规 则 双 向
8、演 绎系 统 ) 等 。22、 计 算 智 能 是 人 工 智 能 研 究 的 新 内 容 , 涉 及 ( 神 经 计 算 ) 、 ( 模 糊 计 算 ) 和 ( 进 化 计 算 ) 等 。23、 启 发 式 搜 索 是 一 种 利 用 ( 启 发 式 信 息 ) 的 搜 索 , 估 价 函 数 在 搜 索 过 程 中 起 的 作 用 是 ( 估 计 节 点 位 于 解路 径 上 的 希 望 ) 。24、 在 与 或 图 中 , 没 有 后 裔 的 非 终 叶 节 点 为 不 可 解 节 点 , 那 么 含 有 或 后 继 节 点 且 后 裔 中 至 少 有 一 个 为 可 解的 非 终 叶
9、节 点 是 ( 可 解 节 点 ) , 含 有 与 后 继 节 点 且 后 裔 中 至 少 有 一 个 为 不 可 解 的 非 终 叶 节 点 是 ( 不 可 解 节点 ) 。二 、 选 择 题 :1、 如 果 把 知 识 按 照 作 用 来 分 类 , 下 述 ( B ) 不 在 分 类 的 范 围 内 。A、 用 控 制 策 略 表 示 的 知 识 , 即 控 制 性 知 识 。B、 可 以 通 过 文 字 、 语 言 、 图 形 、 声 音 等 形 式 编 码 记 录 和 传 播 的 知 识 , 即 显 性 知 识 。C、 用 提 供 有 关 状 态 变 化 、 问 题 求 解 过 程
10、的 操 作 、 演 算 和 行 动 的 知 识 , 即 过 程 性 知 识 。D、 用 提 供 概 念 和 事 实 使 人 们 知 道 是 什 么 的 知 识 , 即 陈 述 性 。2、 下 述 ( A ) 不 是 知 识 的 特 征 。A、 复 杂 性 和 明 确 性 B、 进 化 和 相 对 性C、 客 观 性 和 依 附 性 D、 可 重 用 性 和 共 享 性3、 人 类 智 能 的 特 性 表 现 在 哪 4 个 方 面 。 ( B )A、 聪 明 、 灵 活 、 学 习 、 运 用 。B、 能 感 知 客 观 世 界 的 信 息 、 能 对 通 过 思 维 对 获 得 的 知 识
11、进 行 加 工 处 理 、 能 通 过 学 习 积 累 知 识 增 长 才干 和 适 应 环 境 变 化 、 能 对 外 界 的 刺 激 作 出 反 应 传 递 信 息 。C、 感 觉 、 适 应 、 学 习 、 创 新 。D、 能 捕 捉 外 界 环 境 信 息 、 能 够 利 用 利 用 外 界 的 有 利 因 素 、 能 够 传 递 外 界 信 息 、 能 够 综 合 外 界 信 息 进行 创 新 思 维 。4、 人 工 智 能 的 目 的 是 让 机 器 能 够 ( D ) , 以 实 现 某 些 脑 力 劳 动 的 机 械 化 。A、 具 有 智 能 B、 和 人 一 样 工 作C、
12、 完 全 代 替 人 的 大 脑 D、 模 拟 、 延 伸 和 扩 展 人 的 智 能5、 下 列 关 于 人 工 智 能 的 叙 述 不 正 确 的 是 ( C ) 。A、 人 工 智 能 技 术 它 与 其 他 科 学 技 术 相 结 合 极 大 地 提 高 了 应 用 技 术 的 智 能 化 水 平 。B、 人 工 智 能 是 科 学 技 术 发 展 的 趋 势 。C、 因 为 人 工 智 能 的 系 统 研 究 是 从 上 世 纪 五 十 年 代 才 开 始 的 , 非 常 新 , 所 以 十 分 重 要 。D、 人 工 智 能 有 力 地 促 进 了 社 会 的 发 展 。6、 人
13、工 智 能 研 究 的 一 项 基 本 内 容 是 机 器 感 知 。 以 下 列 ( C ) 不 属 于 机 器 感 知 的 领 域 。A、 使 机 器 具 有 视 觉 、 听 觉 、 触 觉 、 味 觉 、 嗅 觉 等 感 知 能 力 。B、 让 机 器 具 有 理 解 文 字 的 能 力 。C、 使 机 器 具 有 能 够 获 取 新 知 识 、 学 习 新 技 巧 的 能 力 。D、 使 机 器 具 有 听 懂 人 类 语 言 的 能 力7、 尽 管 人 工 智 能 学 术 界 出 现 “ 百 家 争 鸣 ” 的 局 面 , 但 是 , 当 前 国 际 人 工 智 能 的 主 流 派
14、仍 属 于 : ( B )A、 连 接 主 义 B、 符 号 主 义C、 行 为 主 义 D、 经 验 主 义8、 被 誉 为 国 际 “ 人 工 智 能 之 父 ” 的 是 : ( A )A、 图 灵 ( Turing) B、 费 根 鲍 姆 ( Feigenbaum)C、 傅 京 孙 ( K.S.Fu) D、 尼 尔 逊 ( Nilsson)9、 人 工 智 能 的 含 义 最 早 由 ( C ) 于 1950 年 提 出 , 并 且 同 时 提 出 一 个 机 器 智 能 的 测 试 模 型 。A、 明 斯 基 B、 扎 德C、 图 灵 D、 冯 .诺 依 曼10、 下 列 哪 个 不
15、是 人 工 智 能 的 研 究 领 域 ( D ) 。A、 机 器 证 明 B、 模 式 识 别C、 人 工 生 命 D、 编 译 原 理11、 AI 是 ( B ) 的 英 文 缩 写 。A、 AutomaticIntelligence B、 ArtificalIntelligenceC、 AutomaticeInformation D、 ArtificalInformation12、 为 了 解 决 如 何 模 拟 人 类 的 感 性 思 维 , 例 如 视 觉 理 解 、 直 觉 思 维 、 悟 性 等 , 研 究 者 找 到 一 个 重 要 的 信 息处 理 的 机 制 是 ( B )
16、 。A 专 家 系 统 B、 人 工 神 经 网 络C、 模 式 识 别 D、 智 能 代 理13、 下 述 ( D ) 不 是 人 工 智 能 中 常 用 的 知 识 格 式 化 表 示 方 法 。A、 框 架 表 示 法 B、 状 态 空 间 表 示 法C、 语 义 网 络 表 示 法 D、 形 象 描 写 表 示 法14、 关 于 “ 与 /或 ” 图 表 示 法 的 叙 述 中 , 正 确 的 是 ( D ) 。A、 “ 与 /或 ” 图 就 是 用 “ AND” 和 “ OR” 连 续 各 个 部 分 的 图 形 , 用 来 描 述 各 部 分 的 因 果 关 系 。B、 “ 与 /
17、或 ” 图 就 是 用 “ AND” 和 “ OR” 连 续 各 个 部 分 的 图 形 , 用 来 描 述 各 部 分 之 间 的 不 确 定 关 系 。C、 “ 与 /或 ” 图 就 是 用 “ 与 ” 节 点 和 “ 或 ” 节 点 组 合 起 来 的 树 形 图 , 用 来 描 述 某 类 问 题 的 层 次 关 系 。D、 “ 与 /或 ” 图 就 是 用 “ 与 ” 节 点 和 “ 或 ” 节 点 组 合 起 来 的 树 形 图 , 用 来 描 述 某 类 问 题 的 求 解 过 程 。15、 神 经 网 络 研 究 属 于 下 列 ( B ) 学 派 。A、 符 号 主 义 B、
18、 连 接 主 义C、 行 为 主 义 D、 都 不 是16、 已 知 初 始 问 题 的 描 述 , 通 过 一 系 列 变 换 把 此 问 题 最 终 变 为 一 个 子 问 题 集 合 ; 这 些 子 问 题 的 解 可 以 直 接得 到 , 从 而 解 决 了 初 始 问 题 。 这 是 知 识 表 示 法 叫 ( B ) 。A、 状 态 空 间 法 B、 问 题 归 约 法C、 谓 词 逻 辑 法 D、 语 义 网 络 法17、 在 公 式 中 yxP(x,y), 存 在 量 词 是 在 全 称 量 词 的 辖 域 内 , 我 们 允 许 所 存 在 的 x 可 能 依 赖 于 y 值
19、 。 令 这种 依 赖 关 系 明 显 地 由 函 数 所 定 义 , 它 把 每 个 y 值 映 射 到 存 在 的 那 个 x。 这 种 函 数 叫 做 ( B ) 。A、 依 赖 函 数 B、 Skolem 函 数C、 决 定 函 数 D、 多 元 函 数18、 A( AB) A 称 为 ( C ) 。A、 结 合 律 B、 分 配 律C、 吸 收 律 D、 摩 根 律19、 ( AB) AB 称 为 ( D ) 。A、 结 合 律 B、 分 配 律C、 吸 收 律 D、 摩 根 律20、 如 果 问 题 存 在 最 优 解 , 则 下 面 几 种 搜 索 算 法 中 , ( A ) 必
20、 然 可 以 得 到 该 最 优 解 。A、 广 度 优 先 搜 索 B、 深 度 优 先 搜 索C、 有 界 深 度 优 先 搜 索 D、 启 发 式 搜 索21、 如 果 问 题 存 在 最 优 解 , 则 下 面 几 种 搜 索 算 法 中 , ( D) 可 以 认 为 是 “ 智 能 程 度 相 对 比 较 高 ” 的 算 法 。A、 广 度 优 先 搜 索 B、 深 度 优 先 搜 索C、 有 界 深 度 优 先 搜 索 D、 启 发 式 搜 索22、 产 生 式 系 统 的 推 理 不 包 括 ( D ) 。A、 正 向 推 理 B、 逆 向 推 理C、 双 向 推 理 D、 简
21、单 推 理23、 下 列 哪 部 分 不 是 专 家 系 统 的 组 成 部 分 ( A ) 。A、 用 户 B、 综 合 数 据 库C、 推 理 机 D、 知 识 库24、 要 想 让 机 器 具 有 智 能 , 必 须 让 机 器 具 有 知 识 。 因 此 , 在 人 工 智 能 中 有 一 个 研 究 领 域 , 主 要 研 究 计 算机 如 何 自 动 获 取 知 识 和 技 能 , 实 现 自 我 完 善 , 这 门 研 究 分 支 学 科 叫 ( B ) 。A、 专 家 系 统 B、 机 器 学 习C、 神 经 网 络 D、 模 式 识 别25、 命 题 是 可 以 判 断 真
22、假 的 ( D )A、 祈 使 句 B、 疑 问 句C、 感 叹 句 D、 陈 述 句26、 下 列 哪 个 系 统 属 于 新 型 专 家 系 统 ? ( D )A、 多 媒 体 专 家 系 统 B、 实 时 专 家 系 统C、 军 事 专 家 系 统 D、 分 布 式 专 家 系 统27、 人 工 智 能 应 用 研 究 的 两 个 最 重 要 最 广 泛 领 域 为 : ( B )A、 专 家 系 统 、 自 动 规 划 B、 专 家 系 统 、 机 器 学 习C、 机 器 学 习 、 智 能 控 制 D、 机 器 学 习 、 自 然 语 言 理 解28、 下 列 搜 索 方 法 中 不
23、 属 于 盲 目 搜 索 的 是 : ( D )A、 等 代 价 搜 索 B、 宽 度 优 先 搜 索C、 深 度 优 先 搜 索 D、 有 序 搜 索29、 语 义 网 络 的 组 成 部 分 为 : ( C )A、 框 架 和 弧 线 B、 状 态 和 算 符C、 节 点 和 链 D、 槽 和 值30、 自 然 语 言 理 解 是 人 工 智 能 的 重 要 应 用 领 域 , 下 面 列 举 中 的 ( C ) 不 是 它 要 实 现 的 目 标 。A、 理 解 别 人 讲 的 话 。 B、 对 自 然 语 言 表 示 的 信 息 进 行 分 析 概 括 或 编 辑 。C、 欣 赏 音
24、乐 。 D、 机 器 翻 译 。三 、 简 答 :1、 什 么 是 人 工 智 能 ? 人 工 智 能 与 计 算 机 程 序 的 区 别 ?答 : 综 合 各 种 不 同 的 观 点 , 可 以 从 “ 能 力 ”和 “学 科 ”两 个 方 面 对 人 工 智 能 进 行 定 义 。 从 能 力 的角 度 看 , 人 工 智 能 是 指 用 人 工 的 方 法 在 机 器 ( 计 算 机 ) 上 实 现 的 智 能 。 从 学 科 的 角 度 看 , 人工 智 能 是 一 门 研 究 如 何 构 造 智 能 机 器 或 智 能 系 统 , 使 它 能 模 拟 、 延 伸 和 扩 展 人 类
25、智 能 的 学 科 。2、 当 前 人 工 智 能 有 哪 些 学 派 ? 他 们 对 人 工 智 能 在 理 论 上 有 何 不 同 观 点 ?答 : 当 前 人 工 智 能 有 符 号 主 义 、 联 结 主 义 、 和 行 为 主 义 三 大 学 派 。符 号 主 义 在 理 论 上 认 为 : 认 知 的 基 元 是 符 号 ; 认 知 的 过 程 就 是 符 号 运 算 过 程 ; 智 能 行 为 的 充 要 条 件 是 物理 符 号 系 统 , 人 脑 、 计 算 机 都 是 物 理 符 号 系 统 ; 智 能 的 基 础 是 知 识 , 其 核 心 是 知 识 表 示 和 知 识
26、 推 理 ; 知 识可 用 符 号 表 示 , 也 可 用 符 号 进 行 推 理 , 因 而 可 以 建 立 基 于 知 识 的 人 类 智 能 和 机 器 智 能 的 统 一 的 理 论 体 系 。联 接 主 义 认 为 : 思 维 的 基 元 是 神 经 元 , 而 不 是 符 号 ; 思 维 过 程 是 神 经 元 的 联 结 活 动 过 程 , 而 不 是 符 号 运算 过 程 ; 反 对 符 号 主 义 关 于 物 理 符 号 系 统 的 假 设 , 认 为 人 脑 不 同 于 电 脑 ; 提 出 联 结 主 义 的 人 脑 工 作 模 式 ,以 取 代 符 号 主 义 的 电 脑
27、 工 作 模 式 。行 为 主 义 认 为 : 智 能 取 决 于 感 知 和 行 动 , 提 出 了 智 能 行 为 的 “感 知 动 作 ”模 型 ; 智 能 不 需 要 知 识 、 不 需要 表 示 、 不 需 要 推 理 ; 人 工 智 能 可 以 像 人 类 智 能 那 样 逐 步 进 化 , 智 能 只 有 在 现 实 世 界 中 通 过 与 周 围 环 境 的交 互 作 用 才 能 表 现 出 来 ; 指 责 传 统 人 工 智 能 ( 主 要 指 符 号 主 义 , 也 涉 及 联 结 主 义 ) 对 现 实 世 界 中 客 观 事 物的 描 述 和 复 杂 智 能 行 为 的
28、 工 作 模 式 做 了 虚 假 的 、 过 于 简 单 呢 的 抽 象 , 因 而 , 是 不 能 真 实 反 映 现 实 世 界 的 客观 事 物 的 。3、 为 什 么 要 研 究 知 识 表 示 ? 试 述 状 态 空 间 法 、 问 题 归 约 法 、 谓 词 演 算 法 的 要 点 , 并 比 较 它 们 的 关 系 。4、 请 阐 述 状 态 空 间 的 一 般 搜 索 过 程 。 OPEN 表 与 CLOSED 表 的 作 用 是 什 么 ?答 : 先 把 问 题 的 初 始 状 态 作 为 当 前 扩 展 节 点 对 其 进 行 扩 展 , 生 成 一 组 子 节 点 , 然
29、 后 检 查 问 题 的 目 标 状 态是 否 出 现 在 这 些 子 节 点 中 。 若 出 现 , 则 搜 索 成 功 , 找 到 了 问 题 的 解 ; 若 没 出 现 , 则 再 按 照 某 种 搜 索 策 略 从已 生 成 的 子 节 点 中 选 择 一 个 节 点 作 为 当 前 扩 展 节 点 。 重 复 上 述 过 程 , 直 到 目 标 状 态 出 现 在 子 节 点 中 或 者 没有 可 供 操 作 的 节 点 为 止 。 所 谓 对 一 个 节 点 进 行 “扩 展 ”是 指 对 该 节 点 用 某 个 可 用 操 作 进 行 作 用 , 生 成 该 节 点的 一 组 子
30、 节 点 。OPEN 表 用 于 存 放 刚 生 成 的 节 点 , 对 于 不 同 的 搜 索 策 略 , 节 点 在 OPEN 表 中 的 排 序 是 不 同 的 。CLOSED 表 用 于 存 放 将 要 扩 展 或 者 已 扩 展 的 节 点 。5、 广 度 优 先 搜 索 与 深 度 优 先 搜 索 各 有 什 么 特 点 ?答 : 广 度 优 先 搜 索 也 称 为 宽 度 优 先 搜 索 , 它 是 一 种 先 生 成 的 节 点 先 扩 展 的 策 略 ; 广 度 优 先 搜 索 是 一 种完 备 的 策 略 , 即 只 要 问 题 有 解 , 它 就 一 定 可 以 找 到
31、解 。 并 且 , 广 度 优 先 搜 索 找 到 的 解 , 还 不 一 定 是 路 径 最短 的 解 。 广 度 优 先 搜 索 的 缺 点 是 盲 目 性 较 大 , 尤 其 是 当 目 标 节 点 距 初 始 节 点 较 远 时 , 将 产 生 许 多 无 用 的 节点 , 因 此 其 搜 索 效 率 较 低 。深 度 优 先 搜 索 是 一 种 非 完 备 策 略 , 即 对 某 些 本 身 有 解 的 问 题 , 采 用 深 度 优 先 搜 索 可 能 找 不 到 最 优 解 , 也可 能 根 本 找 不 到 解 。 常 用 的 解 决 方 法 是 增 加 一 个 深 度 限 制
32、, 当 搜 索 达 到 一 定 深 度 但 还 没 有 找 到 解 时 , 停 止深 度 搜 索 , 向 宽 度 发 展 。6、 简 述 广 度 优 先 搜 索 算 法 , 对 下 图 给 出 广 度 优 先 搜 索 序 列 。7、 简 述 深 度 优 先 算 法 , 对 下 图 给 出 深 度 优 先 搜 索 序 列 。8、 何 谓 估 价 函 数 ? 在 估 价 函 数 中 ,g(x)和 h(x)各 起 什 么 作 用 ?9、 什 么 是 产 生 式 ? 产 生 式 规 则 的 语 义 是 什 么 ?10、 简 单 阐 述 产 生 式 系 统 的 组 成 。11、 什 么 是 置 换 ?
33、置 换 是 可 交 换 的 吗 ?12、 什 么 叫 做 专 家 系 统 ?它 具 有 哪 些 特 点 与 优 点 ?答 : 专 家 系 统 是 一 种 具 有 大 量 专 门 知 识 和 经 验 的 智 能 程 序 系 统 , 它 是 人 工 智 能 能 走 向 实 际 应 用 的 一 个 成功 典 范 , 对 它 的 进 一 步 认 识 , 有 助 加 深 对 人 工 智 能 的 认 识 和 理 解 。特 点 : 可 具 有 一 个 或 多 个 专 家 的 知 识 和 经 验 , 能 以 接 近 于 人 类 专 家 的 水 平 在 特 定 领 域 工 作 能 高 效 、 准 确 、 迅 速
34、 13、 专 家 系 统 由 哪 些 部 分 构 成 ?各 部 分 的 作 用 为 何 ?四 、 应 用 题 :1、 设 有 如 下 语 句 , 请 用 相 应 的 谓 词 公 式 分 别 把 他 们 表 示 出 来 :(1) 有 的 人 喜 欢 梅 花 , 有 的 人 喜 欢 菊 花 , 有 的 人 既 喜 欢 梅 花 又 喜 欢 菊 花 。解 : 定 义 谓 词 :P(x): x 是 人L(x,y): x 喜 欢 y其 中 , y 的 个 体 域 是 梅 花 , 菊 花 。将 知 识 用 谓 词 表 示 为 :(x)(P(x)L(x, 梅 花 ) L(x, 菊 花 ) L(x, 梅 花 )
35、 L(x, 菊 花 )5 1 42 36 7 8 910 11 12 135 1 42 36 7 8 910 11 12 13(2) 有 人 每 天 下 午 都 去 打 篮 球 。解 : 定 义 谓 词P(x): x 是 人B(x): x 打 篮 球A(y): y 是 下 午将 知 识 用 谓 词 表 示 为 :(x)(y)(A(y)B(x) P(x)(3) 新 型 计 算 机 速 度 又 快 , 存 储 容 量 又 大 。解 : 定 义 谓 词NC(x): x 是 新 型 计 算 机F(x): x 速 度 快B(x): x 容 量 大将 知 识 用 谓 词 表 示 为 :(x)(NC(x)F
36、(x) B(x)(4) 不 是 每 个 计 算 机 系 的 学 生 都 喜 欢 在 计 算 机 上 编 程 序 。解 : 定 义 谓 词S(x): x 是 计 算 机 系 学 生L(x,pragramming): x 喜 欢 编 程 序U(x,computer): x 使 用 计 算 机将 知 识 用 谓 词 表 示 为 :(x)(S(x)L(x,pragramming) U(x,computer)(5) 凡 是 喜 欢 编 程 序 的 人 都 喜 欢 计 算 机 。解 : 定 义 谓 词P(x): x 是 人L(x,y): x 喜 欢 y将 知 识 用 谓 词 表 示 为 :(x)(P(x)
37、 L(x,pragramming)L(x,computer)2、 用 谓 词 逻 辑 形 式 化 下 列 描 述 :“ 不 存 在 最 大 的 整 数 ”解 : 定 义 谓 词 G(x): x 为 整 数D(x,y): x 大 于 y形 式 化 为 : ),()()( yxDyGyxGx 或 者 ),()()( xyDyGyxGx 3、 将 下 列 自 然 语 言 转 化 为 谓 词 表 示 形 式 :( 1) 所 有 的 人 都 是 要 呼 吸 的 。( 2) 每 个 学 生 都 要 参 加 考 试 。( 3) 任 何 整 数 或 是 正 的 或 是 负 的 。解 : 设 M(x): x 是
38、 人 , H(x): x 要 呼 吸 。P(x): x 是 学 生 , Q(x): x 要 参 加 考 试 。J(x): x 是 整 数 , R(x): x 是 正 数 , N(x): x 是 负 数 。则 上 述 三 题 就 记 为 :(1) x(M(x) H(x)(2) x(P(x) Q(x)(3)V-x(I(x) R(x) N(x)4、 用 框 架 表 示 下 述 报 导 的 沙 尘 暴 灾 害 事 件虚 拟 新 华 社 3 月 16 日 电 昨 日 , 沙 尘 暴 袭 击 韩 国 汉 城 , 机 场 与 高 速 公 路 被 迫 关 闭 ,造 成 的 损 失 不 详 。 韩 国 官 方
39、示 , 如 果 需 要 直 接 损 失 情 况 , 可 待 一 周 后 的 官 方 公 布的 字 。 此 次 沙 尘 暴 起 因 中 日 韩 专 家 认 为 是 由 于 中 国 内 蒙 古 区 过 分 垦 牧 破 坏 植 被 所致 。提 示 : 分 析 概 括 用 下 划 线 标 出 的 要 点 , 经 过 概 念 化 形 成 槽 ( Slot) 并 拟 出 槽 的 名 称 , 选 填 侧 面 ( face) 值 。侧 面 包 含 “ 值 ( value) ” , “ 默 认 值 ( default) ” , “ 如 果 需 要 值 ( if-needed) ” , “ 如 果 附 加 值 (
40、 if-added) ” 几 个方 面 , 用 不 到 的 侧 面 值 可 删 除 。 建 议 框 架 采 用 如 下 形 式 :FRAME:Slot1:Value:Default:If-needed:If-added: Slot2:Value:Default:If-needed:If-added: Slot3:Value:Default:If-needed:If-added: 解 : FRAME: 沙 尘 暴Slot1: 时 间Value: 3 月 15日Default:If-needed:If-added: Slot2: 地 点Value: 韩 国 汉 城Default:If-needed
41、:If-added: Slot3: 损 失Value: 不 详Default:If-needed: 一 周 后官 方 公 布 数 字If-added: Slot4: 起 因Default: 中 国 内蒙 古 区5、 试 实 现 一 个 “ 大 学 教 师 ” 的 框 架 , 大 学 教 师 类 属 于 教 师 , 包 括 以 下 属 性 : 学 历 ( 学 士 、 硕 士 、 博 士 ) 、专 业 ( 计 算 机 、 电 子 、 自 动 化 、 ) 、 职 称 ( 助 教 、 讲 师 、 副 教 授 、 教 授 )解 : 框 架 名 : 类 属 : 学 历 : (学 士 、 硕 士 、 博 士
42、 )专 业 : ( 计 算 机 、 电 子 、 自 动 化 、 )职 称 : ( 助 教 、 讲 师 、 副 教 授 、 教 授 )假 设 有 以 下 一 段 天 气 预 报 : “ 北 京 地 区 今 天 白 天 晴 , 偏 北 风 3 级 , 最 高 气 温 12, 最 低 气 温 -2, 降 水概 率 15%。 ” 请 用 框 架 表 示 这 一 知 识 。解 :Frame地 域 : 北 京时 段 : 今 天 白 天天 气 : 晴风 向 : 偏 北风 力 : 3 级气 温 : 最 高 : 12 度最 低 : -2 度降 水 概 率 : 15%2.26 按 “ 师 生 框 架 ” 、 “
43、教 师 框 架 ” 、 “ 学 生 框 架 ” 的 形 式 写 出 一 个 框 架 系 统 的 描 述 。解 : 师 生 框 架FrameName: Unit( Last-name, First-name)Sex: Area( male, female)Default: maleAge: Unit( Years)Telephone: Home Unit( Number)Mobile Unit( Number)教 师 框 架FrameAKOMajor: Unit( Major-Name)Lectures: Unit( Course-Name)Field: Unit( Field-Name)Pro
44、ject : Area( National, Provincial, Other)Default: ProvincialPaper: Area( SCI, EI, Core, General)Default: Core学 生 框 架FrameAKOMajor: Unit( Major-Name)Classes: Unit( Classes-Name)Degree: Area( doctor, mastor,bachelor)Default: bachelor6、 用 语 义 网 络 表 示 下 列 信 息 :( 1) 胡 途 是 思 源 公 司 的 经 理 , 他 35 岁 , 住 在 飞 天
45、 胡 同 68 号( 2) 清 华 大 学 与 北 京 大 学 进 行 蓝 球 比 赛 , 最 后 以 89: 102 的 比 分 结 束 。7、 用 语 义 网 络 表 示 下 面 的 知 识 :(1) 我 是 一 个 人(2) 我 有 一 台 计 算 机(3) 我 的 计 算 机 是 PC/PIV1.8G(4)PC 机 是 计 算 机(5)PC/PIV1.8G 是 PC 机(6)PC/PIV1.8G 包 括 硬 盘 、 显 示 器 、 CPU、 内 存 。解 答 :请 对 下 列 命 题 分 别 写 出 它 们 的 语 义 网 络 :( 1) 每 个 学 生 都 有 一 台 计 算 机 。
46、解 :(2) 高 老 师 从 3 月 到 7 月 给 计 算 机 系 学 生 讲 计 算 机 网 络 课 。解 :IS A PART OF有ISA 计 算 机人 我 PC/PIV 机 PC 机 计 算 机硬 盘 显 示 器 CPU 内 存ISA ISA ISAGSg s o c学 生 占 有 权 计 算 机Owner OwnsFg 7 月 8 月Start EndISA ISAAKO请 把 下 列 命 题 用 一 个 语 义 网 络 表 示 出 来 :(1) 树 和 草 都 是 植 物 ;解 :(2) 树 和 草 都 有 叶 和 根 ;解 :(3) 水 草 是 草 , 且 生 长 在 水 中
47、;解 :(4) 果 树 是 树 , 且 会 结 果 ;解 :(5) 梨 树 是 果 树 中 的 一 种 , 它 会 结 梨 。解 :7、 将 命 题 : “ 某 个 学 生 读 过 三 国 演 义 ” 分 别 用 谓 词 公 式 和 语 义 网 络 表 示答 : 谓 词 公 式 表 示 :x(student(x) read(x,三 国 演 义 )ISA 讲 课 事 件高 老 师老 师 Subjec 计 算 机 系 学 生Object讲 课 计 算 机 网 络Action Caurse植 物 草树AKO AKO草树是 一 种 是 一 种植 物叶 根Have Have草 水 草 水 中AKO Li
48、ve植 物 AKO 树 果 树 结 果AKO Can植 物 AKO果 树 梨 树 结 梨AKO Can树 AKO语 义 网 络 表 示 如 图 :8、 给 1 9 九 个 数 字 排 一 个 序 列 , 使 得 该 序 列 的 前 n(n=1,.,9) 个 数 字 组 成 的 整 数 能 被 n 整 除 。(1)讨 论 哪 些 知 识 可 以 帮 助 该 问 题 的 求 解 。(2)用 产 生 式 系 统 描 述 该 问 题 。答 : 如 下 的 知 识 可 以 帮 助 求 解 该 问 题 :( 1) 序 列 中 偶 数 在 偶 数 位 置 , 奇 数 在 奇 数 位 置 ;( 2) 第 五
49、个 数 为 5。综 合 数 据 库 :用 一 个 1 到 9 的 序 列 表 示 : N=x, 其 中 x 为 1 到 9 的 数 字 之 一 。规 则 集 :r1:IFlen(N)=4THENx 5r2:IFlen(N)为 偶 数 andn=In(1,3,7,9)THENx nr3:IFlen(N)为 奇 数 andn=In(2,4,6,8)THENx n其 中 len(N)为 求 序 列 的 长 度 , In(a,b,c,d)为 取 a、 b、 c、 d 之 一 。初 始 状 态 : 结 束 条 件 : 得 到 的 序 列 N 前 i 个 数 组 成 的 整 数 能 被 i 整 除8、 某 企 业 欲 招 聘 一 个 JAVA 程 序 员 , 定 义 如 下 产 生 式 规 则 (要 求 ):r1:IF 有 工 作 经 验 or(本 科 以 上 学 历 and 有 相 关 知 识 背 景 then 录 用 ( 0.9)r2:IF 工 作 两 年 以 上 and 作 过 相 关 工 作 then 有 工 作 经 验 ( 0.8