人工智能复习题及答案41289.docx

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

1、一、 填空：1. 人工智能的研究途径有 心理模拟 、生理模拟 和行为模拟。2. 任意列举人工智能的四个应用性领域智能控制、智能管理 、智能决策 、智能仿真 。3. 人工智能的基本本技术包括表表示 、运算算 、搜索 归纳技术、联联想技术。4. 谓词逻辑是一种种表达能力很很强的形式语语言，其真值值的特点和命命题逻辑的区区别是（100）。5. 谓词逻辑中，重重言式（taautloggy）的值是是（11） 。6. 设P是谓词公式式，对于P的的任何论域，存存在P为真的的情况，则称称P为（122）。7. 在著名的医疗专专家系统MYYCIN中规规定，若证据据A的可信度度CF（A）=0，则意味味着 13 ，C

2、F（AA）=-1，则则意味着（114），CFF（A）=11，则意味着着（15）。8. 谓词公式G是不不可满足的，当当且仅当对所所有的解释（116）。9. 谓词公式与其子子句集的关系系是 （177）。10. 利用归结原理证证明定理时，若若得到的归结结式为（188），则结论论成立。11. 若C1=PQ，C2=PQ，则CC1和C2的的归结式R（CC1，C2）= （19）。12. 若C1=P(xx) Q(x)，CC2=P(a) R(y)，则CC1和C2的的归结式R（CC1，C2）= （200） 。13. 有谓词公式G，置置换，则G= （211） ，= （222） 。14. 有子句集S=P(x),P(y

3、)，其MGUU= （223） 。15. 在归结原理中，几几种常见的归归结策略并且且具有完备性性的是 （224）， （25） ， （266）。16. 状态图启发式搜搜索算法的特特点是 （227）。17. 广度优先搜索算算法中，OPPEN表的数数据结构实际际是一个 （228），深度度优先搜索算算法中，OPPEN表的数数据结构实际际是一个 （229） 。18. 产生式系统有三三部分组成 （30）， （31） 和推理机。其其中推理可分分为 （322） 和 （333）。19. 专家系统的结构构包含人机界界面、 （334） ， （35） ， （36） ， （37） 和解释模块块。20. 在MYCIN推推理

4、中，对证证据的可信度度CF（A）、CCF（A1）、CCF（A2）之之间，规定如如下关系：CCF（A）= （38） ，CF（AA1A2 ）= （39） ，CF（AA1A2 ）= （400） 。21. 开发专家系统所所要解决的基基本问题有三三个，那就是是知识的获取取、知识的表表示和（411），知识表表示的方法主主要有 （442） ， （43） ， （44） 和语义网络络等，在语义义网络表示知知识时，所使使用的推理方方法有 （445） 和 （46） 。22. MYCIN系统统中使用不确确定推理，规规则AB由专家指指定其可信度度CF（B，AA），若A真真支持B真，则则指定CF（BB，A）（与与零比较）

5、应应 （477） ；若若A真不支持持B真，则指指定CF（BB，A）应 （48） 。23. 机器学习的含义义是 （49） 。24. 自然语言理解不不仅包括计算算机能正确理理解人们用自自然语言输入入的信息，能能正确回答输输入信息中的的有关问题，而而且还包括 （50） 、 （511） 、 （522） 。25. 设U=a,bb,c,d，A=aa,b，BB=a,bb,c，mm(A)=00.6，m(U)=0.4，U的其其它子集的基基本概率分配配函数m值均均为0，则BBel(A)= （53） ，Bel(BB)= （54） 。26. 证据理论中集合合A的信任区区间为1，11，则其语语意解释为 （55） 。27

6、. 人工智能三大学学派是 。28. 化成子句形式为为： 。29. 从已知事实出发发，通过规则则库求得结论论的产生式系系统的推理方方式是 。30. AI的英文缩写写是 。31. 在谓词公式中，紧紧接于量词之之后被量词作作用的谓词公公式称为该量量词的 ，而而在一个量词词的辖域中与与该量词的指指导变元相同同的变元称为为 ，其他变变元称为 。32. 假言推理（ABB）A ，假假言三段论（AAB）（BC） 。33. 几种常用的归结结策略： 、支支持集策略、线线形归结策略略、输入归结结策略、单元元归结策略。34. 在诸如走迷宫、下下棋、八数码码游戏等游戏戏中，常用到到的一种人工工智能的核心心技术称为 技术

