考 试 ： 9 周 二 晚 7 点 ， 5 下 单 选 题 15× 2 分 推 理 问 答 题 7× 10 分 人 工 智 能 复 习 资 料 第 二 章 3、 谓 词 ★ （ 预 测 大 题 ： 谓 词 的 表 示 ） 谓 词 逻 辑 法 采 用 谓 词 合 式 公 式 和 一 阶 谓 词 演 算 把 要 解 决 的 问 题 变 为 一 个 有 待 证 明 的 问 题 ， 然 后 采 用 消解 定 理 和 消 解 反 演 来 证 明 一 个 新 语 句 是 从 已 知 的 正 确 语 句 导 出 的 ， 从 而 证 明 这 个 新 语 句 也 是 正 确 的 。 谓 词 逻 辑 的 组 成 ： 谓 词 符 号 、 变 量 符 号 、 函 数 符 号 和 常 量 符 号 。 用 谓 词 公 式 表 示 知 识 的 一 般 步 骤 ： (1).定 义 谓 词 及 个 体 ， 确 定 每 个 谓 词 及 个 体 的 确 切 含 义 (2).根 据 所 要 表 达 的 事 物 或 概 念 ， 为 每 个 谓 词 中 的 变 元 赋 以 特 定 的 值 。 (3).根 据 所 要 表 达 的 知 识 的 语 义 ， 用 适 当 的 连 接 符 将 各 个 谓 词 连 接 起 来 形 成 谓 词 公 式 。 二 元 语 义 网 络 （ 预 测 大 题 ） 语 义 网 络 是 一 种结构化表 示 方法 ， 它由节点 和 弧线或 链线组 成 。 节点 用 于表 示 物 体 、 概 念 和 状态， 弧线用 于表 示 节点 间的 关系。 （ 1） 常 用 的 类属关系有 ： AKO(A-Kind-of):表 示 一 个 事 物 是 另一 个 事 物 的 一 种类型。 AMO(A-Member-of):表 示 一 个 事 物 是 另一 个 事 物 的 成 员。 ISA(Is-a):表 示 一 个 事 物 是 另一 个 事 物 的 实例。 （ 2） 常 用 的 包含 关系的 有 ： Part_of:表 示 一 个 事 物 是 另一 个 事 物 的 一 部分 ， 或 说是 部分 与整体 的 关系。 （ 3） 常 用 的 属性的 关系有 ： Have： 表 示 一 个 结点 具有 另一 个 结点 所 描述性。 Can： 表 示 一 个 结点 能 做另一 个 结点 的 事 情。····· 用 语 义 网 络 表 示 知 识 的 步 骤 ： 确 定 问 题 总所 有 对象...
