一、填空：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.谓词公式与其子句集的关系是 包含。 10. 运用归结原理证明定理时，若得到的归结式为 空集，则结论成立。11.若 C1=┐PQ∨ ，C2=P┐Q∨，则 C1 和 C2 的归结式 R（C1，C2）= ┐PP∨或┐ QQ∨ 。12. 若 C1=P(x) Q(x)∨， C2=┐P(a) R(y)∨， 则 C1 和 C2 的 归 结 式R（C1，C2）= （ 20 ） Q （ a ）∨ R （ y ） 13. 有谓词公式 G，置换 δ，则 G·ε= （ 21 ） ，δ·ε= （ 22 ） 。14. 有子句集 S=｛P(x),P(y)｝，其 MGU= {y/x} 。15. 在归结原理中，几种常见的归结方略并且具有完备性的是 删除方略 支持集方略 线性归结方略16. 状态图启发式搜索算法的特点是 （ 27 ） 。17. 广度优先搜索算法中，OPEN 表的数据构造实际是一种 二叉树，深度优先搜索算法中，OPEN 表的数据构造实际是一种单链表 。18. 产生式系统有三部分构成 综合数据库， 知识库和推理机。其中推理可分为 正向推理和反向推理。 19. 专家系统的构造包含人机界面、 知识库 ， 推理机 ， 动态数据库 ， 知识库答理系统 和解释模块。20. 在 MYCIN 推理中，对证据的可信度 CF（A）、CF（A1）、CF（A2）之间，规定如下关系： CF（~A）= ~CF （ A ） ，CF（A1A2 ∧）= min{CF （ A1 ） ， CF （ A2 ） } ， CF （ A1A2 ∨） = max{CF （ A1 ）， CF （ A2 ） } 。21. 开发专家系统所要处理的基本问题有三个，那就是知识的获取、知识的表达和知识的运用，知识表达的措施重要有 逻辑表达法（谓词表达法） ， 框架， 产生式和语义网络等，在语义网络表达知...