7、，解这这类问题时，常常把在迷宫的的位置、棋的的布局、八数数码所排成的的形势用图来来表，这种图图称为 。35. 在启发式搜索当当中，通常用用 来表示启启发性信息。36. 在二人博弈问题题中，最常用用的一种分析析技术是 ，这这种方法的思思想是先生成成一棵博弈树树，然后再计计算其倒推值值。但它的效效率较低，因因此人们在此此基础上，又又提出了 。37. 37.某产生式式系统中的一一条规则：AA（x）B（xx），则前件件是 ，后件件是 。38. 38.在框架和和语义网络两两种知识表示示方法中， 适合于表示示结构性强的的知识，而 则适合表示示一些复杂的的关系和联系系的知识。 不仅仅是一一种知识表示示方法，

8、也是是一种流行的的软件设计和和开发技术。39. 不确定性类型按按性质分：，。40. 在删除策略归结结的过程中删删除以下子句句：含有 的子句句;含有的子句；子句集中被被别的子句的子句。41. 对证据的可信度度CF（A）、CCF（A1）、CCF（A2）之之间，规定如如下关系：CCF（A）=、CFF（A1A2 ）=、CF（AA1A2 ）=42. 合一算法：求非非空有限具有有相同谓词名名的原子公式式集的43. 产生式系统的推推理过程中，从从可触发规则则中选择一个个规则来执行行，被执行的的规则称为。44. P(B|A) 表示在规则则中，证证据A为真的的作用下结论论B为真的。45. 人工智能的远期期目标是

9、，近期目目标是。46. 常用的二种盲目目搜索方法是是_和和_；引引入启发式知知识来指导OOPEN表中中节点的排序序可划分为二二种方式_和_。47. 产生式系统的推推理可以分为为_和和_两两种基本方式式。48. 知识表示的性能能应从以下二二个方面评价价：_和_；后者又分二二个方面_和 _。49. 人工智能的表现现形式至少有有_、_、_、_和_几种。50. 目前所用的知识识表示形式有有_、_、_、_等等。51. 框架系统的特性性继承功能可可通过组合应应用槽的三个个侧面来灵活活实现，它们们是_、_和和_。52. 产生式系统是由由_、_和和_三三部分组成的的。53. _就是所考考察判断的事事物或对象的

10、的集合，记为为_。它它的子集构成成_。54. 证据理论是经典典概率论的一一种扩充形式式，构成这一一理论的函数数有_、_和和_。55. 对于模糊不确定定性，一般采采用_或_来刻划。56. 归结法中，可以以通过-的方法得得到问题的解解答。57. 化成子句形式为为： 。58. 58.从已知事事实出发，通通过规则库求求得结论的产产生式系统的的推理方式是是 。59. 谓词逻辑中，重重言式（taautloggy）的值是是 。60. 利用归结原理证证明定理时，若若得到的归结结式为 ，则结结论成立。61. 在启发式搜索当当中，通常用用 来表示示启发性信息息。二、选择题选择题：（133小题，共113分）1.人工

11、智能的的含义最早由由一位科学家家于19500年提出，并并且同时提出出一个机器智智能的测试模模型，请问这这个科学家是是（）。 A. 明斯基 B. 扎德 C. 图灵 D. 冯.诺依依曼2.下列哪个不不是人工智能能的研究领域域（ ） A.机器证明 B.模式识别 C. 人工生命 D. 编译原理理3.神经网络研研究属于下列列（ ）学派派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是4.已知初始问问题的描述，通通过一系列变变换把此问题题最终变为一一个子问题集集合；这些子子问题的解可可以直接得到到，从而解决决了初始问题题。这是知识识表示法叫（ ） A. 状态空间法法 B. 问题归约法法 C.

12、 谓词逻辑法法 D. 语义网络络法5.在公式中yy$xp(x,y)，存存在量词是在在全称量词的的辖域内，我我们允许所存存在的x可能能依赖于y值值。令这种依依赖关系明显显地由函数所所定义，它把把每个y值映映射到存在的的那个x。这这种函数叫做做（ ） A. 依赖函数 B. Skoleem函数 C. 决定函数 D. 多元函数数6.子句PQQ和P经过消消解以后，得得到（ ） A. P B. Q C. PD. PQ7,8.A（AAB）A 称为为（ ），（AB）AB称为为（ ）A. 结合律 B.分配律 C.吸收律律 D.摩摩根律9,10.如果果问题存在最最优解，则下下面几种搜索索算法中，（ ）必然可可以得

