人工智能试卷-8

一、填空题（共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.~PD.PQ7、8.A（AB）A称为（），~（AB）~A~B称为（）A.结合律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.~PE.PQ15、如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解。A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.启发式搜索三、简答与应用题1.深度优先方法的特点是什么？62.什么是置换？置换是可交换的吗？6分某问题由下列公式描述：(1)、试用归结法证明(x)R(x)；8分4.下图所示博弈树，按从左到右的顺序进行α-β剪枝搜索，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。10分5.10分设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)6.张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员Ａ说：“赵与钱中至少有一人作案”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。（10分）填空题1、修改证明树2、。3、正向推理4、ArtificalInteligence5、搜索技术推理技术知识表示和知识库技术、归纳技术、联想技术6、框架语义网络面向对象7、综合数据库知识库正向推理反向推理8、辖域约束变元自由变元9、深蓝10、制造智能机器实现机器智能11、真12、空集13、┐P∨P或┐Q∨Q14、Q（a）∨R（y）15、删除策略支持集策略线性归结策略16、启发函数17、BAC选择题123456789101112131415CDBBBBCADBBCBBA三、简答与应用题1.解答:（1）属于图搜索；（2）是一个通用的搜索方法；（3）如果深度限制不合适，有可能找不到问题的解；（4）不能保证找到最优解。2.回答:通常用有序对的集合s＝{t1/v1，t2/v2，…，tn/vn}来表示任一置换，置换集的元素ti/vi的含义是表达式中的变量vi处处以项ti来替换，用s对表达式E作置换后的例简记为Es。一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。3.4.5.、解:现定义如下谓词F(x,y)------x是y的父亲;G(x,z)------x是y的祖父;用谓词逻辑表示已知与求解:(1)F(x,y)∧F(y,z)→G(x,z)(2)F(L,D)(3)F(D,X)(4)G(u,v),u=?,v=?其中,L表示老李,D表示大李,X表示小李。先证存在祖孙关系①～F(x,y)∨～F(y,z)∨G(x,z)．．．从(1)变换②F(L,D)．．．从(2)变换③F(D,X)．．．从(3)变换④～G(u,v)．．．结论的否定⑤～F(D,z)∨G(L,z)．．．①②归结,置换｛L/x,D/y｝⑥G(L,X)．．．③⑤归结,置换｛X/z｝⑦□．．．④⑥归结,置换｛L/u,X/v｝得证,说明存在祖孙关系。为了求解用一个重言式④④～G(u,v)∨G(u,v)．．．用重言式代替结论的否定,重言式恒为真⑤～F(D,z)∨G(L,z)．．．①②归结,置换｛L/x,D/y｝⑥G(L,X)．．．③⑤归结,置换｛X/z｝⑦G(L,X)．．．④⑥归结,置换｛L/u,X/v｝得结果:L是X的祖父，即老李是小李的祖父。6.解：设用T(x)表示x是作案者，则侦察员A的话可表示：T(赵)T(钱)侦察员B的话可表示：T(钱)T(孙)侦察员C的话可表示：T(孙)T(李)侦察员D的话可表示：T(赵)T(孙)侦察员E的话可表示：T(钱)T(李)上面五个组成子句集S，求谁是作案者，把T(x)ANSWER(x)并入S1得到。即比S1多出如下一个子句：T(x)ANSWER(x)然后利用消解原理对S1进行消解可得答案：钱和孙是作案者。