大学人工智能试卷

人工智能试卷一、选择题〔1515分〕人工智能产生于哪一年〔。A.1957B.1962C.1956D.1979以下哪个不是人工智能的争论领域〔〕机器证明模式识别人工生命编译原理神经网络争论属于以下〔〕学派符号主义连接主义行为主义都不是解可以直接得到，从而解决了初始问题。这是学问表示法叫〔〕状态空间法问题归约法谓词规律法语义网络法在公式中yxp(x,y))x可能依靠于y值。令这种依靠关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做〔〕依靠函数Skolem函数打算函数多元函数子句~PQ和P经过消解以后，得到〔〕PQ~PPQ78.BA称为〔，〔〕~~B称为〔〕A. 结合律B.安排律C.吸取律D.摩根律910假设问题存在最优解，则下面几种搜寻算法中〔〕必定可以得到该最优解〔 可以认为是“智能程度相比照较高”的算法。广度优先搜寻深度优先搜寻有界深度优先搜寻启发式搜寻产生式系统的推理不包括〔〕量词的辖域中与该量词的指导变元一样的变元称为，其他变元称为9量词的辖域中与该量词的指导变元一样的变元称为，其他变元称为9、1997年５月，著名的“人机大战”，最终名为“”3.52.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。10、人工智能的远期目标是，近期目标是 。11、谓词规律中，重言式〔tautlogy〕的值是。12、利用归结原理证明定理时，假设得到的归结式为，则结论成立。13C1=┐P∨Q，C2=P∨┐QC1和C2的归结式R〔C1，C2〕=。。15、在归结原理中，几种常见的归结策略并且具有完备性的是 ， ， 。16、在启发式搜寻当中，通常用 来表示启发性信息。17、假言推理〔AB〕A ，假言三段论〔AB〕〔BC〕 .三、简答与应用题1、剪枝方法只是微小极大方法的一种近似，剪枝可能会遗漏掉最正确走步。这种说法是否正逆向推理双向推理简洁推理以下哪局部不是专家系统的组成局部〔 〕用户综合数据库推理机学问库要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。专家系统机器学习神经网络模式识别14、人工智能是一门A)数学和生理学 B)心理学和生理学 C)语言学D)综合性的穿插学科和边缘学科15、语义网络表达学问时，有向弧AKO链、ISA链是用来表达节点学问的〔。A)无悖性 B)可扩大性 C)继承性二、填空题〔共30分：归结法中，可以通过 的方法得到问题的解答。化成子句形式为： 。从事实动身，通过规章库求得结论的产生式系统的推理方式是AI是是 的英文缩写人工智能的根本技术包括 、 、 、归纳技术、联想技术。目前所用的学问表示形式有 、 、 等。产生式系统有三局部组成 ， 和推理机。其中推理可分为 和 。在谓词公式中紧接于量词之后被量词作用的谓词公式称为该量词的 确？(6分)2.将以下谓词公式化成子句集,。〔6分〕3、解释以下模糊性学问：1)〔0.〕。2)((头疼，0.95))((发烧，1.1))((感冒，1.2))(6分)写出图中树的结点两个访问序列，要求分别满足以下两个搜寻策略：(6分)深度优先搜寻广度优先搜寻 12 3 495 6 79810 11 12 135、产生式系统由哪些局部组成？赵与钱中至少有一人作案”；侦察员Ｄ说：“钱与孙至少有一人作案”；侦察员Ｃ说：“孙与李中至少有一个作案”；侦察员Ｄ说“赵与孙至少一个与案无关”；侦察员Ｅ说“钱与李中至少有一人与此案无关”。假设这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯〔15分〕以下图所示博弈树，按从左到右的挨次进展α-β剪枝搜寻，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。答案局部一、选择题123456789101112131415C二、DB填空题BBBCDADDABDC修改证明树。正向推理ArtificalInteligence搜寻技术推理技术学问表示和学问库技术框架语义网络面对对象综合数据库学问库正向推理反向推理辖域 约束变元 自由变元深蓝制造智能机器实现机器智能真空集┐PP或┐QQ14.Q〔a〕∨R〔y〕删除策略支持集策略线性归结策略启发函数B AC三、简答与应用题1其找到的最正确走步与微小极大方法找到的结果是一样的。而且搜寻效率有很大提高。xyz~P(z)Q(x,z)R(x,y,f(a))yz~P(z)Q(b,z)R(b,y,f(a))3、答：1〕表示：命题“张三比较胖” 2〕解释为：假设患者有些头疼并且发高烧，则他患了重感冒。4〔１〕深度优先搜寻：１－２－５－６－１０－１１－３－７－１２－１３－４－８－９〔２〕广度优先搜寻：１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４5:〔1〕〔2〕一组产生式规章〔或者规章集；〔3〕一个掌握系统〔或者掌握策略〕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进展消解可得答案：钱和孙是作案者。一、选择题〔1515分〕

