人工智能复习题库3223.docx

《人工智能复习题库3223.docx》由会员分享，可在线阅读，更多相关《人工智能复习题库3223.docx（37页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、一、 填空：1. 人工智能的探讨途径有 心理模拟 、 生理模拟 和行为模拟。2. 随意列举人工智能的四个应用性领域难题求解 、定理证明 、智能限制 、机器翻译 。3. 人工智能的根本技术包括搜寻技术、推理技术、学问表示和学问库技术归纳技术、联想技术。4. 谓词逻辑是一种表达实力很强的形式语言，其真值的特点和命题逻辑的区分是10。5. 谓词逻辑中，重言式的值是 真 。6. 设P是谓词公式，对于P的任何论域，存在P为真的状况，那么称P为永真式。7. 在闻名的医疗专家系统中规定，假设证据A的可信度A=0，那么意味着 无关，A1，那么意味着假，A=1，那么意味着真。8. 谓词公式G是不行满意的，当且仅

2、当对全部的说明G都为假。9. 谓词公式及其子句集的关系是 包含。 10. 利用归结原理证明定理时，假设得到的归结式为 空集，那么结论成立。11. 假设C1=PQ，C2Q，那么C1和C2的归结式RC1，C2= PP或QQ。12. 假设C1(x) Q(x)，C2=P(a) R(y)，那么C1和C2的归结式RC1，C2= 20QaRy13. 有谓词公式G，置换，那么G= 21 ，= 22 。14. 有子句集P(x)(y)，其 。15. 在归结原理中，几种常见的归结策略并且具有完备性的是 删除策略 支持集策略 线性归结策略16. 状态图启发式搜寻算法的特点是 27。17. 广度优先搜寻算法中，表的数据

3、构造实际是一个 二叉树，深度优先搜寻算法中，表的数据构造实际是一个单链表 。18. 产生式系统有三部分组成 综合数据库， 学问库和推理机。其中推理可分为 正向推理和反向推理。 19. 专家系统的构造包含人机界面、 学问库 ， 推理机 ， 动态数据库 ， 学问库答理系统 和说明模块。20. 在推理中，对证据的可信度A、A1、A2之间，规定如下关系：= A ，A1A2 = A1，A2 ，A1A2 = A1，A2 。21. 开发专家系统所要解决的根本问题有三个，那就是学问的获得、学问的表示和学问的运用，学问表示的方法主要有 逻辑表示法谓词表示法 ， 框架， 产生式和语义网络等，在语义网络表示学问时，

4、所运用的推理方法有 和 22. 系统中运用不确定推理，规那么AB由专家指定其可信度B，A，假设A真支持B真，那么指定B，A及零比较应 47 ；假设A真不支持B真，那么指定B，A应 48 。23. 机器学习的含义是 指机器面对自行为的修正或性能的改善和机器对客观规律和开展 。24. 自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确答复输入信息中的有关问题，而且还包括 语法分析 、 语用分析 、 语句分析 。25. 设，m(A)=0.6，m(U)=0.4，U的其它子集的根本概率支配函数m值均为0，那么(A)= 53 ，(B)= 54 。26. 证据理论中集合A的信任区间为1，1

5、，那么其语意说明为 55 。27. 人工智能三高校派是符号主义、联结主义、行为主义28. 化成子句形式为： 。29. 从事实动身，通过规那么库求得结论的产生式系统的推理方式是 正向推理 30. 的英文缩写是 31. 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域 ，而在一个量词的辖域中及该量词的指导变元一样的变元称为 约束变元 ，其他变元称为 自由变元 32. 假言推理ABA B ，假言三段论ABBC AC 33. 几种常用的归结策略： 删除策略 、支持集策略、线形归结策略、输入归结策略、单元归结策略34. 在诸如走迷宫、下棋、八数码嬉戏等嬉戏中，常用到的一种人工智能的核心技

6、术称为 图搜寻 技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为 状态空间图或状态图 35. 在启发式搜寻当中，通常用 启发函数 来表示启发性信息。36. 在二人博弈问题中，最常用的一种分析技术是 极大微小分析法 ，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此根底上，又提出了 a-b剪枝技术 37. 某产生式系统中的一条规那么：AxBx，那么前件是 Ax ，后件是 Bx 38. 在框架和语义网络两种学问表示方法中， 框架 相宜于表示构造性强的学问，而 语义网络 那么相宜表示一些困难的关系和联络的学问。 面对对象 不仅仅

