《人工智能》复习要点总结

名词解释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. 子句 p q和 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 c2c.c1 c2 d.c1c2a. （a b）a 称为（）， （ a b）a b 称为（ c）a. 结合律b.分配律c.吸收律d.摩根律23. 如果问题存在最优解，则下面几种搜索算法中，（ a ）必然可以得到该最优解。a. 广度优先搜索b.深度优先搜索c. 有界深度优先搜索d.启发式搜索24. ai的英文缩写是（a）a)automatic intelligenceb)artifical intelligence c)automatice informationd)artifical information25. 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是( 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是是artifical inteligence的英文缩写3. 人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术、归纳技术、联想技术4. 归结法中，可以通过修改证明树的方法得到问题的解答。5. 目前所用的知识表示形式有框架、语义网络、面向对象等。6. 产生式系统有三部分组成综合数据库，知识库和推理机。其中推理可分为正向推理和反向推理。7. 化成子句形式为：。8. 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元9. 谓词逻辑中，重言式（tautlogy）的值是真。10. 利用归结原理证明定理时，若得到的归结式为，则结论成立。11. 若 c1= p q， c2=p q，则 c1和 c2 的归结式r（c1， c2）=。（空集）12. 若 c1=p(x) q(x) ，c2= p(a) r(y) ，则 c1 和 c2的归结式r（ c1，c2）= p p 或 q q。13. 在归结原理中， 几种常见的归结策略并且具有完备性的是删除策略，支持集策略， 线性归结策略。14. 假言推理（ ab）ab，假言三段论（ab）（ bc）ac .15. 不确定性类型按性质分：随机性，模糊性，不完全性，不一致性。16. 在删除策略归结的过程中删除以下子句：含有纯文字的子句; 含有永真式的子句; 子句集中被别的子句类含的子句。17. 从已知事实出发，通过规则库求得结论的产生式系统的推理方式正向推理。18. 对证据的可信度 cf（ a）、cf（ a1）、cf（ a2）之间，规定如下关系： cf（ a） = -cf(a) 、 cf（a1 a2 ）= mincf(a1),cf(a2) 、cf（ a1 a2 ） = maxcf(a1),cf(a2)19. 在启发式搜索当中，通常用启发函数来表示启发性信息。20. 图：指由节点和有向边组成的网络。按连接同一节点的各边的逻辑关系又可分为或图和与或图。21. 人工智能的含义最早由一位科学家于1950 年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是图林22. 不确定性类型按性质分：随机性，模糊性，不完全性，不一致性。23. 在删除策略归结的过程中删除以下子句：含有纯文字的子句 ; 含有永真式的子句 ; 子句集中被别的子句类含的子句。24. 产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。25.1997 年月，著名的“人机大战”，最终名为“深蓝”的计算机以3.5 比 2.5 的总比分将世界国际 象棋棋王卡斯帕罗夫击败。26. 合一算法：求非空有限具有相同谓词名的原子公式集的最一般合一（mgu） 27.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)或 计 算 机 学 派(computerism)，其原理主要为物理符号系统( 即符号操作系统) 假设和有限合理性原理。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. 什么是置换？置换是可交换的吗？答:通常用有序对的集合s t1/v1，t2/v2 ， tn/vn来表示任一置换，置换集的元素ti/vi的含义是表达式中的变量vi处处以项ti来替换，用s 对表达式e 作置换后的例简记为es。一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。3. 填写下面的三值逻辑表。其中 t， f， u 分别表示真，假，不能判定4. 什么是产生式？产生式规则的语义是什么？答：产生式规则基本形式：p q或者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= 0 g(a,y)/z = g(a,y)/z = g(a,y)/z，s1=s0 g(a,y)/z =p(f(x,g(a,y),g(a,y),s1是单元素集。根据求 mgu算法， mgu= 1= g(a,y)/z9. 证明 g是否是 f1、f2 的逻辑结论；f1：x(p( x)(q( x)r( x)f 2： x( p( x)s( x)g： x( s(x)r( x)证: p(x) q(x)从f1 变换 p(y) r(y) p(a)从从f1 变换f2 变换 s(a)从f2 变换 s(z) r(z) 结论的否定 r(a)归结a/y r(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= 0 z/y = z/y =z/y ，s1=s0 z/y =p(f(x),z,g( z),p(f(x),z,g(x),s1不是单元素集，求得差异集d1= z,x ,k=k+1=2; 2= 1 z/x = z/y,z/x, s2=s1 z/x = p(f( z ),z,g(z ) 是单元素集。根据求 mgu算法， mgu= 2=z/y,z/x12. 证明 g是否是 f的逻辑结论；f :x( p( x)q(a)q( x)g :x( p( x)q( x)证: 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) g(u,v) 从 (3) 变换 结论的否定 f(d,z) g(l,z)归结 , 置换 l/x,d/yg(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. 张某被盗，公安局派了五个侦察员去调查。研究案情时，侦察员说：“赵与钱中至少有一人作案”； 侦察员说：“钱与孙至少有一人作案”；侦察员说：“孙与李中至少有一个作案”；侦察员说“赵与孙至少一个与案无关”；侦察员说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用消解原理推理