西安科技大学人工智能题库3(含答案).docVIP

人工智能试卷八 一、填空题（共30分） 1. 归结法中，可以通过---------的方法得到问题的解答。 2.化成子句形式为： 。 3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 4.AI是是 的英文缩写 人工智能的基本技术包括 、 、 、——、——。 、 、 产生式系统有三部分组成 ， 和推理机。其中推理可分为 和 。8.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在一个量词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 9、1997年５月，著名的“人机大战”，最终名为“　　　　　　　　”的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。 10、人工智能的远期目标是　　　　　　　　　　　　　　　　　　，近期目标是　　　　　　　　　　　　　　　　。 11、谓词逻辑中，重言式（tautlogy）的值是 。 12、利用归结原理证明定理时，若得到的归结式为 ，则结论成立。 13、若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= 。 14、若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= 。 15、在归结原理中，几种常见的归结策略并且具有完备性的是 ， ， 。 16、在启发式有哪些信誉好的足球投注网站当中，通常用 来表示启发性信息。 17、假言推理（A(B）(A( ，假言三段论（A(B）(（B(C）( .填空题 修改证明树 。 正向推理 Artifical Inteligence 有哪些信誉好的足球投注网站技术 推理技术 知识表示和知识库技术、归纳技术、联想技术 框架 语义网络 面向对象 综合数据库 知识库 正向推理 反向推理 辖域 约束变元 自由变元 深蓝 制造智能机器 实现机器智能 真 空集 ┐P∨P或┐Q∨Q Q（a）∨R（y） 删除策略 支持集策略 线性归结策略 启发函数 B A(C 二、选择题（15小题，共15分 1.人工智能是一门 A)数学和生理学 B)心理学和生理学 C)语言学 D)综合性的交叉学科和边缘学科 2、下列哪个不是人工智能的研究领域（ ） A.　机器证明 B.　模式识别 C. 人工生命 D. 编译原理 3.神经网络研究属于下列（ ）学派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是 4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（ ） A. 状态空间法 B. 问题归约法 C. 谓词逻辑法 D. 语义网络法 5.在公式中(y(xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ） A. 依赖函数 B. Skolem函数 C. 决定函数 D. 多元函数 6.子句~P(Q和P经过消解以后，得到（ ） A. P B. Q C. ~P P(Q 7、8.A(（A(B）(A 称为（ ），~（A(B）(~A(~B称为（ ） 结合律 B.分配律 C.吸收律 D.摩根律 8、下列哪部分不是专家系统的组成部分（　 ） A.）用户 B）综合数据库 C）推理机 D）知识库 9、产生式系统的推理不包括（ ） A）正向推理 B）逆向推理 C）双向推理 D）简单推理 10、C(B|A) 表示在规则A-B中，证据A为真的作用下结论B为真的 A)可信度 B)信度 C)信任增长度 D)概率 11、AI的英文缩写是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 A)永真式 B)包孕式（subsumed） C