一、填空题（共30分）1.归结法中，可以通过---------的方法得到问题的解答。2.化成子句形式为：。3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是4.AI是是的英文缩写5.人工智能的基本技术包括、、、——、——。6.目前所用的知识表示形式有、、等。7.产生式系统有三部分组成，和推理机。其中推理可分为和。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）.二、选择题（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.PB.QC.~PPQ7、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)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation12、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。A)永真式B)包孕式（subsumed）C)空子句13、在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A.依赖函数B.Skolem函数C.决定函数D.多元函数14、子句~PQ和P经过消解以后，得到（）A.PB.QC.~PPQ15、如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解。广度优先搜索深度优先搜索有界深度优先搜索D.启发式搜索三、简答与应用题深度优先方法的特点是什么？6什么是置换？置换是可交换的吗？6分某问题由下列公式描述：(1)、试用归结法证明(x)R(x)；8分4.下图所示博弈树，按从左到右的顺序进行α-β剪枝搜索，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。10分5.10分设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)6.张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱中至少有一人作案”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。（10分）