13、到该最最优解，（ ）可以认认为是“智能程度相相对比较高”的算法。A. 广度优先搜索B. 深度优先搜索C. 有界深度优先搜搜索D. 启发式搜索11.产生式系系统的推理不不包括（ ） A. 正向推理 B. 逆向推理 C. 双向推理 D. 简单推理理12.下列哪部部分不是专家家系统的组成成部分（ ） A. 用户 B. 综合数据库库 C. 推理机 D. 知识库 13. 要想让让机器具有智智能，必须让让机器具有知知识。因此，在在人工智能中中有一个研究究领域，主要要研究计算机机如何自动获获取知识和技技能，实现自自我完善，这这门研究分支支学科叫（ ）。 A. 专家系统 B. 机器学习 C. 神经网络 D.

14、模式识别别！14、AI的英英文缩写是A)Autommatic Intellligennce B)Arttificaal InttelliggenceC)Autommaticee Infoormatiion D)Arttificaal Infformattion15、反演归结结（消解）证证明定理时，若若当前归结式式是（ ）时时，则定理得得证。A)永真式B)包孕式式（subssumed）C)空子句16、从已知事事实出发，通通过规则库求求得结论的产产生式系统的的推理方式是是A)正向推理B)反向推理理C)双向推理理17、语义网络络表达知识时时，有向弧AAKO 链、IISA 链是是用来表达节节点知识的（

15、 ）。A)无悖性 B)可扩充充性 C)继承性性18、(ABB)A = B是A)附加律B)拒收律律C)假言推推理D)US19、命题是可可以判断真假假的A)祈使句B)疑问句句C)感叹句句D)陈述句句20、仅个体变变元被量化的的谓词称为A)一阶谓词B)原子公公式C)二阶谓谓词D)全称量量词21、MGU是是A)最一般合一一B)最一般般替换C)最一般般谓词D)基替换换22、19977年月，著著名的“人机大战”，最终计算算机以3.55比2.5的的总比分将世世界国际象棋棋棋王卡斯帕帕罗夫击败，这这台计算机被被称为（ ）A）深蓝 B）IBM C）深思 D）蓝天23、下列不在在人工智能系系统的知识包包含的4个要

16、要素中A)事实B)规则C)控制和和元知识D)关系24、谓词逻辑辑下，子句, C1=LLC1, C2= LC2, 若是互补文字字的（最一般般）合一置换换，则其归结结式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C225、或图通常常称为A）框架网络 B)语义图图 C)博亦图图 D)状态图图26、不属于人人工智能的学学派是A)符号主义 B)机会主主义 C)行为主主义 D)连接主主义。27、人工智能能是一门A)数学和生理理学 B)心理学学和生理学 C)语言学学D)综合性的交交叉学科和边边缘学科 28、下列不在在人工智能系系统的知识包包含的4个要要素中A) 事实B) 规则则C) 控制制D)

17、 关系系29、当前归结结式是（ ）时时，则定理得得证。A) 永真式B 包孕式式（subssumed）C) 空子句30、或图通常常称为A）框架网络 B)语义图图 C)博亦图图 D)状态图图31、所谓不确确定性推理就就是从( )的初始证证据出发，通通过运用( )的知识识，最终推出出具有一定程程度的不确定定性但却是合合理或者近乎乎合理的结论论的思维过程程。A)不确定性, 不确定性性 B)确定性性, 确定性C)确定性, 不确定性 D) 不确确定性 确定性32、C(B|A) 表示示在规则A-B中，证证据A为真的的作用下结论论B为真的A)可信度 B)信度 C)信任增增长度 D)概率33. 谓词逻逻辑下，子

18、句句, C1=LC1, C2= LC2, 若是互补文字字的（最一般般）合一置换换，则其归结结式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C2二、 简答题1.将下列自然然语言转化为为谓词表示形形式：(1) 所有的人都是要要呼吸的。(2) 每个学生都要参参加考试。(3) 任何整数或是正正的或是负的的。2.何谓“图灵灵实验”？简单描述述之3.写出图中树树的结点两个个访问序列，要要求分别满足足以下两个搜搜索策略：（1）深度优先先搜索；（22）广度优先先搜索4.试实现一个个“大学教师”的框架，大大学教师类属属于教师，包包括以下属性性：学历（学学士、硕士、博博士）、专业业（计算机、电电子、