人工智能试卷十1、97年５月，著名的“人机大战”3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为〔〕A〕深蓝 B〕IBM C〕深思 D〕蓝天2、以下不在人工智能系统的学问包含的4个要素中A)事实 B)规章 C)掌握和元学问 D)关系3谓词规律下子句,C1=L∨C1‘,C2=¬L∨C2‘, 假设σ是互补文字〔最一般合一置换，则其归结式C=〔〕A)C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’∧C2’4、或图通常称为A〕框架网络 B)语义图 C)博亦图 D)状态图5、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是A)明斯基 B).扎德 C)图林 D)冯.诺依曼7、要想让机器具有智能，必需让机器具有学问。因此，在人工智能中有一个争论领域，主要争论计算机如何自动猎取学问和技能，实现自我完善，这门争论分支学科叫〔。A)专家系统 B)机器学习 C)神经网络 模式识别8、以下哪局部不是专家系统的组成局部〔 〕A.〕用户 B〕综合数据库 C〕推理机 9、产生式系统的推理不包括〔〕A〕正向推理 B〕逆向推理 C〕双向推理 D〕简洁推理10、C(B|A)表示在规章A->B中，证据A为真的作用下结论B为真的A)可信度 B)信度 C)信任增长度 D)概率11、AI的英文缩写是A)AutomaticIntelligence B)ArtificalIntelligenceC)AutomaticeInformation D)ArtificalInformation12、反演归结〔消解〕证明定理时，假设当前归结式是〔〕时，则定理得证。永真式 B)包孕式〔subsumed〕C)空子句13、在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依靠于y值。令这种依靠关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做〔〕依靠函数Skolem函数打算函数多元函数14、子句~PQP经过消解以后，得到〔〕PQ~PPQ15、假设问题存在最优解，则下面几种搜寻算法中〔〕必定可以得到该最优解。广度优先搜寻深度优先搜寻有界深度优先搜寻D.启发式搜寻二、填空题〔共30分：1.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在一个量词的辖域中与该量词的指导变元一样的变元称为 ，其他变元称为2、假言推理〔AB〕A ，假言三段论〔AB〕〔BC〕3、几种常用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元归结策略4、在诸如走迷宫、下棋、八数码玩耍等玩耍中，常用到的一种人工智能的核心技术称为技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为在启发式搜寻当中，通常用 来表示启发性信息。在二人博弈问题中，最常用的一种分析技术是 ，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此根底上，又提出了7、不确定性类型按性质分： ， ，， 。8、在删除策略归结的过程中删除以下子句：含有 的子句;含有的子句;子句集中被别的子句 的子句。9、对证据的可信度CACA1C〔A〕之间，规定如下关系：CF〔~A〕= 、CF〔A1∧A2〕= CF〔A1∨A2〕= 。10、图：指由 组成的网络。按连接同一节点的各边的规律关系又可分为 和 。11、合一算法：求非空有限具有一样谓词名的原子公式集的 。12、开发专家系统所要解决的根本问题有三个，那就是学问的猎取、学问的表示和，使用的推理方法有和三、简答与应用题1、谓词规律形式化以下描述“不存在最大的整数”(4分)2.α－β剪枝的条件是什么？〔6分〕3、某问题由以下公式描述：(1)、试用归结法证明(x)R(x)；〔8分〕专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比较，有哪些共同点和特点？〔7分〕何谓“图灵试验”？简洁描述之〔5分〕61〕假设x是yy又是z的父亲，则x是z2〕老李〕(10分)给1～9九个数字排一个序列，使得该序列的前n(n=1,...,9)个数字组成的整数能被n整除。、争论哪些学问可以帮助该问题的求解。(2)、用产生式系统描述该问题.(15分)答案局部一、选择题A D A D B C B A D B B C B B A二、填空题1、辖域 约束变元 自由变元2、B AC3、删除策略4、图搜寻 状态空间图〔或状态图〕5、启发函数6、极大微小分析法 -剪枝技术7、随机性模糊性不全都性不确定性8、纯文字永真 类含9~C〔〕min{CA1C〔A〕} max{CA1C〔A〕}10、或图与或图11、最一般合一12、学问的运用规律表示法〔谓词表示法〕框架产生式AKO ISA三、简答及应用题1、定义谓词G(x)：x为整数D(x,y)：x大于y形式化为：┐xG(x)yG(y)D(x,y)或者xG(x)yGyDyx)2:αβ值小于或等于它任一先辈极大值节点的α值，即〔先辈层〔后继层，则可中止该微小值层中这个MIN节点以下的搜寻过程。这个MIN节点最终的倒推值就确定为这个β值。βα值大于或等于它任一先辈微小值层节点的βα〔后继层〔先辈层，则可以中止该极大值层中这个MAXMAX节点的最终倒推值就确定为这个α值。3、化子句集如下：4〔１〕骤和原则，即也要进展系统分析、系统设计等几个阶段的工作。〔２〕但由于它是专家系统，而不是一般的软件系统，所以，又有其独特的地方，主要包括以下几个步骤：１〕系统总体分析与设计；２〕学问猎取；３〕学问表示与学问描述语言设计；４〕学问库设计、学问库治理系统设计；５〕推理机与解释模块设计；６〕总控与界面设计７〕编程与调试８〕测试与评价９〕运行与维护〔３〕可以看出它有如下特点：１〕学问猎取和学问表示设计是一切工作的起点；学问表示与学问描述语言确定后，其他设计可同时进展；5、答：所谓“图灵试验”，是为了推断一台机器是否具备智能的试验。试验由三个封闭的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来推断谁是人，谁是机器。假设主持人无法推断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器”。6、解:现定义如下谓词F(x,y) x是y的父亲;G(x,z) xy的祖父;用谓词规律表示与求解:(1) F(x,y)∧F(y,z)→G(x,z)F(L,D)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｝得结果:LX的祖父，即老李是小李的祖父。7、如下的学问可以帮助求解该问题：序列中，偶数在偶数位置，奇数在奇数位置；5。综合数据库：19的序列表示：N={x}，其中x19的数字之一。规章集：r1:IFlen(N)=4THEN{x}∪{5}r2:IFlen(N)为偶数andn=In(1,3,7,9)THEN{x}∪{n}r3:IFlen(N)为奇数andn=In(2,4,6,8)THEN{x}∪{n}其中len(N)为求序列的长度，In(a,b,c,d)为取a、b、c、d之一。初始状态：{}完毕条件：得到的序列Ni个数组成的整数能被i整除人工智能试卷十三什么是人工智能？人工智能与计算机程序的区分？答：AI是争论如何制造人造的智能机器或智能系统来模拟人类智能活动的力量以延长人类智能的科学，它与计算机程序的区分是：AI争论的是符号表示的学问而不是数值数据为争论对象AI承受启发式搜寻方法而不是一般的算法掌握构造与学问是分别的允许消灭不正确的答案化以下规律表达式为不含存在量词的前束范式,Z,Y,f答：XYZ~PX,ZRX,Y,fa求以下谓词公式的子句集xy((P(x,y)(Q(x,y)R(x,y)))答：xy(~(P(x,y)(Q(x,y)R(x,y)))xy((~P(x,y)~(Q(x,y))R(x,y)))xy((~P(x,y)R(x,y))(~Q(x,y)R(x,y)))所以子句集为：{~P(x,y)R(x,y),~Q(x,y)R(x,y)}假设有梯形ABCD明内错角ABDCDBA BCD证明：设梯形顶点依次为a,b,c,d,定义谓词:T(x,y,u,v):xy为上底,uv为下底的梯形.E(x,y,z,u,v,w)表示∠xyz=∠uvw，问题的描述和相应的子句集为xyuv[T(x,y,u,v)→P(x,y,u,v)]...梯形上下底平行子句：～T(x,y,u,v)∨P(x,y,u,v)xyuv[P(x,y,u,v)→E(x,y,v,u,v,y)]...子句：T(a,b,c,d)...子句：T(a,b,c,d)E(a,b,d,c,d,b)...要证明的结论子句：～E(a,b,d,c,d,b)子句集S为～T(x,y,u,v)∨P(x,y,u,v)～P(x,y,u,v)∨E(x,y,v,u,v,y)T(a,b,c,d)～E(a,b,d,c,d,b)下面利用归结原理证明

行则内错交相等P(a,b,c,d) 〔1〕和〔3〕归结，置换{a/x,b/y,c/u,d/v}E(a,b,d,c,d,b) 〔2〕和〔5〕归结，置换{a/x,b/y,c/u,d/v}NIL 〔4〕和〔6〕归结依据归结原理得证。,解：k=0S0=Sδ0=εS0 不是单元素集，求得差异集D0=｛a/z｝,其中z是变元，a是项，且z不在a中消灭。k=k+1=1有｛a/｝｛a/｛a/，S1=S0·｛a/z｝=｛P(a,x,f(g(y)),P(a,h(a,u),f(u))),S1不是单元素集，求得差异集D1=｛x,h(a,u)｝,k=k+1=2δ2=δ1·｛h(a,u)/x｝=｛a/z,h(a,u)/x｝,S2=S1·｛h(a,u)/x｝=｛P(a,h(a,u),f(g(y)),P(a,h(a,u),f(u)))，S2不是单元素集，求得差异集D2=｛g(y),u｝,k=k+1=3δ3=δ2·｛g(y)/u｝=｛a/z,h(a,u)/x｝·｛g(y)/u｝=｛a/z,h(a,g(y))/x,g(y)/u｝S3=S2·｛g(y)/u｝=｛P(a,h(a