7、是一种学问表示方法，也是一种流行的软件设计和开发技术。39. 不确定性类型按性质分：随机性，模糊性，不完全性，不一样性。40. 在删除策略归结的过程中删除以下子句：含有纯文字的子句;含有永真式 的子句;子句集中被别的子句 类含的子句。对证据的可信度A、A1、A2之间，规定如下关系：=(A)、A1A2 = (A1)(A2)、A1A2 =(A1)(A2)41. 合一算法：求非空有限具有一样谓词名的原子公式集的最一般合一42. 产生式系统的推理过程中，从可触发规那么中选择一个规那么来执行，被执行的规那么称为被触发规那么。43. P() 表示在规那么AB中，证据A为真的作用下结论B为真的概率。44.

8、常用的二种盲目搜寻方法是随机碰撞式搜寻和完全式搜寻；引入启发式学问来指导表中节点的排序可划分为二种方式全局择优搜寻和部分择优搜寻。45. 产生式系统的推理可以分为正向推理和反向推理两种根本方式。46. 学问表示的性能应从以下二个方面评价：和；后者又分二个方面和 。47. 人工智能的表现形式至少有智能软件智能系统智能设备智能设备智能网络几种。48. 目前所用的学问表示形式有框架 语义网络 面对对象_等。49. 框架系统的特性继承功能可通过组合应用槽的三个侧面来灵敏实现，它们是、和。50. 产生式系统是由综合数据库 学问库_和_推理机_三部分组成的.51. 就是所考察推断的事物或对象的集合，记为。

9、它的子集构成。52. 证据理论是经典概率论的一种扩大形式，构成这一理论的函数有根本概念全分函数_、_信任函数和似真函数。53. 对于模糊不确定性，一般承受模糊集合或模糊逻辑来刻划。54. 归结法中，可以通过修改证明树的方法得到问题的解答。55. 从事实动身，通过规那么库求得结论的产生式系统的推理方式是正向推理56. 人工智能的远期目的是 制造智能机器，近期目的是实现机器智能。57. 利用归结原理证明定理时，假设得到的归结式为 空集 ，那么结论成立。58. 在启发式搜寻当中，通常用 启发函数 来表示启发性信息。二、 简答题1.将以下自然语言转化为谓词表示形式：(1) 全部的人都是要呼吸的。(2)