19、自动化化、）、职称称（助教、讲讲师、副教授授、教授）5.用谓词逻辑辑形式化下列列描述“不存在最大大的整数”6.用语义网络络表示“苹果”知识。7. 什么是产产生式？产生生式规则的语语义是什么？8. 谓词公式式G通过个个步骤所得的的子句集合SS，称为G的的子句集。请请写出这些步步骤。9.（11）已知S=P(f(x),y,g(y),P(f(x),z,g(x)，求MGGU（2）已知W=P(f(x,g(AA,y),z),P(f(x,zz),z)，求MGUU10.（1） 证明G是否否是F的逻辑辑结论；（2）证明G是是否是F1、FF2的逻辑结结论；11. 1、用用语义网络表表示下列信息息：(1)胡途是思思源

20、公司的经经理，他355岁，住在飞飞天胡同688号(2)清华大学学与北京大学学进行蓝球比比赛，最后以以89：1002的比分结结束。（3）将命题：“某个学生读读过三国演义义”分别用谓词词公式和语义义网络表示（4）把语句“每个学生都喜喜欢老师上的的一门课。”表示为语义义网络。（5）请把下列列命题表示的的事实用一个个语义网络表表示出来。 1)树和草草都是植物； 2)树和草草都是有根有有叶的； 3)水草是是草，且长在在水中； 4)果树是是树，且会结结果； 5)樱桃树树是一种果树树，它结樱桃桃。（6）用语义网网络表示下列列事实姚明是一位年近近半百的男教教师，中等身身材，他在本本学年第二学学期给计算机机专业

21、学生讲讲授“人工智能”课程。该课课程是一门选选修课，比较较难。13. 图示博博弈树，其中中末一行的数数字为假设的的估值，请利利用-剪枝技术剪剪去不必要的的分枝。（在在节点及边上上直接加注释释）14. 设有如如下关系：（11）如果x是是y的父亲，yy又是z的父父亲，则x是是z的祖父；（2）老李是大大李的父亲；（3）大李李是小李的父父亲；问上述述人员中谁和和谁是祖孙关关系？15解释下列模模糊性知识：1) 张三，体体型，（胖，00.9）。2) (患者，症症状，(头疼疼，0.955) ) (患者，症症状，(发烧烧，1.1) ) (患者，疾疾病，(感冒冒，1.2) )16. 简单阐阐述产生式系系统的组成

22、。17. 试用线线性消解策略略证明：子句句集S= PQ, PR, QR, R 是可消消解的。18广度优先搜搜索与深度优优先搜索各有有什么特点？19.语义网络络可以表达事事物之间的哪哪些关系？20.假设已知知下列事实： （1）超市（SSupermmarkett）卖（Saiil）的商品品(Goodds)便宜(Cheeap)。 （2）王（Waang）买（Buy）需要的（Want）便宜商品。 （3）自行车（Bicyccle）是商品且超超市卖自行车车。 （4）王需要自自行车。 （5）赵（Zhhao）跟随随王买同样的的商品。 请应用归结反演演证明方法回回答以下问题题： （1）王买自行行车吗？ （2）赵买什

