一 、 填 空 ： 1. 人 工 智 能 的 研 究 途 径 有 心 理 模 拟 、 生 理 模 拟 和 行 为 模 拟 。 2. 任 意 列 举 人 工 智 能 的 四 个 应 用 性 领 域 智 能 控 制 、 智 能 管 理 、 智 能 决 策 、 智 能 仿 真 。 3. 人 工 智 能 的 基 本 技 术 包 括 表 示 、 运 算 、 搜 索 归 纳 技 术 、 联 想 技 术 。 4. 谓 词 逻 辑 是 一 种 表 达 能 力 很 强 的 形 式 语 言 ， 其 真 值 的 特 点 和 命 题 逻 辑 的 区 别 是 （ 10）。 5. 谓 词 逻 辑 中 ， 重 言 式 （ tautlogy） 的 值 是 （ 11） 。 6. 设 P 是 谓 词 公 式 ， 对 于 P 的 任 何 论 域 ， 存 在 P 为 真 的 情 况 ， 则 称 P 为 （ 12）。 7. 在 著 名 的 医 疗 专 家 系 统 MYCIN 中 规 定 ， 若 证 据 A 的 可 信 度CF（ A） =0， 则 意 味 着 13 ， CF（ A）=-1， 则 意 味 着 （ 14）， CF（ A） =1， 则 意 味 着 （ 15）。 8. 谓 词 公 式 G 是 不 可 满 足 的 ， 当 且 仅 当 对 所 有 的 解 释 （ 16）。 9. 谓 词 公 式 与 其 子 句 集 的 关系 是 （ 17）。 10. 利用 归 结原理 证 明定 理 时， 若 得到的 归 结式 为 （ 18）， 则 结论 成立。 11. 若 C1=┐P∨Q， C2=P∨┐Q， 则 C1 和 C2 的 归 结式 R（ C1， C2） = （ 19）。 12. 若 C1=P(x) ∨Q(x)， C2=┐P(a) ∨R(y)， 则 C1 和 C2 的 归 结式 R（ C1， C2） = （ 20） 。 13. 有 谓 词 公 式 G， 置换δ， 则 G·ε= （ 21） ， δ·ε= （ 22） 。 14. 有 子 句 集 S=｛P(x),P(y)｝， 其 MGU= （ 23） 。 15. 在 归 结原理 中 ， 几种 常见的 归 结策 略并且 具有 完备性 的 是 （ 24）， （ 25） ， （ 26）。 16. 状态图启发式 搜 索 算 法 的 特 点 是 （ 27）。 17. 广 度 优 先 搜 索 算 法 中 ， OPEN 表 的 数 据 结构 实 际 是 一 个 （ 28）， 深 度 优 先 搜 索 算 法 中 ， OPEN表 的 数 据 结构 实 际 是 一 个 （ 29...