10、 每个学生都要参与考试。(3) 任何整数或是正的或是负的。解：设 M(x)：x是人(x)：x要呼吸。 P(x)：x是学生， Q(x)：x要参与考试。 J(x)：x是整数， R(x)：x是正数，N(x)：x是负数。那么上述三题就记为：(1) (M(x)H(x)(2) (P(x)Q(x)(3) (J(x)R(x)N(x)“图灵试验？简洁描绘之答：所谓“图灵试验，是为了推断一台机器是否具备智能的试验。试验由三个封闭的房间组成，分别放置主持人、参及人和机器。主持人向参及人和机器提问，通过提问的结果来推断谁是人，谁是机器。假设主持人无法推断谁是人，谁是机器，那么这台机器具备智能，即所谓的“智能机器。3.

11、写出图中树的结点两个访问序列，要求分别满意以下两个搜寻策略：51423678910111213(1) 深度优先搜寻(2) 广度优先搜寻解：深度优先搜寻：广度优先搜寻：“高校老师的框架，高校老师类属于老师，包括以下属性：学历学士、硕士、博士、专业计算机、电子、自动化、职称助教、讲师、副教授、教授解：框架名：类属：学历：(学士、硕士、博士)专业：计算机、电子、自动化、.职称：助教、讲师、副教授、教授“不存在最大的整数解：定义谓词G(x)：x为整数D()：x大于y形式化为：或者6. 用语义网络表示“苹果学问。水果苹果7. 什么是产生式？产生式规那么的语义是什么？答：产生式规那么根本形式：PQ 或者

12、P QP 是产生式的前提前件，用于指出该产生式是否可用的条件Q 是一组结论或操作后件，用于指出当前提 P 所指示的条件满意时，应当得出的结论或应当执行的操作产生式规那么的语义：假设前提P被满意，那么可推出结论 Q 或执行 Q 所规定的操作8. 谓词公式G通过个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。答：(1消去蕴含式和等价式， (2缩小否认词的作用范围，直到其作用于原子公式: (3适当改名，使量词间不含同名指导变元和约束变元。(4.消去存在量词形成标准型 (5消去全部全称量词(6) 化成合取范式(7).适当改名，使子句间无同名变元( 8).消去合取词，用逗号代替，以子句为元素组成

13、一个集合S9. 1P(f(x)(y)(f(x)(x)，求2P(f()(f()，求解：100;0=0不是单元素集，求得差异集D0=,其中y是变元，z是项，且y不在z中出现。1=1有1=0=，S10=P(f(x)(z)(f(x)(x)1不是单元素集，求得差异集D1=1=2;2=1=,S21=P(f(z)(z)是单元素集。依据求算法，2=200;0=0不是单元素集，求得差异集D0=g(),其中z是变元，g()是项，且z不在g()中出现。1=1有1=0g()=g()=g()，S10g()=P(f()()1是单元素集。依据求算法，1=g()10.1 证明G是否是F的逻辑结论；证:P(x)从F变换Q(a)

14、Q(x)从F变换P(y)Q(y)结论的否认Q(x)归结,归结,置换得证。2证明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)归结R(a)归结归结得证.11. 1、用语义网络表示以下信息：(1)胡途是思源公司的经理，他35岁，住在飞天胡同68号(3) 清华高校及北京高校进展蓝球竞赛，最终以89：102的比分完毕。3将命题：“某个学生读过三国演义分别用谓词公式和语义网络表示答：谓词公式表示：$x(x)(x,三国演义)语义网络表示如图：（4） 把语句“每个学生都宠爱老师上的一门课。表示为语义

15、网络。x(x) 5请把以下命题表示的事好用一个语义网络表示出来。 1)树和草都是植物； 2)树和草都是有根有叶的； 3)水草是草，且长在水中； 4)果树是树，且会结果； 5)樱桃树是一种果树，它结樱桃。6用语义网络表示以下事实姚明是一位年近半百的男老师，中等身材，他在本学年第二学期给计算机专业学生讲授“人工智能课程。该课程是一门选修课，比较难。13. 图示博弈树，其中末一行的数字为假设的估值，请利用-剪枝技术剪去不必要的分枝。在节点及边上干脆加注释14. 设有如下关系：1假设x是y的父亲，y又是z的父亲，那么x是z的祖父；2老李是大李的父亲；3大李是小李的父亲；问上述人员中谁和谁是祖孙关系？解

16、:现定义如下谓词F() x是y的父亲;G() x是y的祖父;用谓词逻辑表示及求解:(1) F()F()G()(2) F()(3) F()(4) G()其中表示老李表示大李表示小李。先证存在祖孙关系 F()F()G()从(1)变换 F()从(2)变换 F()从(3)变换 G()结论的否认 F()G()归结,置换 G()归结,置换 归结,置换得证,说明存在祖孙关系。为了求解用一个重言式 G()G() 用重言式代替结论的否认,重言式恒为真 F()G()归结,置换 G()归结,置换 G()归结,置换得结果是X的祖父，即老李是小李的祖父。15说明以下模糊性学问：1) 张三，体型，胖，0.9。2) (患者

17、，病症，(头疼，0.95) ) (患者，病症，(发烧，1.1) ) (患者，疾病，(感冒，1.2) )答：1表示：命题“张三比较胖 2说明为：假设患者有些头疼并且发高烧，那么他患了重感冒。16. 简洁阐述产生式系统的组成。答：1产生式规那么库：描绘相应领域学问的产生式规那么集2数据库：事实的集合存放问题求解过程中当前信息的数据构造初始事实、外部数据库输入的事实、中间结果事实和最终结果事实3推理机：限制系统是一个程序，限制协调规那么库及数据库的运行，包含推理方式和限制策略。17. 试用线性消解策略证明：子句集 PQ, PR, QR, R 是可消解的。18、广度优先搜寻及深度优先搜寻各有什么特点？

18、一、深度优先搜寻所遵循的搜寻策略是尽可能“深地搜寻图。在深度优先搜寻中，对于最新觉察的结点，假设它还有以此为起点而未搜过的边，就沿着边接着搜寻下去。当结点v的全部边都已被探寻过，搜寻将回溯到觉察结点v有那条边的始结点。这一过程始终进展到已觉察从源结点可达的全部结点为止。假设还存在未被觉察的结点，那么选择其中一个作为源结点并重复以上过程，整个过程反复进展直到全部结点都被觉察为止。二、宽度优先搜寻算法又称广度优先搜寻算法是最简洁的图的搜寻算法之一，这一算法也是许多重要的图的算法的原型。单源最短途径算法和最小生成树算法都承受了及宽度优先搜寻类似的思想。 宽度优先搜寻的核心思想是：从初始结点开始，应用

19、算符生成第一层结点，检查目的结点是否在这些后继结点中，假设没有，再用产生式规那么将全部第一层的结点逐一扩展，得到第二层结点，并逐一检查第二层结点中是否包含目的结点。假设没有，再用算符逐一扩展第二层全部结点，如此依次扩展，直到觉察目的结点为止。19.语义网络可以表达事物之间的哪些关系？类属关系、包含关系、属性关系、时间关系、位置关系、相近关系、推论关系等。20.假设以下事实： 1超市卖的商品()廉价()。 2王买须要的廉价商品。 3自行车是商品且超市卖自行车。 4王须要自行车。 5赵跟随王买同样的商品。 请应用归结反演证明方法答复以下问题： 1王买自行车吗？ 2赵买什么商品？ 21.一个运用可信

20、度方法的推理网络如下图，其证据的可信度均标示在图中。推理规那么的可信度分别为：ABH, 0.7CDH, 0.9E试依据可信度方法的求解步骤计算每个证据节点对假设H推理的可信度，并据此推算全部证据复合证据对于H推理的可信度。 22. 求子句R(x, y)Q(B, y)W(x, f(y) 和R(x, C)Q(y, C) 的归结式。23. 何谓估价函数？启发式图搜寻的A算法和A*算法最显著的区分是什么？24. 什么是置换？置换是可交换的吗？答: 通常用有序对的集合st11，t22，来表示任一置换，置换集的元素的含义是表达式中的变量到处以项来交换，用s对表达式E作置换后的例简记为。一般来说，置换是不行

21、交换的，即两个置换合成的结果及置换运用的次序有关。25. 给19九个数字排一个序列，使得该序列的前n(1,.,9) 个数字组成的整数能被n整除。(1)、探讨哪些学问可以扶植该问题的求解。(2)、用产生式系统描绘该问题.答；如下的学问可以扶植求解该问题：1序列中，偶数在偶数位置，奇数在奇数位置；2第五个数为5。综合数据库：用一个1到9的序列表示：N = x，其中x为1到9的数字之一。规那么集：r1: (N)=4 x5r2: (N)为偶数 (1, 3, 7, 9) xnr3: (N)为奇数 (2, 4, 6, 8) xn其中(N)为求序列的长度，(a, b, c, d)为取a、b、c、d之一。初始

22、状态：完毕条件：得到的序列N前i个数组成的整数能被i整除26. .剪枝的条件是什么？答: 剪枝：假设任一微小值层节点的值小于或等于它任一先辈极大值节点的值，即先辈层后继层，那么可中止该微小值层中这个节点以下的搜寻过程。这个节点最终的倒推值就确定为这个值。剪枝：假设任一极大值层节点的值大于或等于它任一先辈微小值层节点的值，即后继层先辈层，那么可以中止该极大值层中这个节点以下的搜寻过程。这个节点的最终倒推值就确定为这个值。28、人工智能主要有哪几种探讨途径和技术方法，简洁说明之。答：符号智能：主要以符号学问为根底，通过符号推理进展问题求解而实现的智能，主要包括学问工程和符号处理技术；计算智能：是以

23、数据计算为根底，通过数值计算进展问题求解而实现的智能，包括人工神经网络，进化计算，模糊技术等。三、 1、1将以下谓词公式化成子句集答：2把以下谓词公式分别化成相应的子句集：x()y(Q()R()解：x()y(Q()R()x()y(Q()R()x()y(Q()R()x()y(Q()R()x(yP()y(Q()R().改名x(yP()z(Q()R()x(yP()z(Q()R()(x)(x)消去存在量词x(P(x)(Q(x)R(x)x(P(x)(Q(x)(P(x)R(x)从而谓词公式的子句集是P(x)(Q(x)，P(x)R(x)2.假设谓词公式(y),置换s1=f()，s2=，求Es1s2，Es2s

24、1。ABEDC4532343.用加权图的启发式搜寻算法不能用算法求解以下问题：以下图是一个交通图，设A是动身地，E是目的地，边上的数字表示两城市之间的交通费。求从A到E最小费用的旅行路途，画出搜寻树，画出表和表的变更过程。4.用标准逻辑经典逻辑，谓词逻辑的子句集表示下述刑侦学问，并用反演归解的线性策略证明结论现定义如下谓词其项变量X，Y，Z，皆为全称量词。(X)某人X是贼；()某人X宠爱某物Y；()某人X可能会偷窃某物Y。5.用子句集表达下述刑侦学问：I. 是贼。. 宠爱酒. ( 也)宠爱奶酪. 假设宠爱某物那么 也宠爱某物。V. 假设某人是贼，而且他宠爱某物，那么他就可能会偷窃该物。 6.求

25、证结论可能会偷窃了什么？即求证目的：(), 要求将求证目的作为顶子句，按线性策略进展归结推理，注明每次求归结式所进展的置换及其父子句的编号7.1一组规那么和证据事实：R1：A1R2：A2R3：B1A3-B2，B2，B1初始证据A1，A2，A3，并且(A1)(A2)(A3)=1, 并且初始时对B1，B2一窍不通。依据的确定性理论可信度方法，求证据B1，B2的可信度在执行规那么R1，R2，R3后的更新值(B1)(B2)。2有如下不确定推理规那么： r1：C11C12 ； r2：H1 ； r3：C21C22 H ； r4：(C31C32)C33 ； ， ，； 请应用的确定性方法求出(H)。 8.设有

26、A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者？A 答：“B和C都是说谎者；B答：“A和C都是说谎者；C答：“A和B中至少有一个是说谎者。求谁是醇厚人，谁是说谎者？15分解：设用(x)表示x说真话。假设说的是真话，那么有假设说的是假话，那么有：对和说的话作一样的处理，可得：把上面这些公式化成子句集，得到：下面首先求谁是醇厚人。把并入得到。即比多如下一个子句：应用消解原理对进展消解：所以，是醇厚人，即从不说假话除此之外，无论如何对进展消解，都推不出(B)和(A)。下面来证明和不是醇厚人。设不是醇厚人，那么有把它否认并入中，得到子句集，即比多如下一个子

27、句： 应用消解原理对2进展消解：所以，不是醇厚人。同理，可以证明也不是醇厚人。9. 1设:(1)能阅读者是识字的;(2)海豚不识字;(3)有些海豚是聪慧的;求证:有些聪慧者并不能阅读.证:定义如下命题:R(x)能阅读; L(x)识字; I(x)是聪慧的; D(x)是海豚; 把条件及求证结论翻译成谓词公式为x(R(x)L(x). x(D(x)L(x). x(D(x)I(x). x(I(x)R(x).求证结论 将条件,求证结论的反化成子句集R(x)L(x)D(y)L(y)D(a)I(a)I(z)R(z)L(a).2,3归结R(a).1,6归结R(a).4,5归结.7,8归结得证.2利用谓词逻辑表示

28、以下学问包括和结论，然后化成子句集： 1但凡清洁的东西就有人宠爱；2人们都不宠爱苍蝇求证：苍蝇是不清洁的。证：现定义如下谓词L()某人x宠爱某物y；P(y) 某物y是清洁的东西(1) (P(y)L() P(y)L(f(y)(2) x(L() L()(3) P() 结论的反(4) L(f(), ) (1)(3)归结,置换(5) (2)(4)归结,f()得证。10. 八数码嬉戏，初始棋局和目的棋局如图，定义启发函数hx表示某状态下及目的数码不同的位置个数，用全局择优法画出搜寻的过程。初始状态：，目的状态：解：11. 张某被盗，公安局派了五个侦察员去调查。探讨案情时，侦察员说：“赵及钱中至少有一人作

29、案；侦察员说：“钱及孙至少有一人作案；侦察员说：“孙及李中至少有一个作案；侦察员说“赵及孙至少一个及案无关；侦察员说“钱及李中至少有一人及此案无关。假设这五个侦察员的话都是可信的，试用消解原理推理求出谁是盗窃犯。解：设用T(x)表示x是作案者，那么侦察员A的话可表示：T(赵)T(钱)侦察员B的话可表示：T(钱)T(孙)侦察员C的话可表示：T(孙)T(李)侦察员D的话可表示：T(赵) T(孙)侦察员E的话可表示：T(钱) T(李)上面五个组成子句集S，求谁是作案者，把T(x)(x)并入S1得到。即比S1多出如下一个子句：T(x)(x)然后利用消解原理对S1进展消解可得答案：钱和孙是作案者。12.

30、 某企业欲聘请一个程序员，定义如下产生式规那么(要求)：r1: 有工作阅历 (本科以上学历 有相关学问背景 录用0.9)r2 工作两年以上 作过相关工作 有工作阅历 0.8r3 学过数据构造 学过 学过数据库 学过软件工程 有相关学问背景(0.9)r4:学过数据构造相关课程的成果/100 r5:学过相关课程的成果/100 r6:学过数据库相关课程的成果/100 r7:学过软件工程相关课程的成果/100 r8:做过相关工作：设有一本科毕业生甲，其相关课程的成果为数据构造=8580,数据库=40,软件工程=90另有一社会聘请人员乙，参与工作三年，曾做过数据库管理员和数据库开发人员依据确定性理论，问

31、该公司应当聘请谁？假设你是该本科生，为了能在聘请中胜出，你应当加强哪门课程，并使该门课程的成果至少到达多少？解：1对于本科毕业生，由r4，r5，r6，r7：由r3，本科学历=1由r1，2对于社会聘请人员，由r8，工作两年以上=1由r2，由r1，所以，该公司应录用社会聘请人员乙。3可以看出，应当加强数据库的学习，并使该门课程到达80分以上。13. 某问题由以下公式描绘：试用归结法证明(x)R(x)；14. 以下图所示博弈树，按从左到右的依次进展-剪枝搜寻，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。10分15.剪枝方法只是微小极大方法的一种近似，剪枝可能会遗漏掉最正确走步。这种说法是

32、否正确？不正确。 剪枝方法利用已经搜寻的信息，剪掉哪些对于搜寻最正确走步没有意义的分枝，其找到的最正确走步及微小极大方法找到的结果是一样的。而且搜寻效率有很大进步。1. 什么是人工智能？人工智能及计算机程序的区分？答：是探讨如何制造人造的智能机器或智能系统来模拟人类智能活动的实力以延长人类智能的科学，它及计算机程序的区分是： 探讨的是符号表示的学问而不是数值数据为探讨对象 承受启发式搜寻方法而不是一般的算法 限制构造及学问是别离的 允许出现不正确的答案2. 化以下逻辑表达式为不含存在量词的前束范式答：3. 求以下谓词公式的子句集答：所以子句集为：4. 假设有梯形，将其中的假设干定理形式化即定义

33、一些谓词公式，然后利用归结原理证明内错角CABD证明：设梯形顶点依次为,定义谓词:T():表示为上底为下底的梯形.P():表示E()表示，问题的描绘和相应的子句集为T()P().梯形上下底平行子句：T()P()P()E().平行那么内错交相等子句：T().子句：T()E().要证明的结论子句：E()子句集S为T()P()P()E()T()E()下面利用归结原理证明P()1和3归结，置换E()2和5归结，置换4和6归结依据归结原理得证。5. 求子句集的解：00;0=0不是单元素集，求得差异集D0=,其中z是变元，a是项，且z不在a中出现。1=1有1=0=，S10=P(g(y)()(u)1不是单元

34、素集，求得差异集D1=()1=2;2=1h()=(),S21h()=P()(g(y)()(u)，S2不是单元素集，求得差异集D2=g(y)1=33=2g(y)=()g(y)=(y)(y)S32g(y)=P(y)(g(y)是单元素集。依据求算法，3=(y)(y)6. 用代价优先算法求解以下图的旅行推销员问题，请找一条从北京动身能遍历各城市的最正确途径旅行费最少，每条弧上的数字表示城市间的旅行费用。并用表记录遍历过的结点，表记录待遍历的结点。画出和表的变更过程，然后依据表找出最正确途径。表扩展节点父节点A0B31AC28AD43BC54BE38DC59DC27EA51E表扩展节点父节点A0C28A

35、E29CD38EB43DA31B解：7.用框架表示下述报导的沙尘暴灾难事务虚拟新华社3月16日电昨日，沙尘暴攻击韩国汉城，机场及高速马路被迫关闭，造成的损失不详。韩国官方示，假设须要干脆损失状况，可待一周后的官方公布的字。此次沙尘暴起因中日韩专家认为是由于中国内蒙古区过分垦牧破坏植被所致。提示：分析概括用下划线标出的要点，经过概念化形成槽并拟出槽的名称，选填侧面值。侧面包含“值，“默认值，“假设须要值，“假设附加值几个方面，用不到的侧面值可删除。： 1：2：3：解：沙尘暴1：时间：3 月15 日：2：地点：韩国汉城：3：损失：不详：一周后官方公布数字：4：起因：中国内蒙古区1. (5分)什么是

36、“学问工程？它对人工智能的开展有何重要作用？2. (10分)请用相应的谓词公式表示下述语句：1有的人宠爱足球，有的人宠爱排球，有的人既宠爱足球又宠爱排球。2不是每一个人都宠爱游泳。3假设没有利息，那么就没有人情愿去存钱。4对于全部的x和y，假设x是y的父亲，y是z的父亲，那么x是z的祖父。5对于全部的x和y，假设x是y的孩子，那么y是x的父母。6登高望远。7响鼓不用重锤。8假设ba0和cd0，那么有(b*()b。3. (5分)试建立一个“学生框架网络，其中至少有“学生根本状况、“学生课程学习状况和“学生奖惩状况三个框架描绘。4. (10分)请把下述事好用一个语义网络表示出来：1李明是东方高校计

37、算机系的一名学生。2他住在计算机系的学生宿舍里。3计算机系的每间学生宿舍都有一台联网的计算机。4李明宠爱在宿舍的计算机上阅读。5. (10分)下述事实：1小李只宠爱较简洁的课程。2工程类课程是较难的。3系的全部课程都是较简洁的。4150是系的一门课程。应用归结演绎推理答复以下问题：小李宠爱什么课程？6. (10分)：规那么1：任何人的兄弟不是女性规那么2：任何人的姐妹必是女性事实：是的姐妹用归结推理方法证明不是的兄弟。7. (15分)考虑下面的句子：l 每个程序都存在l 含有的程序无法工作l P是一个程序1一阶谓词逻辑表示上述句子。2运用归结原理证明P不能工作。8. (10分)任何通过了历史考

38、试并中了彩票的人都是欢乐的。任何肯学习或幸运的人可以通过全部考试，小张不学习，但很幸运，任何人只要是幸运的就能中彩票。求证：小张是欢乐的。9. (10分)：海关职员检查每一个入境的不重要人物，某些贩毒者入境，并且仅受到贩毒者的检查，没有一个贩毒者是重要人物。证明：海关职员中有贩毒者。10. (15分)有一堆硬币，开始时有9枚。A、B两人轮番从中取硬币，每次取时，可以取1枚或者2枚或者3枚，拣起最终一枚硬币者为输方。试用博弈树证明：后开始取硬币者总能获胜，或者先开始取硬币者总是会输。1. (5分)一阶谓词逻辑表示法相宜于表示哪种类型的学问？它有哪些主要特点？2. (10分)请用语义网络分别表示下

39、述语句：1及会者有男、有女，有的年老、有的年轻。2李明是图灵电脑公司的经理，他住在江滨路102号，今年38岁。3大门前的这棵树从春天到秋天都开花。4计算机系的每个学生都学习“人工智能原理，它是计算机专业的一门主干课程。3. (10分)前提：每个储蓄钱的人都获得利息。 求证结论：假设没有利息，那么就没有人去储蓄钱。4. (10分)前提：1某些病人宠爱全部的医生。2没有一个病人宠爱任何一个骗子。求证结论：任何一个医生都不是骗子。5. (10分)下述公式集F是否可合一，假设可合一，那么求出F的最一般合一。1P()()2P(f(x)()3P(f(x)(b)4P(f(y)(a)(b)6. (10分)有些人宠爱全部的花，没有任何人宠爱随意的杂草，证明花不是杂草。7. (10分)下述事实：1小杨、小刘和小林是高山俱乐部成员。2高山俱乐部的每个成员是滑雪者或登山者，或者既滑雪又登山。3没有一个登山者宠爱下雨。4全部滑雪者都宠爱下雪。5但凡小杨宠爱的，小刘就不宠爱。6但凡小杨不宠爱的，小刘就宠爱。7小杨宠爱下雨和下雪。试证明：俱乐部是否有是登山者而不是滑雪者的成员？假设有，他是谁？