(此文档为Word 格式，下载后可以任意编辑修改！） 试卷装订封面 学年第 学期 课程名称： 课程代码 学生系别 专 业 任课教师 阅卷教师 考试方式 开卷□ 闭卷∨ 考试日期 考试时间 阅卷日期 装订教师 装订日期 缺卷学生姓名及原因： 无 附：课程考试试卷分析表、期末考核成绩登记表 一、填空： 1 . 人工智能的研究途径有 心理模拟 、 生理模拟 和行为模拟。 2 . 任意列举人工智能的四个应用性领域难题求解 、定理证明 、智能控制 、机器翻译 。 3 . 人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术。 4 . 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。 5 . 谓词逻辑中，重言式（tautlogy）的值是 真 。 6 . 设 P 是谓词公式，对于 P 的任何论域，存在 P 为真的情况，则称 P 为永真式。 7 . 在著名的医疗专家系统 MYCIN 中规定，若证据 A 的可信度 CF（A）=0，则意味着 无关，CF（A）=-1，则意味着假，CF（A）=1，则意味着真。 8 . 谓词公式 G 是不可满足的，当且仅当对所有的解释G 都为假。 9 . 谓词公式与其子句集的关系是 包含。 1 0 . 利用归结原理证明定理时，若得到的归结式为 空集，则结论成立。 1 1 . 若 C1=┐P∨Q，C2=P∨┐Q，则 C1 和 C2 的归结式 R（C1，C2）= ┐P∨P 或┐Q∨Q。 1 2 . 若 C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则 C1 和 C2 的归结式 R（C1，C2）= （20）Q（a）∨R（y） 1 3 . 有谓词公式 G，置换δ，则 G·ε= （21） ，δ·ε= （22） 。 1 4 . 有子句集S=｛P(x),P(y)｝，其 MGU= {y/x} 。 1 5 . 在归结原理中，几种常见的归结策略并且具有完备性的是 删除策略 支持集策略 线性归结策略 1 6 . 状态图启发式搜索算法的特点是 （27）。 1 7 . 广度优先搜索算法中，OPEN 表的数据结构实际是一个 二叉树，深度优先搜索算法中，OPEN 表的数据结构实际是一个单链表 。 1 8 . 产生式系统有三部分组成 综合数据库， 知识库和推理机。其中推理可分为 正向推理和反向推理。 1 9 . 专家系统的结构包含人机界面、 知识库 ， 推理机 ， 动态数据库 ， 知识库答理系统 和解释模块。 2 0 . 在 MYCIN 推理中，对证据的可信度 CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~...
