人工智能复习要点

-名词解释5X6分/简答题5X10分/论述题1X20分一、选择题1.以下哪个不是人工智能的研究领域 D A.机器证明 B.模式识别 C.人工生命 D.编译原理2.人工智能是一门CA.数学和生理学B.心理学和生理学C.语言学D.综合性的穿插学科和边缘学科 3.神经网络研究属于以下B 学派 A.符号主义 B.连接主义 C.行为主义 D.都不是4.(A-B)A = B是CA.附加律B.拒收律C.假言推理D.US5.命题是可以判断真假的DA.祈使句B.疑问句C.感慨句D.述句6.MGU是AA.最一般合一 B.最一般替换 C.最一般谓词 D.基替换7.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫B 。A.专家系统 B.机器学习 C.神经网络 D.模式识别8.以下不在人工智能系统的知识包含的4个要素中DA.事实B.规那么C.控制D.关系9.语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的C 。A.无悖性B.可扩大性C.继承性10.仅个体变元被量化的谓词称为A A.一阶谓词B.原子公式C.二阶谓词D.全称量词11.或图通常称为DA.框架网络 B.语义图 C.博亦图 D.状态图12.不属于人工智能的学派是BA.符号主义 B.时机主义 C.行为主义 D.连接主义。13.所谓不确定性推理就是从( )的初始证据出发，通过运用( )的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。AA.不确定性, 不确定性 B.确定性, 确定性C.确定性, 不确定性 D.不确定性确定性14.C(B|A) 表示在规那么A-B中，证据A为真的作用下结论B为真的BA.可信度 B.信度 C.信任增长度 D.概率15.初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫 B A.状态空间法 B.问题归约法 C.谓词逻辑法 D.语义网络法16.在公式中y$xp(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. P B. Q C.P D.PQ20.反演归结消解证明定理时，假设当前归结式是 C时，那么定理得证。A.永真式B.包孕式subsumedC.空子句21.谓词逻辑下，子句, C1=LC1, C2= LC2, 假设是互补文字的最一般合一置换，那么其归结式C= A A.C1C2B.C1C2C.C1C2D.C1C222.AABA 称为 ，ABAB称为 C A.结合律 B.分配律 C.吸收律 D.摩根律23.如果问题存在最优解，那么下面几种搜索算法中， A 必然可以得到该最优解。A.广度优先搜索 B.深度优先搜索 C.有界深度优先搜索 D.启发式搜索24.AI的英文缩写是AA)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information25. 从事实出发，通过规那么库求得结论的产生式系统的推理方式是( A )A.正向推理B.反向推理C.双向推理26.1997年月，著名的人机大战，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为 AA.深蓝B.IBM C.深思 D.27.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是(C )A.明斯基 B.扎德 C.图林 D.诺依曼二、填空题1.从事实出发，通过规那么库求得结论的产生式系统的推理方式是 正向推理 2.AI是是 Artifical Inteligence 的英文缩写3.人工智能的根本技术包括 搜索技术、推理技术、知识表示和知识库技术、归纳技术、联想技术4.归结法中，可以通过 修改证明树的方法得到问题的解答。5.目前所用的知识表示形式有框架、语义网络、面向对象等。6.产生式系统有三局部组成综合数据库，知识库和推理机。其中推理可分为正向推理和反向推理。7.化成子句形式为：。8.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元一样的变元称为约束变元，其他变元称为自由变元9.谓词逻辑中，重言式tautlogy的值是 真 。10.利用归结原理证明定理时，假设得到的归结式为，那么结论成立。11.假设C1=PQ，C2=PQ，那么C1和C2的归结式RC1，C2=。空集12.假设C1=P(x)Q(x)，C2=P(a)R(y)，那么C1和C2的归结式RC1，C2=PP或QQ 。13.在归结原理中，几种常见的归结策略并且具有完备性的是删除策略，支持集策略， 线性归结策略 。14.假言推理ABAB，假言三段论ABBCAC .15.不确定性类型按性质分：随机性，模糊性，不完全性，不一致性。16.在删除策略归结的过程中删除以下子句：含有纯文字的子句;含有永真式的子句;子句集中被别的子句类含的子句。17.从事实出发，通过规那么库求得结论的产生式系统的推理方式正向推理。18.对证据的可信度CFA、CFA1、CFA2之间，规定如下关系：CFA=-CF(A)、CFA1A2 = minCF(A1),CF(A2)、CFA1A2 = maxCF(A1),CF(A2)19.在启发式搜索当中，通常用启发函数来表示启发性信息。20.图：指由 节点 和 有向边 组成的网络。按连接同一节点的各边的逻辑关系又可分为或图和与或图。21.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是图林22.不确定性类型按性质分：随机性，模糊性，不完全性，不一致性。23.在删除策略归结的过程中删除以下子句：含有纯文字的子句;含有永真式的子句;子句集中被别的子句类含的子句。24.产生式系统的推理过程中，从可触发规那么中选择一个规那么来执行，被执行的规那么称为被触发规那么。25.1997年月，著名的人机大战，最终名为深蓝的计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。26.合一算法：求非空有限具有一样谓词名的原子公式集的最一般合一MGU27.P(B|A) 表示在规那么AB中，证据A为真的作用下结论B为真的概率。28.人工智能的远期目标是制造智能机器，近期目标是实现机器智能。知识点1.信息处理系统：符号操作系统(Symbol Operation System)，物理符号系统(Physical Symbol System)。所谓符号就是模式(pattern)。一个完善的符号系统应具有以下6种根本功能：(1)输入符号(input)；(2)输出符号(output);(3)存储符号(store);(4)复制符号(copy);(5)建立符号构造：通过找出各符号间的关系，在符号系统中形成符号构造；(6)条件性迁移(conditional transfer):根据已有符号，继续完成活动过程2. 证据理论是由德普斯特(A.P.Dempster)首先提出，并有沙佛(G.Shafer)进一步开展起来的用于处理不确定性的一种理论，也称DS (Dempster-Shafer)理论。它将概率论中的单点赋值扩展为集合赋值，可以处理由不知道所引起的不确定性，比主观Bayes方法有着更大的灵活性。在DS理论中，可以分别用信任函数、似然函数及类概率函数来描述知识的准确信任度、不可驳斥信任度及估计信任度。3.符号主义(Symbolicism)，又称为逻辑主义(Logicism)、心理学派(Psychlogism)或计算机学派(puterism)，其原理主要为物理符号系统(即符号操作系统)假设和有限合理性原理。4.专家系统：一般地说，专家系统是一个智能计算机程序系统，其部具有大量专家水平的某个领域知识与经历，能够利用人类专家的知识和解决问题的方法来解决该领域的问题。开展专家系统的关键是表达和运用专家知识，即来自人类专家的并已被证明对解决有关领域的典型问题是有用的事实和过程。5.知识是人类智能的根底，是大脑对现实世界认识的表达，它经过对信息的加工整理、解释、挑选和改造而成，是由特定领域的 描述、关系和过程组成的，是事实、信念和启发式规那么。知识的特点：相对正确性，不确定性，可表示性，可利用性。知识的分类：事实性知识，过程性知识，行为性知识，实例性知识，类比性知识，元知识。通常知识可以从围、目的和有效性三个方面来描述：知识的围是由具体到一般，知识的目的是由说明性到指定性，知识的有效性是由确定到不确定。 6.人工智能：人工智能(学科)是计算机科学中涉及研究、设计和应用智能机器的一个分支。它的近期主要目标在于研究用机器来模仿和执行人脑的某些智力功能，并开发相关理论和技术。7.不确定性推理：不确定性推理泛指除准确推理以外的其它各种推理问题。包括不完备、不准确知识的推理，模糊知识的推理，非单调性推理等。不确定性推理过程实际上是一种从不确定的初始证据出发，通过运用不确定性知识，最终推出具有一定不确定性但却又是合理或根本合理的结论的思维过程8.知识表示是研究用机器表示知识的可行性、有效性的一般方法，是一种数据构造与控制构造的统一体，既考虑知识的存储又考虑知识的使用。9.神经网络神经网络处理直觉和形象思维信息具有比传统处理方式好得多的效果。神经网络已在模式识别、图象处理、组合优化、自动控制、信息处理、机器人学和人工智能的其它领域获得日益广泛的应用。10.在基于规那么系统中，每个if可能与某断言(assertion)集中的一个或多个断言匹配，then局部用于规定放入工作存的新断言。当then局部用于规定动作时，称这种基于规那么的系统为反响式系统(reaction system)或产生式系统(production system)。11.产生式系统：在基于规那么系统中，每个if可能与某断言(assertion)集中的一个或多个断言匹配，then局部用于规定放入工作存的新断言。当then局部用于规定动作时，称这种基于规那么的系统为反响式系统(reaction system)或产生式系统(production system)。12.自然语言理解语言处理也是人工智能的早期研究领域之一，并引起了进一步的重视。语言的生成和理解是一个极为复杂的编码和解码问题。一个能理解自然语言信息的计算机系统看起来就像一个人一样需要有上下文知识以及根据这些上下文知识和信息用信息发生器进展推理的过程。理解口头的和书写语言的计算机系统所取得的某些进展，其根底就是有关表示上下文知识构造的某些人工智能思想以及根据这些知识进展推理的某些技术。三、简答及计算题1.深度优先方法的特点是什么？答: 1属于图搜索；2是一个通用的搜索方法；3如果深度限制不适宜，有可能找不到问题的解；4不能保证找到最优解。2.什么是置换？置换是可交换的吗？答: 通常用有序对的集合st1/v1，t2/v2，tn/vn来表示任一置换，置换集的元素ti/vi的含义是表达式中的变量vi处处以项ti来替换，用s对表达式E作置换后的例简记为Es。一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。3.填写下面的三值逻辑表。其中T，F，U分别表示真，假，不能判定4.什么是产生式？产生式规那么的语义是什么？答：产生式规那么根本形式：PQ 或者 IF P THEN QP 是产生式的前提前件，用于指出该产生式是否可用的条件Q 是一组结论或操作后件，用于指出当前提 P 所指示的条件满足时，应该得出的结论或应该执行的操作产生式规那么的语义：如果前提P被满足，那么可推出结论 Q 或执行 Q 所规定的操作5.解释以下模糊性知识：1) 三，体型，胖，0.9。2) (患者，病症，(头疼，0.95) ) (患者，病症，(发烧，1.1) ) (患者，疾病，(感冒，1.2) )答：1表示：命题三比拟胖 2解释为：如果患者有些头疼并且发高烧，那么他患了重感冒。6.简单阐述产生式系统的组成：答：1产生式规那么库：描述相应领域知识的产生式规那么集2数据库：事实的集合存放问题求解过程中当前信息的数据构造初始事实、外部数据库输入的事实、中间结果事实和最后结果事实3推理机：控制系统是一个程序，控制协调规那么库与数据库的运行，包含推理方式和控制策略。7.补齐产生式系统与图搜索的比照表8.W=P(f(x,g(A,y),z),P(f(x,z),z)，求MGU解：k=0;S0=S;0=;S0不是单元素集，求得差异集D0=g(A,y),z,其中z是变元，g(A,y)是项，且z不在g(A,y)中出现。k=k+1=1有1=0g(A,y)/z=g(A,y)/z=g(A,y)/z，S1=S0g(A,y)/z=P(f(x,g(A,y),g(A,y),S1是单元素集。根据求MGU算法，MGU=1=g(A,y)/z9.证明G是否是F1、F2的逻辑结论；证:P(x)Q(x)从F1变换P(y)R(y)从F1变换P(a)从F2变换S(a)从F2变换S(z)R(z)结论的否认R(a)归结a/yR(a)归结a/z归结得证.10.谓词公式G通过个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。答：1消去蕴含式和等价式， 2缩小否认词的作用围，直到其作用于原子公式: 3适当改名，使量词间不含同名指导变元和约束变元。 4消去存在量词形成Skolem标准型 5消去所有全称量词 6) 化成合取式7)适当改名，使子句间无同名变元 8) 消去合取词，用逗号代替，以子句为元素组成一个集合S11.S=P(f(x),y,g(y),P(f(x),z,g(x)，求MGU解：k=0;S0=S;0=;S0不是单元素集，求得差异集D0=y,z,其中y是变元，z是项，且y不在z中出现。k=k+1=1有1=0z/y=z/y=z/y，S1=S0z/y=P(f(x),z,g(z),P(f(x),z,g(x),S1不是单元素集，求得差异集D1=z,x,k=k+1=2;2=1z/x=z/y,z/x,S2=S1z/x=P(f(z),z,g(z)是单元素集。根据求MGU算法，MGU=2=z/y,z/x12.证明G是否是F的逻辑结论；证:P(x)从F变换Q(a)Q(x)从F变换P(y)Q(y)结论的否认Q(x)归结,x/y归结,置换a/x得证。四、应用题1.某问题由以下公式描述：(1)、试用归结法证明(x)R(x)；2.以下图所示博弈树，按从左到右的顺序进展-剪枝搜索，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。10分3.设有如下关系：1如果x是y的父亲，y又是z的父亲，那么x是z的祖父；2老是大的父亲；3大是小的父亲；问上述人员中谁和谁是祖关系？(10分)解:现定义如下谓词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的祖父，即老是小的祖父。4.某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员说：与钱中至少有一人作案；侦察员说：钱与至少有一人作案；侦察员说：与中至少有一个作案；侦察员说与至少一个与案无关；侦察员说钱与中至少有一人与此案无关。如果这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。10分解：设用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进展消解可得答案：钱和是作案者。5.将命题：某个学生读过三国演义分别用谓词公式和语义网络表示答：谓词公式表示：$x(student(x)read(x,三国演义)语义网络表示如图：6.利用谓词逻辑表示以下知识包括和结论，然后化成子句集： 1但凡清洁的东西就有人喜欢；2人们都不喜欢苍蝇求证：苍蝇是不清洁的。证：现定义如下谓词L(x,y)-某人x喜欢某物y；P(y)- 某物y是清洁的东西(1)yx(P(y)L(x,y) = P(y)L(f(y),y)(2)x(L(x,Fly) = L(x,Fly)(3) P(Fly) 结论的反(4) L(f(Fly), Fly)(1)(3)归结,置换Fly/y(5)(2)(4)归结,f(Fly)/x得证。7.用语义网络表示以下信息：(1)胡途是思源公司的经理，他35岁，住在飞天胡同68号(2)清华大学与大学进展蓝球比赛，最后以89：102的比分完毕。答：8.图示博弈树，其中末一行的数字为假设的估值，请利用-剪枝技术剪去不必要的分枝。在节点及边上直接加注释论述题1、 自动驾驶技术将给人类生活带来哪些变化2、 阐述人工智能对人类社会的正负面影响3、 阐述人工智能、生物技术与人类未来4、 随着人工智能的开展，畅想100年后人类的生活状况，从衣食住行各个方面进展阐述. z.