1名词解释5X6分/简答题5X10分/论述题1X20分一、选择题1.下列哪个不是人工智能的研究领域（D）A.机器证明B.模式识别C.人工生命D.编译原理2.人工智能是一门（C）A.数学和生理学B.心理学和生理学C.语言学D.综合性的交叉学科和边缘学科3.神经网络研究属于下列（B）学派A.符号主义B.连接主义C.行为主义D.都不是4.(A->B)∧A=>B是（C）A.附加律B.拒收律C.假言推理D.US5.命题是可以判断真假的（D）A.祈使句B.疑问句C.感叹句D.陈述句6.MGU是（A）A.最一般合一B.最一般替换C.最一般谓词D.基替换7.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。A.专家系统B.机器学习C.神经网络D.模式识别8.下列不在人工智能系统的知识包含的4个要素中（D）A.事实B.规则C.控制D.关系9.语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（C）。A.无悖性B.可扩充性C.继承性10.仅个体变元被量化的谓词称为（A）A.一阶谓词B.原子公式C.二阶谓词D.全称量词11.或图通常称为（D）A.框架网络B.语义图C.博亦图D.状态图12.不属于人工智能的学派是（B）A.符号主义B.机会主义C.行为主义D.连接主义。13.所谓不确定性推理就是从()的初始证据出发，通过运用()的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。（A）A.不确定性,不确定性B.确定性,确定性C.确定性,不确定性D.不确定性确定性14.C(B|A)表示在规则A->B中，证据A为真的作用下结论B为真的（B）A.可信度B.信度C.信任增长度D.概率15.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（B）A.状态空间法B.问题归约法C.谓词逻辑法D.语义网络法16.在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（B）A.依赖函数B.Skolem函数C.决定函数D.多元函数17.下列哪部分不是专家系统的组成部分（A）A.用户B.综合数据库C.推理机D.知识库18.产生式系统的推理不包括（D）A.正向推理B.逆向推理C.双向推理D.简单推理19.子句~PQ和P经过消解以后，得到（B）A.PB.QC.~PD.PQ20.反演归结（消解）证明定理时，若当前归结式是（C）时，则定理得证。A.永真式B.包孕式（subsumed）C.空子句21.谓词逻辑下，子句,C1=L∨C1‘,C2=?L∨若σ是互补文字的（最一般）合一置换，则其归结式C=（A）A.C1’σ∨C2’σB.C1’∨C2’C.C1’σ∧C2’σD.C1’∧C2’22.A（AB）A称为（），~（AB）~A~B称为（C）2A.结合律B.分配律C.吸收律D.摩根律23.如果问题存在最优解，则下面几种搜索算法中，（A）必然可以得到该最优解。A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.启发式搜索24.AI的英文缩写是（A）A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation25.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是(A)A.正向推理B.反向推理C.双向推理26.1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A）A.深蓝B.IBMC.深思D.蓝天27.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是(C)A.明斯基B.扎德C.图林D.冯.诺依曼二、填空题1.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理2.AI是是ArtificalInteligence的英文缩写3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术、归纳技术、联想技术4.归结法中，可以通过修改证明树的方法得到问题的解答。5.目前所用的知识表示形式有框架、语义网络、面向对象等。6.产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为正向推理和反向推理。7.化成子句形式为：。8.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量...