23、么么商品？ 21.已知一个个使用可信度度方法的推理理网络如图所所示，其证据据的可信度均均标示在图中中。推理规则则的可信度分分别为：ABH, 0.7CDH, 0.9EH, 0.3试按照可信度方方法的求解步步骤计算每个个证据节点对对假设H推理的可信信度，并据此此推算全部证证据（复合证证据）对于HH推理的可信信度。22. 求子句句R(x, y)Q(B, y)W(x, f(y) 和R(x, C)Q(y, C) 的归归结式。23. 何谓估估价函数？启启发式图搜索索的A算法和A*算法最显显著的区别是是什么？24. 什么是是置换？置换换是可交换的的吗？25. 给19九个数字字排一个序列列，使得该序序列的前n

24、(n=1,.,9) 个数字组组成的整数能能被n整除。(1)、讨论论哪些知识可可以帮助该问问题的求解。(2)、用产产生式系统描描述该问题.26. .剪枝的条条件是什么？27将下列自然然语言转化为为谓词表示形形式：（1）所有的人人都是要呼吸吸的。（2）每个学生生都要参加考考试。（3） 任何整整数或是正的的或是负的。28、人工智能能主要有哪几几种研究途径径和技术方法法，简单说明明之。三、 1、（1）将下下列谓词公式式化成子句集集（2）把下列谓谓词公式分别别化成相应的的子句集：xx(yP(x,y)y(Q(x,y)R(x,y)2.若谓词公式式E=P(xx,f(y),z),置置换s1=f(x,yy)/z,

25、zz/w，ss2=a/x,b/yy,w/z，求E（ss1s2），EE（s2s1）。3.用加权图的的启发式搜索索算法（不能能用Dijkkstra算算法）求解下下列问题：下下图是一个交交通图，设AA是出发地，EE是目的地，边边上的数字表表示两城市之之间的交通费费。求从A到到E最小费用用的旅行路线线，画出搜索索树，画出CClosedd表和Opeen表的变化化过程。4.用标准逻辑辑（经典逻辑辑，谓词逻辑辑）的子句集集表示下述刑刑侦知识，并并用反演归解解的线性策略略证明结论现定义如下谓词词（其项变量量X，Y，ZZ，皆为全称称量词）。Thief(XX)-某人X是是贼；Likes(XX,Y)-某某人X喜欢某

26、某物Y；May-steeal(X,Y)-某人人X可能会偷偷窃某物Y。5.用子句集表表达下述刑侦侦知识：I. Johnn是贼。II. Pauul喜欢酒（wwine）III. Paaul( 也也)喜欢奶酪酪（cheeese）IV. 如果PPaul喜欢欢某物则Joohn 也喜喜欢某物。V. 如果某人人是贼，而且且他喜欢某物物，则他就可可能会偷窃该该物。 6.求证结论:John可可能会偷窃了了什么？即求求证目标：mmay-stteal(JJohn,ZZ), Z=?（要求将将求证目标作作为顶子句，按按线性策略进进行归结推理理，注明每次次求归结式所所进行的置换换及其父子句句的编号）7.（1）已知知一组规则

27、和和证据（事实实）：R1：A1BB1,CF（BB1，A1）=0.8R2：A2BB1,CF（BB1，A2）=0.5R3：B1AA3-B22，CF（BB2，B1A3）=00.8初始证据A1，AA2，A3，并并且CF(AA1)=CFF(A2)=CF(A33)=1, 并且初始时时对B1，BB2一无所知知。根据Shhortliiffe的确确定性理论（可可信度方法），求求证据B1，BB2的可信度度在执行规则则R1，R22，R3后的的更新值CFF(B1),CF(B22)。（2）已知有如如下不确定推推理规则： r1：C11C12 H1 00.7； r2：H1 H 00.5； r3：C21C22 H 0.6；

28、r4：(C311C32)C33 H 0.8； CF(C11) = 0.88， CF(C12) = 0.99，CF(C221) = 0.3，CF(C222) = 0.6， CF(C31) = 0.99，CF(C332) = 0.5，CF(C333) =00.7； 请应用MYCIIN的确定性性方法求出CCF(H)。 8.设有A，BB，C三人中中有人从不说说真话，也有有人从不说假假话，某人向向这三人分别别提出同一个个问题：谁是是说谎者？AA 答：“BB和C都是说说谎者”；BB答：“A和和C都是说谎谎者”；C答答：“A和BB中至少有一一个是说谎者者”。求谁是是老实人，谁谁是说谎者？（15分）9. 1）

29、设已已知:(1)能阅读者者是识字的；(2)海豚豚不识字；(3)有些些海豚是聪明明的;求证:有些聪明明者并不能阅阅读.2）利用谓词逻逻辑表示下列列知识（包括括已知和结论论），然后化化成子句集： （1）凡是清洁洁的东西就有有人喜欢；（22）人们都不不喜欢苍蝇求证：苍蝇是不不清洁的。10. 八数码码游戏，初始始棋局和目标标棋局如图，定定义启发函数数h（x）表表示某状态下下与目标数码码不同的位置置个数，用全全局择优法画画出搜索的过过程。初始状态：，目目标状态：11. 张某被被盗，公安局局派了五个侦侦察员去调查查。研究案情情时，侦察员员说：“赵赵与钱中至少少有一人作案案”；侦察员员说：“钱钱与孙至少有有

30、一人作案”；侦察员说说：“孙与李李中至少有一一个作案”；侦察员说说“赵与孙至至少一个与案案无关”；侦侦察员说“钱钱与李中至少少有一人与此此案无关”。如如果这五个侦侦察员的话都都是可信的，试试用消解原理理推理求出谁谁是盗窃犯。12. 某企业业欲招聘一个个JAVA程程序员，定义义如下产生式式规则(要求求)：r1: IF有有工作经验 or (本本科以上学历历 andd 有相关知知识背景 tthen 录录用（0.99)r2:IF 工工作两年以上上 and 作过相关工工作 theen 有工作作经验 （00.8）r3:IF 学学过数据结构构 and 学过JAVVA andd 学过数据据库 andd 学过软

31、软件工程 tthen 有有相关知识背背景(0.99)r4:学过数据据结构（相关关课程的成绩绩/100 ）r5:学过JAAVA（相关关课程的成绩绩/100 ）r6:学过数据据库（相关课课程的成绩/100 ）r7:学过软件件工程（相关关课程的成绩绩/100 ）r8:做过相关关工作： JAVVA程序员：1，项目经经理：1，数数据库开发工工程师：0.9，数据库库管理员：00.7,网络络管理员：00.6，客服服人员：0.4设有一本科毕业业生甲，其相相关课程的成成绩为数据结结构=85,JAVA=80,数据据库=40,软件工程=90另有一社会招聘聘人员乙，参参加工作三年年，曾做过数数据库管理员员和数据库开开

32、发人员根据确定性理论论，问该公司司应该招聘谁谁？如果你是是该本科生，为为了能在招聘聘中胜出，你你应该加强哪哪门课程，并并使该门课程程的成绩至少少达到多少？13. 某问题题由下列公式式描述：试用归结法证明明(x)R(x)；14. 下图所所示博弈树，按按从左到右的的顺序进行-剪枝搜搜索，试标明明各生成节点点的到推值，何何处发生剪枝枝，及应选择择的走步。110分15.剪枝方法法只是极小极极大方法的一一种近似，剪剪枝可能会遗遗漏掉最佳走走步。这种说说法是否正确确？1. 什么是人工智能能？人工智能能与计算机程程序的区别？答：AI是研究究如何制造人人造的智能机机器或智能系系统来模拟人人类智能活动动的能力以

33、延延伸人类智能能的科学，它它与计算机程程序的区别是是： AI研究的是符符号表示的知知识而不是数数值数据为研研究对象 AI采用启发式式搜索方法而而不是普通的的算法 控制结构与知识识是分离的 允许出现不正确确的答案2. 化下列逻辑表达达式为不含存存在量词的前前束范式答：3. 求下列谓词公式式的子句集答：所以子句集为：4. 若有梯形ABCCD，将其中中的若干定理理形式化即定定义一些谓词词公式，然后后利用归结原原理证明内错错角CABD证明：设梯形顶顶点依次为aa,b,c,d,定义谓谓词:T(x,y,uu,v):表表示xy为上上底,uv为为下底的梯形形.P(x,y,uu,v):表表示xy|uvE(x,y

34、,zz,u,v,w)表示xyz=uvw，问问题的描述和和相应的子句句集为xyuvT(x,y,uu,v)P(x,yy,u,v).梯梯形上下底平平行子句：T(x,y,uu,v)P(x,yy,u,v)xyuvPP(x,y,u,v)E(x,yy,v,u,v,y).平行行则内错交相相等子句：T(a,b,cc,d).已知子句：T(a,b,c,dd)E(a,b,d,c,dd,b).要证明的的结论子句：E(aa,b,d,c,d,bb)子句集S为T(x,y,u,v)P(x,yy,u,v)P(x,y,u,v)E(x,yy,v,u,v,y)T(a,b,cc,d)E(a,b,d,c,dd,b)下面利用归结原原理证明P

35、(a,b,cc,d)（1）和（33）归结，置置换a/xx,b/y,c/u,dd/vE(a,b,dd,c,d,b)（2）和（55）归结，置置换a/xx,b/y,c/u,dd/vNIL（4）和（66）归结根据归结原理得得证。5. 求子句集的MGGU解：k=0;SS0=S;0=;S0不是是单元素集，求求得差异集DD0=a/z,其中中z是变元，aa是项，且zz不在a中出出现。k=kk+1=1有1=0a/z=a/zz=a/z，S1=S0a/z=P(a,x,f(gg(y),P(a,hh(a,u),f(u),S11不是单元素素集，求得差异集D11=x,hh(a,u),k=kk+1=2;2=1h(a,u)/x

36、=a/zz,h(a,u)/x,S2=S1h(a,uu)/x=P(a,h(a,uu),f(gg(y),P(a,hh(a,u),f(u)，S2不是单元素素集，求得差差异集D2=g(y),u,kk=k+1=33=2g(y)/u=aa/z,h(a,u)/xg(y)/u=a/z,hh(a,g(y)/xx,g(y)/uS3=S2g(y)/u=PP(a,h(a,g(yy),f(g(y)是单元元素集。根据求MGU算算法，MGUU=3=a/z,h(aa,g(y)/x,gg(y)/uu6. 用代价优先算法法求解下图的的旅行推销员员问题，请找找一条从北京京出发能遍历历各城市的最最佳路径（旅旅行费最少），每每条弧上的

37、数数字表示城市市间的旅行费费用。并用CCLOSEDD表记录遍历历过的结点，OOPEN表记记录待遍历的的结点。画出出closeed和opeen表的变化化过程，然后后根据cloosed表找找出最佳路径径。解：OPENN表扩展节点父节点A（0）NULLB（31）AC（28）AD（43）BC（54）BE（38）DC（59）DC（27）EA（51）ECLOSE表扩展节点父节点A（0）NULLC（28）AE（29）CD（38）EB（43）DA（31）B7. 用框架表示下述述报导的沙尘尘暴灾害事件件虚拟新华社33月16日电电昨日，沙尘暴暴袭击韩国汉汉城，机场与与高速公路被被迫关闭，造造成的损失不不详。韩国官

38、官方示，如果果需要直接损损失情况，可可待一周后的的官方公布的的字。此次沙沙尘暴起因中中日韩专家认认为是由于中中国内蒙古区区过分垦牧破破坏植被所致致。提示：分析概括括用下划线标标出的要点，经经过概念化形形成槽（Sllot）并拟拟出槽的名称称，选填侧面面（facee）值。侧面面包含“值（vallue）”，“默认值（ddefaullt）”，“如果需要值值（if-nneededd）”，“如果附加值值（if-aadded）”几个方面，用不到的侧面值可删除。FRAME： Slot1：Value：Defaultt：If-needded：If-addeed：Slot2：Value：Defaultt：If-ne

39、edded：If-addeed：Slot3：Value：Defaultt：If-needded：If-addeed：解：FRAME：沙沙尘暴Slot1：时时间Value：33 月15 日Defaultt：If-needded：If-addeed：Slot2：地地点Value：韩韩国汉城Defaultt：If-needded：If-addeed：Slot3：损损失Value：不不详Defaultt：If-needded：一周后官方方公布数字If-addeed：Slot4：起起因Defaultt：中国内蒙蒙古区1. (5分)什么是“知识工程”？它对人工工智能的发展展有何重要作作用？2. (10分分

40、)请用相应应的谓词公式式表示下述语语句：（1）有的人喜喜欢足球，有有的人喜欢排排球，有的人人既喜欢足球球又喜欢排球球。（2）不是每一一个人都喜欢欢游泳。（3）如果没有有利息，那么么就没有人愿愿意去存钱。（4）对于所有有的x和y，如如果x是y的的父亲，y是是z的父亲，那那么x是z的的祖父。（5）对于所有有的x和y，如如果x是y的的孩子，那么么y是x的父父母。（6）登高望远远。（7）响鼓不用用重锤。（8）如果ba0和ccd0，则则有(b*(a+c)/d)b。3. (5分)试建立一个个“学生”框架网络，其其中至少有“学生基本情情况”、“学生课程学学习情况”和“学生奖惩情情况”三个框架描描述。4. (

41、10分分)请把下述述事实用一个个语义网络表表示出来：（1）李明是东东方大学计算算机系的一名名学生。（2）他住在计计算机系的学学生宿舍里。（3）计算机系系的每间学生生宿舍都有一一台联网的计计算机。（4）李明喜欢欢在宿舍的计计算机上浏览览。5. (10分分)已知下述述事实：（1）小李只喜喜欢较容易的的课程。（2）工程类课课程是较难的的。（3）PR系的的所有课程都都是较容易的的。（4）PR1550是PR系系的一门课程程。应用归结演绎推推理回答问题题：小李喜欢欢什么课程？6. (10分分)已知：规则1：任何人人的兄弟不是是女性规则2：任何人人的姐妹必是是女性事实：Maryy是Billl的姐妹用归结推理方法法证明Marry不是Toom的兄弟。7. (15分分)考虑下面面的句子：l 每个程序都存在在Bug