一 、 填 空 : 1
人 工 智 能 的 研 究 途 径 有 心 理 模 拟 、 生 理 模 拟 和 行 为 模 拟
任 意 列 举 人 工 智 能 的 四 个 应 用 性 领 域 智 能 控 制 、 智 能 管 理 、 智 能 决 策 、 智 能 仿 真
人 工 智 能 的 基 本 技 术 包 括 表 示 、 运 算 、 搜 索 归 纳 技 术 、 联 想 技 术
谓 词 逻 辑 是 一 种 表 达 能 力 很 强 的 形 式 语 言 , 其 真 值 的 特 点 和 命 题 逻 辑 的 区 别 是 ( 10)
谓 词 逻 辑 中 , 重 言 式 ( tautlogy) 的 值 是 ( 11)
设 P 是 谓 词 公 式 , 对 于 P 的 任 何 论 域 , 存 在 P 为 真 的 情 况 , 则 称 P 为 ( 12)
在 著 名 的 医 疗 专 家 系 统 MYCIN 中 规 定 , 若 证 据 A 的 可 信 度CF( A) =0, 则 意 味 着 13 , CF( A)=-1, 则 意 味 着 ( 14), CF( A) =1, 则 意 味 着 ( 15)
谓 词 公 式 G 是 不 可 满 足 的 , 当 且 仅 当 对 所 有 的 解 释 ( 16)
谓 词 公 式 与 其 子 句 集 的 关系 是 ( 17)
利用 归 结原理 证 明定 理 时, 若 得到的 归 结式 为 ( 18), 则 结论 成立
若 C1=┐P∨Q, C2=P∨┐Q, 则 C1 和 C2 的 归 结式 R( C1, C2) = ( 19)
若 C1=P(x) ∨Q(x), C2=┐P(a) ∨R(y), 则 C1 和 C2 的 归 结式 R( C1, C2) = ( 20)