人工智能复习题及答案27

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

2、（A）=-1，则则意味着（114），CCF（A）=1，则意意味着（115）。谓词公式GG是不可满满足的，当当且仅当对对所有的解解释（166）。谓词公式与与其子句集集的关系是是 （177）。利用归结原原理证明定定理时，若若得到的归归结式为（118），则则结论成立立。若C1=PQ，C22=PQ，则CC1和C22的归结式式R（C11，C2）= （199）。若C1=PP(x) Q(x)，C2=P(a) R(y)，则则C1和CC2的归结结式R（CC1，C22）= （20） 。有谓词公式式G，置换换，则G= （221） ，= （222） 。有子句集SS=P(x),PP(y)，其MGGU= （23） 。在归

3、结原理理中，几种种常见的归归结策略并并且具有完完备性的是是 （224）， （255） ， （226）。状态图启发发式搜索算算法的特点点是 （227）。广度优先搜搜索算法中中，OPEEN表的数数据结构实实际是一个个 （288），深度度优先搜索索算法中，OOPEN表表的数据结结构实际是是一个 （229） 。产生式系统统有三部分分组成 （330）， （311） 和推推理机。其其中推理可可分为 （332） 和和 （333）。专家系统的的结构包含含人机界面面、 （334） ， （355） ， （366） ， （377） 和解解释模块。在MYCIIN推理中中，对证据据的可信度度CF（AA）、CFF（A1）

4、、CF（AA2）之间间，规定如如下关系：CF（A）= （38） ，CFF（A1A2 ）= （399） ，CCF（A11A2 ）= （440） 。开发专家系系统所要解解决的基本本问题有三三个，那就就是知识的的获取、知知识的表示示和（411），知识识表示的方方法主要有有 （422） ， （433） ， （444） 和语语义网络等等，在语义义网络表示示知识时，所所使用的推推理方法有有 （455） 和 （466） 。MYCINN系统中使使用不确定定推理，规规则AB由专家家指定其可可信度CFF（B，AA），若AA真支持BB真，则指指定CF（BB，A）（与与零比较）应应 （447） ；若A真真不支持BB真

5、，则指指定CF（BB，A）应应 （488） 。机器学习的的含义是 （449） 。自然语言理理解不仅包包括计算机机能正确理理解人们用用自然语言言输入的信信息，能正正确回答输输入信息中中的有关问问题，而且且还包括 （500） 、 （551） 、 （552） 。设U=aa,b,cc,d，AA=a,b，BB=a,b,c，m(AA)=0.6，m(U)=00.4，UU的其它子子集的基本本概率分配配函数m值值均为0，则则Bel(A)= （533） ，Bel(B)= （544） 。证据理论中中集合A的的信任区间间为1，11，则其其语意解释释为 （555） 。人工智能三三大学派是是 。化成子句形形式为： 。从已

6、知事实实出发，通通过规则库库求得结论论的产生式式系统的推推理方式是是 。AI的英文文缩写是 。在谓词公式式中，紧接接于量词之之后被量词词作用的谓谓词公式称称为该量词词的 ，而在一一个量词的的辖域中与与该量词的的指导变元元相同的变变元称为 ，其其他变元称称为 。假言推理（AAB）A ，假言三三段论（AAB）（BC） 。几种常用的的归结策略略： 、支持集集策略、线线形归结策策略、输入入归结策略略、单元归归结策略。在诸如走迷迷宫、下棋棋、八数码码游戏等游游戏中，常常用到的一一种人工智智能的核心心技术称为为 技技术，解这这类问题时时，常把在在迷宫的位位置、棋的的布局、八八数码所排排成的形势势用图来表表

7、，这种图图称为 。在启发式搜搜索当中，通通常用 来表示示启发性信信息。在二人博弈弈问题中，最最常用的一一种分析技技术是 ，这种种方法的思思想是先生生成一棵博博弈树，然然后再计算算其倒推值值。但它的的效率较低低，因此人人们在此基基础上，又又提出了 。37.某产产生式系统统中的一条条规则：AA（x）BB（x），则则前件是 ，后后件是 。38.在框框架和语义义网络两种种知识表示示方法中， 适合于表示结构性强的知识，而 则适合表示一些复杂的关系和联系的知识。 不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。不确定性类类型按性质质分：，。在删除策略略归结的过过程中删除除以下子句句：含有 的子

8、子句;含有有的子句句；子句集中中被别的子子句的子句句。对证据的可可信度CFF（A）、CF（AA1）、CCF（A22）之间，规规定如下关关系：CFF（A）=、CCF（A11A2 ）=、CFF（A1A2 ）=合一算法：求非空有有限具有相相同谓词名名的原子公公式集的产生式系统统的推理过过程中，从从可触发规规则中选择择一个规则则来执行，被被执行的规规则称为。P(B|AA) 表示示在规则中中，证据AA为真的作作用下结论论B为真的的。人工智能的的远期目标标是，近期目目标是。常用的二种种盲目搜索索方法是_和_；引入启启发式知识识来指导OOPEN表表中节点的的排序可划划分为二种种方式_和和_。产生式系统统的推

9、理可可以分为_和_两种基基本方式。知识表示的的性能应从从以下二个个方面评价价：_和_；后者者又分二个个方面_和和 _。人工智能的的表现形式式至少有_、_、_、_和和_几种种。目前所用的的知识表示示形式有_、_、_、_等。框架系统的的特性继承承功能可通通过组合应应用槽的三三个侧面来来灵活实现现，它们是是_、_和_。产生式系统统是由_、_和_三部分分组成的。_就就是所考察察判断的事事物或对象象的集合，记记为_。它的的子集构成成_。证据理论是是经典概率率论的一种种扩充形式式，构成这这一理论的的函数有_、_和_。对于模糊不不确定性，一一般采用_或_来刻划。归结法中，可可以通过-的方法得得到问题的的解答

10、。化成子句形形式为： 。58.从已已知事实出出发，通过过规则库求求得结论的的产生式系系统的推理理方式是 。谓词逻辑中中，重言式式（tauutloggy）的值值是 。利用归结原原理证明定定理时，若若得到的归归结式为 ，则结论论成立。在启发式搜搜索当中，通通常用 来表表示启发性性信息。二、选择题题选择题：（113小题，共共13分）1.人工智智能的含义义最早由一一位科学家家于19550年提出出，并且同同时提出一一个机器智智能的测试试模型，请请问这个科科学家是（）。 AA. 明斯斯基 BB. 扎德德 CC. 图灵灵 D. 冯.诺依曼2.下列哪哪个不是人人工智能的的研究领域域（ ） AA.机器器证明 B

11、B.模式式识别 CC. 人工工生命 D. 编译译原理3.神经网网络研究属属于下列（ ）学派 AA. 符号号主义 BB. 连接接主义 CC. 行为为主义 D. 都不不是4.已知初初始问题的的描述，通通过一系列列变换把此此问题最终终变为一个个子问题集集合；这些些子问题的的解可以直直接得到，从从而解决了了初始问题题。这是知知识表示法法叫（ ） AA. 状态态空间法 BB. 问题题归约法 CC. 谓词词逻辑法 D. 语义义网络法5.在公式式中yxp(xx,y)，存在量量词是在全全称量词的的辖域内，我我们允许所所存在的xx可能依赖赖于y值。令这种依依赖关系明明显地由函函数所定义义，它把每每个y值映映射到

12、存在在的那个xx。这种函函数叫做（ ） AA. 依赖赖函数 BB. Skkolemm函数 CC. 决定定函数 D. 多元元函数6.子句PQ和PP经过消解解以后，得得到（ ） AA. P BB. Q CC. PPQ7,8.AA（AB）A 称称为（ ），（AAB）AB称称为（ ）结合律 B.分配配律 CC.吸收律律 D.摩根律9,10.如果问题题存在最优优解，则下下面几种搜搜索算法中中，（ ）必然可可以得到该该最优解，（ ）可以以认为是“智能程度度相对比较较高”的算法。广度优先搜搜索深度优先搜搜索有界深度优优先搜索启发式搜索索11.产生生式系统的的推理不包包括（ ） AA. 正向向推理 BB. 逆

13、向向推理 CC. 双向向推理 D. 简单单推理12.下列列哪部分不不是专家系系统的组成成部分（ ） AA. 用户户 BB. 综合合数据库 CC. 推理理机 D. 知识识库 13. 要要想让机器器具有智能能，必须让让机器具有有知识。因因此，在人人工智能中中有一个研研究领域，主主要研究计计算机如何何自动获取取知识和技技能，实现现自我完善善，这门研研究分支学学科叫（ ）。 AA. 专家家系统 BB. 机器器学习 CC. 神经经网络 D. 模式式识别！14、AII的英文缩缩写是A)Auttomattic IIntellligeence B)Arrtifiical InteelliggenceeC)Au

14、ttomattice Infoormattion D)Arrtifiical Infoormattion15、反演演归结（消消解）证明明定理时，若若当前归结结式是（ ）时，则则定理得证证。A)永真式式B)包孕孕式（suubsummed）C)空子子句16、从已已知事实出出发，通过过规则库求求得结论的的产生式系系统的推理理方式是A)正向推推理B)反向推推理C)双向推推理17、语义义网络表达达知识时，有有向弧AKKO 链、ISA 链是用来来表达节点点知识的（ ）。A)无悖性性 B)可扩扩充性 C)继承承性18、(AAB)A = B是A)附加律律B)拒收收律C)假言言推理D)USS19、命题题是可以判

15、判断真假的的A)祈使句句B)疑问问句C)感叹叹句D)陈述述句20、仅个个体变元被被量化的谓谓词称为A)一阶谓谓词B)原子子公式C)二阶阶谓词D)全称称量词21、MGGU是A)最一般般合一B)最一一般替换C)最一一般谓词D)基替替换22、19997年月，著名名的“人机大战战”，最终计计算机以33.5比22.5的总总比分将世世界国际象象棋棋王卡卡斯帕罗夫夫击败，这这台计算机机被称为（ ）A）深蓝 B）IBM C）深思思 D）蓝天天23、下列列不在人工工智能系统统的知识包包含的4个个要素中A)事实B)规则则C)控制制和元知识识D)关系系24、谓词词逻辑下，子子句, CC1=LC1, C2= LLC2

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

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

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

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

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

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

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

23、答以下问题题： （1）王买买自行车吗吗？ （2）赵买买什么商品品？ 21.已知知一个使用用可信度方方法的推理理网络如图图所示，其其证据的可可信度均标标示在图中中。推理规规则的可信信度分别为为：ABH, 00.7CDH, 00.9EH, 00.3试按照可信信度方法的的求解步骤骤计算每个个证据节点点对假设HH推理的可可信度，并并据此推算算全部证据据（复合证证据）对于于H推理的可可信度。22. 求求子句R(x, yy)Q(B, y)W(x, f(yy) 和和R(x, C)Q(y, C) 的归结式式。23. 何何谓估价函函数？启发发式图搜索索的A算法和A*算法最显显著的区别别是什么？24. 什什么是置

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

25、(x,y)R(x,y)2.若谓词词公式E=P(x,f(y),z),置换s11=f(x,y)/z,zz/w，ss2=aa/x,bb/y,ww/z，求求E（s11s2），EE（s2s1）。3.用加权权图的启发发式搜索算算法（不能能用Dijjkstrra算法）求求解下列问问题：下图图是一个交交通图，设设A是出发发地，E是是目的地，边边上的数字字表示两城城市之间的的交通费。求从A到到E最小费费用的旅行行路线，画画出搜索树树，画出CCloseed表和OOpen表表的变化过过程。4.用标准准逻辑（经经典逻辑，谓谓词逻辑）的的子句集表表示下述刑刑侦知识，并并用反演归归解的线性性策略证明明结论现定义如下下谓词

26、（其其项变量XX，Y，ZZ，皆为全全称量词）。Thieff(X)-某人X是是贼；Likess(X,YY)-某某人X喜欢欢某物Y；May-ssteall(X,YY)-某某人X可能能会偷窃某某物Y。5.用子句句集表达下下述刑侦知知识：I. Joohn是贼贼。II. PPaul喜喜欢酒（wwine）III. Paull( 也)喜欢奶酪酪（cheeese）IV. 如如果Pauul喜欢某某物则Joohn 也也喜欢某物物。V. 如果果某人是贼贼，而且他他喜欢某物物，则他就就可能会偷偷窃该物。 6.求证结结论:Joohn可能能会偷窃了了什么？即即求证目标标：mayy-steeal(JJohn,Z), Z=?

27、（要要求将求证证目标作为为顶子句，按按线性策略略进行归结结推理，注注明每次求求归结式所所进行的置置换及其父父子句的编编号）7.（1）已已知一组规规则和证据据（事实）：R1：A11B1,CCF（B11，A1）=0.8R2：A22B1,CCF（B11，A2）=0.5R3：B11A3-B2，CCF（B22，B1A3）=0.8初始证据AA1，A22，A3，并并且CF(A1)=CF(AA2)=CCF(A33)=1, 并且初初始时对BB1，B22一无所知知。根据SShorttlifffe的确定定性理论（可可信度方法法），求证证据B1，BB2的可信信度在执行行规则R11，R2，RR3后的更更新值CFF(B1

28、),CF(B2)。（2）已知知有如下不不确定推理理规则： r1：C111C12 H11 0.7； r2：H11 H 00.5； r3：C221C22 H 0.6； r4：(CC31C32)C33 H 0.8； CCF(C111) = 0.88， CFF(C122) = 0.9，CF(CC21) = 0.3，CF(CC22) = 0.6， CCF(C331) = 0.99，CF(CC32) = 0.5，CF(CC33) =0.77； 请应用MYYCIN的的确定性方方法求出CCF(H)。 8.设有AA，B，CC三人中有有人从不说说真话，也也有人从不不说假话，某某人向这三三人分别提提出同一个个问题：

29、谁谁是说谎者者？A 答答：“B和和C都是说说谎者”；B答：“A和C都都是说谎者者”；C答答：“A和和B中至少少有一个是是说谎者”。求谁是是老实人，谁谁是说谎者者？（155分）9. 1）设设已知:(1)能阅阅读者是识识字的；(2)海海豚不识字字；(3)有有些海豚是是聪明的;求证:有些些聪明者并并不能阅读读.2）利用谓谓词逻辑表表示下列知知识（包括括已知和结结论），然然后化成子子句集： （1）凡是是清洁的东东西就有人人喜欢；（22）人们都都不喜欢苍苍蝇求证：苍蝇蝇是不清洁洁的。10. 八八数码游戏戏，初始棋棋局和目标标棋局如图图，定义启启发函数hh（x）表表示某状态态下与目标标数码不同同的位置个个

30、数，用全全局择优法法画出搜索索的过程。初始状态：，目标状状态：11. 张张某被盗，公公安局派了了五个侦察察员去调查查。研究案案情时，侦侦察员说说：“赵与与钱中至少少有一人作作案”；侦侦察员说说：“钱与与孙至少有有一人作案案”；侦察察员说：“孙与李李中至少有有一个作案案”；侦察察员说“赵与孙至至少一个与与案无关”；侦察员员说“钱钱与李中至至少有一人人与此案无无关”。如如果这五个个侦察员的的话都是可可信的，试试用消解原原理推理求求出谁是盗盗窃犯。12. 某某企业欲招招聘一个JJAVA程程序员，定定义如下产产生式规则则(要求)：r1: IIF有工作作经验 oor (本本科以上学学历 aand 有有相

31、关知识识背景 tthen 录用（00.9)r2:IFF 工作两两年以上 and 作过相关关工作 tthen 有工作经经验 （00.8）r3:IFF 学过数数据结构 and 学过JAAVA aand 学学过数据库库 andd 学过过软件工程程 theen 有相相关知识背背景(0.9)r4:学过过数据结构构（相关课课程的成绩绩/1000 ）r5:学过过JAVAA（相关课课程的成绩绩/1000 ）r6:学过过数据库（相相关课程的的成绩/1100 ）r7:学过过软件工程程（相关课课程的成绩绩/1000 ）r8:做过过相关工作作： JJAVA程程序员：11，项目经经理：1，数数据库开发发工程师：0.9，

32、数数据库管理理员：0.7,网络络管理员：0.6，客客服人员：0.4设有一本科科毕业生甲甲，其相关关课程的成成绩为数据据结构=885,JAAVA=880,数据据库=400,软件工工程=900另有一社会会招聘人员员乙，参加加工作三年年，曾做过过数据库管管理员和数数据库开发发人员根据确定性性理论，问问该公司应应该招聘谁谁？如果你你是该本科科生，为了了能在招聘聘中胜出，你你应该加强强哪门课程程，并使该该门课程的的成绩至少少达到多少少？13. 某某问题由下下列公式描描述：试用归结法法证明(xx)R(xx)；14. 下下图所示博博弈树，按按从左到右右的顺序进进行-剪枝搜索索，试标明明各生成节节点的到推推值

33、，何处处发生剪枝枝，及应选选择的走步步。10分分15.剪枝枝方法只是是极小极大大方法的一一种近似，剪剪枝可能会会遗漏掉最最佳走步。这种说法法是否正确确？什么是人工工智能？人人工智能与与计算机程程序的区别别？答：AI是是研究如何何制造人造造的智能机机器或智能能系统来模模拟人类智智能活动的的能力以延延伸人类智智能的科学学，它与计计算机程序序的区别是是：AI研究的的是符号表表示的知识识而不是数数值数据为为研究对象象AI采用启启发式搜索索方法而不不是普通的的算法控制结构与与知识是分分离的允许出现不不正确的答答案化下列逻辑辑表达式为为不含存在在量词的前前束范式答：求下列谓词词公式的子子句集答：所以子句集

34、集为：若有梯形AABCD，将将其中的若若干定理形形式化即定定义一些谓谓词公式，然然后利用归归结原理证证明内错角角CABD证明：设梯梯形顶点依依次为a,b,c,d,定义义谓词:T(x,yy,u,vv):表示示xy为上上底,uvv为下底的的梯形.P(x,yy,u,vv):表示示xy|uvE(x,yy,z,uu,v,ww)表示xyz=uvw，问问题的描述述和相应的的子句集为为xyuvT(x,y,u,v)P(x,y,u,v).梯形形上下底平平行子句：T(x,y,u,v)P(x,y,u,v)xyuvvP(xx,y,uu,v)E(x,y,v,u,v,y).平行行则内错交交相等子句：T(a,bb,c,dd)

35、.已知子句：T(a,b,c,d)E(a,b,d,c,d,b).要证明明的结论子句：EE(a,bb,d,cc,d,bb)子句集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,bb,c,dd)E(a,b,d,c,d,b)下面利用归归结原理证证明P(a,bb,c,d)（1）和和（3）归归结，置换换a/xx,b/yy,c/uu,d/vvE(a,bb,d,cc,d,bb)（2）和和（5）归归结，置换换a/xx,b/yy,c/uu,d/vvNIL（4）和和（6）归归结根据归结原原理得证。求子句集的的MGU解：k=00;S0=S;0=;S0不不是单元素素

36、集，求得得差异集DD0=aa/z,其中z是是变元，aa是项，且且z不在aa中出现。k=k+1=1有1=0a/zz=a/zz=aa/z，S1=S00a/zz=PP(a,xx,f(gg(y),P(aa,h(aa,u),f(u),SS1不是单单元素集，求得差异集集D1=x,h(a,u),k=k+1=2;2=1h(aa,u)/x=a/z,h(a,u)/xx,S2=S11h(aa,u)/x=P(a,h(a,u),ff(g(yy),PP(a,hh(a,uu),f(u)，S2不是单单元素集，求求得差异集集D2=g(y),u,k=k+1=33=22g(yy)/u=a/z,h(a,u)/xg(yy)/u=a/z

37、,h(a,g(y)/x,g(y)/uuS3=S22g(yy)/u=P(a,h(a,g(y),f(g(y)是单元元素集。根据求MGGU算法，MMGU=3=aa/z,hh(a,gg(y)/x,gg(y)/u用代价优先先算法求解解下图的旅旅行推销员员问题，请请找一条从从北京出发发能遍历各各城市的最最佳路径（旅旅行费最少少），每条条弧上的数数字表示城城市间的旅旅行费用。并用CLLOSEDD表记录遍遍历过的结结点，OPPEN表记记录待遍历历的结点。画出cllosedd和opeen表的变变化过程，然然后根据ccloseed表找出出最佳路径径。解：OPPEN表扩展节点父节点A（0）NULLB（31）AC（2

38、8）AD（43）BC（54）BE（38）DC（59）DC（27）EA（51）ECLOSEE表扩展节点父节点A（0）NULLC（28）AE（29）CD（38）EB（43）DA（31）B用框架表示示下述报导导的沙尘暴暴灾害事件件虚拟新华华社3月116日电昨日，沙尘尘暴袭击韩韩国汉城，机机场与高速速公路被迫迫关闭，造造成的损失失不详。韩韩国官方示示，如果需需要直接损损失情况，可可待一周后后的官方公公布的字。此次沙尘尘暴起因中中日韩专家家认为是由由于中国内内蒙古区过过分垦牧破破坏植被所所致。提示：分析析概括用下下划线标出出的要点，经经过概念化化形成槽（SSlot）并并拟出槽的的名称，选选填侧面（ffa

39、ce）值值。侧面包包含“值（vaalue）”，“默认值（default）”，“如果需要值（if-needed）”，“如果附加值（if-added）”几个方面，用不到的侧面值可删除。FRAMEE： Slot11：Valuee：Defauult：If-neeededd：If-addded：Slot22：Valuee：Defauult：If-neeededd：If-addded：Slot33：Valuee：Defauult：If-neeededd：If-addded：解：FRAMEE：沙尘暴Slot11：时间Valuee：3 月15 日Defauult：If-neeededd：If-addded：S

40、lot22：地点Valuee：韩国汉城城Defauult：If-neeededd：If-addded：Slot33：损失Valuee：不详Defauult：If-neeededd：一周后官官方公布数数字If-addded：Slot44：起因Defauult：中中国内蒙古古区1. (55分)什么么是“知识工程程”？它对人人工智能的的发展有何何重要作用用？2. (110分)请请用相应的的谓词公式式表示下述述语句：（1）有的的人喜欢足足球，有的的人喜欢排排球，有的的人既喜欢欢足球又喜喜欢排球。（2）不是是每一个人人都喜欢游游泳。（3）如果果没有利息息，那么就就没有人愿愿意去存钱钱。（4）对于于所有的

41、xx和y，如如果x是yy的父亲，yy是z的父父亲，那么么x是z的的祖父。（5）对于于所有的xx和y，如如果x是yy的孩子，那那么y是xx的父母。（6）登高高望远。（7）响鼓鼓不用重锤锤。（8）如果果ba0和cd0，则则有(b*(a+cc)/d)b。3. (55分)试建建立一个“学生”框架网络络，其中至至少有“学生基本本情况”、“学生课程程学习情况况”和“学生奖惩惩情况”三个框架架描述。4. (110分)请请把下述事事实用一个个语义网络络表示出来来：（1）李明明是东方大大学计算机机系的一名名学生。（2）他住住在计算机机系的学生生宿舍里。（3）计算算机系的每每间学生宿宿舍都有一一台联网的的计算机。

42、（4）李明明喜欢在宿宿舍的计算算机上浏览览。5. (110分)已已知下述事事实：（1）小李李只喜欢较较容易的课课程。（2）工程程类课程是是较难的。（3）PRR系的所有有课程都是是较容易的的。（4）PRR150是是PR系的的一门课程程。应用归结演演绎推理回回答问题：小李喜欢欢什么课程程？6. (110分)已已知：规则1：任任何人的兄兄弟不是女女性规则2：任任何人的姐姐妹必是女女性事实：Maary是BBill的的姐妹用归结推理理方法证明明Maryy不是Toom的兄弟弟。7. (115分)考考虑下面的的句子：每个程序都都存在Buug含有Bugg的程序无无法工作P是一个程程序（1）一阶阶谓词逻辑辑表示

43、上述述句子。（2）使用用归结原理理证明P不不能工作。8. (110分)任任何通过了了历史考试试并中了彩彩票的人都都是快乐的的。任何肯肯学习或幸幸运的人可可以通过所所有考试，小小张不学习习，但很幸幸运，任何何人只要是是幸运的就就能中彩票票。求证：小张张是快乐的的。9. (110分)已已知：海关关职员检查查每一个入入境的不重重要人物，某某些贩毒者者入境，并并且仅受到到贩毒者的的检查，没没有一个贩贩毒者是重重要人物。证明：海关关职员中有有贩毒者。10. (15分)有一堆硬硬币，开始始时有9枚枚。A、BB两人轮流流从中取硬硬币，每次次取时，可可以取1枚枚或者2枚枚或者3枚枚，拣起最最后一枚硬硬币者为输

44、输方。试用用博弈树证证明：后开开始取硬币币者总能获获胜，或者者先开始取取硬币者总总是会输。1. (55分)一阶阶谓词逻辑辑表示法适适合于表示示哪种类型型的知识？它有哪些些主要特点点？2. (110分)请请用语义网网络分别表表示下述语语句：（1）与会会者有男、有女，有有的年老、有的年轻轻。（2）李明明是图灵电电脑公司的的经理，他他住在江滨滨路1022号，今年年38岁。（3）大门门前的这棵棵树从春天天到秋天都都开花。（4）计算算机系的每每个学生都都学习“人工智能能原理”，它是计计算机专业业的一门主主干课程。3. (110分)已已知前提：每个储蓄蓄钱的人都都获得利息息。 求证证结论：如如果没有利利息

45、，那么么就没有人人去储蓄钱钱。4. (110分)已已知前提：（1）某些些病人喜欢欢所有的医医生。（2）没有有一个病人人喜欢任何何一个骗子子。求证结论：任何一个个医生都不不是骗子。5. (110分)下下述公式集集F是否可可合一，若若可合一，则则求出F的的最一般合合一。（1）F=P(aa,b),P(x,y)（2）F=P(ff(x),b),PP(y,zz)（3）F=P(ff(x),y),PP(y,ff(b)（4）F=P(ff(y),y,x),P(xx,f(aa),f(b)6. (110分)已已知有些人人喜欢所有有的花，没没有任何人人喜欢任意意的杂草，证证明花不是是杂草。7. (110分)已已知下述事

46、事实：（1）小杨杨、小刘和和小林是高高山俱乐部部成员。（2）高山山俱乐部的的每个成员员是滑雪者者或登山者者，或者既既滑雪又登登山。（3）没有有一个登山山者喜欢下下雨。（4）所有有滑雪者都都喜欢下雪雪。（5）凡是是小杨喜欢欢的，小刘刘就不喜欢欢。（6）凡是是小杨不喜喜欢的，小小刘就喜欢欢。（7）小杨杨喜欢下雨雨和下雪。试证明：俱俱乐部是否否有是登山山者而不是是滑雪者的的成员？如如果有，他他是谁？8. (110分)把把下列谓词词公式分别别化为相应应的子句集集：（1）(xx)(y)(P(x,y)Q(x,y)（2）(xx)(y)(P(x,y)Q(x,y)（3）(xx)(y)(P(x,y)(Q(xx,y

47、)R(x,y)（4）(xx)(y)(z)(P(x,y)Q(x,y)R(x,z)（5）(xx)(y)(z)(u)(v)(w)(P(xx,y,zz,u,vv,w)Q(x,y,z,u,v,w)R(x,z,w)9. (110分)（11）用子句句集表示下下述知识： John是是贼；Paul喜喜欢酒（wwine）；Paul也也喜欢奶酪酪（cheeese）；如果Pauul喜欢某某物，则JJohn也也喜欢；如果某人是是贼，而且且喜欢某物物，则他就就可能会偷偷窃该物。（2）求解解结论：JJohn可可能会偷窃窃什么？10.(115分)五五子棋棋盘盘是一个行行、列皆有有5个方格格的5X55方格棋盘盘，A、BB两人轮

48、流流投子，每每次投一子子于一个空空的方格中中，谁先布布成五子成成一线（行行、列、对对角线均可可），谁就就获胜。请请定义估价价函数，并并站在A的的立场上，找找出获胜的的最佳走步步。11、某公公司招聘工工作人员，AA，B，CC三人应试试，经面试试后公司表表示如下想想法：（1） 三三人中至少少录取一人人。（2） 如如果录取AA而不录取取B，则一一定录取CC。（3） 如如果录取BB，则一定定录取C。求证：公司司一定录取取C。12、用语语义网络表表示下列命命题（1）树和和草都是植植物（2）树和和草都有根根和叶（3）水草草是草，它它长在水中中（4）果树树是树，会会结果（5）苹果果树结苹果果一、选择题题(每

49、题11分，共115分)1、人工智智能是一门门A)数学和和生理学 B)心理理学和生理理学 C)语言言学D)综合性性的交叉学学科和边缘缘学科 2、语义网网络表达知知识时，有有向弧AKKO 链、ISA 链是用来来表达节点点知识的（ ）。A) 无悖悖性 B) 可可扩充性 C) 继继承性3、(A-B)A = B是A)附加律律B)拒收收律C)假言言推理D)USS4、命题是是可以判断断真假的A)祈使句句B)疑问问句C)感叹叹句D)陈述述句5、仅个体体变元被量量化的谓词词称为A)一阶谓谓词B)原子子公式C)二二阶谓词D)全称量词词6、MGUU是A) 最一一般合一 B)最最一般替换换 CC) 最一一般谓词 D)

50、基基替换最一般合一一7、下列不不在人工智智能系统的的知识包含含的4个要要素中A) 事实实B) 规规则C) 控控制D) 关关系8、当前归归结式是（ ）时，则则定理得证证。A) 永真真式B 包孕孕式（suubsummed）C) 空空子句9、或图通通常称为A）框架网网络 B)语义义图 C)博亦亦图 D)状态态图10、不属属于人工智智能的学派派是A)符号主主义 B) 机机会主义 C)行为为主义 D)连接接主义。11、所谓谓不确定性性推理就是是从( )的初始始证据出发发，通过运运用( )的知识识，最终推推出具有一一定程度的的不确定性性但却是合合理或者近近乎合理的的结论的思思维过程。A)不确定定性, 不确

51、定定性 B)确定定性, 确定性性C)确定性性, 不确定定性 D) 不不确定性 确定性性12.要想想让机器具具有智能，必必须让机器器具有知识识。因此，在在人工智能能中有一个个研究领域域，主要研研究计算机机如何自动动获取知识识和技能，实实现自我完完善，这门门研究分支支学科叫（ ）。A)专家系系统 B)机器器学习 C)神经经网络 D)模式式识别13、下列列哪部分不不是专家系系统的组成成部分（ ）A.）用户户 B）综合合数据库 C）推理理机 D）知识识库14、产生生式系统的的推理不包包括（ ）A）正向推推理 B）逆向向推理 C）双向向推理 D）简单单推理15、C(B|A) 表示在在规则A-B中，证证据

52、A为真真的作用下下结论B为为真的A)可信度度 B)信度度 C)信任任增长度 D)概率率二、填空题题(每题11分，共330分)1、人工智智能的含义义最早由一一位科学家家于19550年提出出，并且同同时提出一一个机器智智能的测试试模型，请请问这个科科学家是2、从已知知事实出发发，通过规规则库求得得结论的产产生式系统统的推理方方式是。3、AI的的英文缩写写是。4、不确定定性类型按按性质分：，。5、在删除除策略归结结的过程中中删除以下下子句：含含有的子句;含有的的子句;子子句集中被被别的子句句的子句句。6、对证据据的可信度度CF（AA）、CFF（A1）、CF（AA2）之间间，规定如如下关系：CF（AA

53、）=、CF（AA1A2 ）=、CF（A11A2 ）=。7、图：指指由组成的的网络。按按连接同一一节点的各各边的逻辑辑关系又可可分为和。8、合一算算法：求非非空有限具具有相同谓谓词名的原原子公式集集的。9、19997年月月，著名的的“人机大战战”，最终名名为“”的计算机机以3.55比2.55的总比分分将世界国国际象棋棋棋王卡斯帕帕罗夫击败败。10、人工工智能的远远期目标是是，近近期目标是是。三、简答及及计算题(每题5分分，共255分)1、解释下下列模糊性性知识：1) 张三三，体型，（胖胖，0.99）。2) (患患者，症状状，(头疼疼，0.995) ) (患者者，症状，(发烧，11.1) ) (患

54、者，疾疾病，(感感冒，1.2) )答：2、简单阐阐述产生式式系统的组组成：答：3、补齐产产生式系统统与图搜索索的对比表表答： 4、已知WW=P(f(x,g(A,y),z),PP(f(xx,z),z)，求求MGU解：5、证明GG是否是FF1、F22的逻辑结结论；证:四、应用题题(共300分)1、将命题题：“某个学生生读过三国国演义”分别用谓谓词公式和和语义网络络表示答： 2、图示博博弈树，其其中末一行行的数字为为假设的估估值，请利利用-剪枝技术术剪去不必必要的分枝枝。（在节节点及边上上直接加注注释）3、利用谓谓词逻辑表表示下列知知识（包括括已知和结结论），然然后化成子子句集： （1）凡是是清洁的

55、东东西就有人人喜欢；（2）人们们都不喜欢欢苍蝇求证：苍蝇蝇是不清洁洁的。证：答案：一、1、DD2、C3、C4、D5、A6、A7、D8、C9、D10、BB11、AA12、BB13、AA.14、DD15、BB二、1、图图林2、正向向推理3、Arrtifiical Inttelliigencce4、随机性性，模糊性性，不完全全性，不一一致性5、纯文字字，永真式式，类含6、-CFF(A)，mminCCF(A11),CFF(A2)，maaxCFF(A1),CF(A2) )7、节点和和有向边，或或图，与或或图8、最一一般合一（MMGU）9、深蓝10、制制造智能机机器，实现现机器智能能三、1、答答：1）表表

56、示：命题题“张三比较较胖” 2）解解释为：如如果患者有有些头疼并并且发高烧烧，则他患患了重感冒冒。2、答：11）产生式式规则库：描述相应应领域知识识的产生式式规则集2）数据库库：（事实实的集合）存存放问题求求解过程中中当前信息息的数据结结构（初始始事实、外外部数据库库输入的事事实、中间间结果事实实和最后结结果事实）3）推理机机：（控制制系统）是是一个程序序，控制协协调规则库库与数据库库的运行，包包含推理方方式和控制制策略。3、答：4、解：kk=0;SS0=S;0=;S0不不是单元素素集，求得得差异集DD0=gg(A,yy),z,其中z是是变元，gg(A,yy)是项，且且z不在gg(A,yy)中

57、出现现。k=kk+1=11有1=0g(AA,y)/z=g(A,y)/z=g(AA,y)/z，S1=S00g(AA,y)/z=P(f(x,g(A,y),g(A,y),SS1是单元元素集。根据求MGGU算法，MMGU=1=gg(A,yy)/z5、证:P(xx)Q(x)从从F1变换换P(yy)R(y)从从F1变换换P(a)从从F2变换换S(a)从从F2变换换S(zz)R(zz)结结论的否定定R(a)归结aa/yR(aa)归结aa/z归结得证.四、1、答答：谓词公公式表示：x(sttudennt(x)readd(x,三三国演义)语义网络表表示如图：2、3、证：现现定义如下下谓词L(x,yy)-某某人x

58、喜欢欢某物y；P(y)- 某物物y是清洁洁的东西(1) yyx(P(yy)L(x,y) = P(y)L(f(y),y)(2) xx(L(x,Flly) = L(x,Flly)(3) PP(Flyy) 结论的的反(4) LL(f(Flly), Fly) (1)(33)归结,置换FFly/yy(5) (2)(44)归结,f(FFly)/x得证。人工智能试试卷（B）试题部分：一、选择题题（15小小题，共115分）1、97年年月，著著名的“人机大战战”，最终计计算机以33.5比22.5的总总比分将世世界国际象象棋棋王卡卡斯帕罗夫夫击败，这这台计算机机被称为（ ）A）深蓝 B）IBM C）深思思 D）蓝

59、天天2、下列不不在人工智智能系统的的知识包含含的4个要要素中A)事实B)规则则C)控制制和元知识识D)关系系3、谓词逻逻辑下，子子句, CC1=LC1, C2= LLC2,若是互补文文字的（最最一般）合合一置换，则则其归结式式C=（ ）A) C11C2B)C1C2C)C1C2D)C1 C24、或图通通常称为A）框架网网络 B)语义义图 C)博亦亦图 D)状态态图5、不属于于人工智能能的学派是是A)符号主主义 B)机会会主义 C)行为为主义 D)连接接主义。6、人工智智能的含义义最早由一一位科学家家于19550年提出出，并且同同时提出一一个机器智智能的测试试模型，请请问这个科科学家是A)明斯基基

60、 B).扎扎德 C)图林林 D)冯.诺依曼7、要想让让机器具有有智能，必必须让机器器具有知识识。因此，在在人工智能能中有一个个研究领域域，主要研研究计算机机如何自动动获取知识识和技能，实实现自我完完善，这门门研究分支支学科叫（ ）。A)专家系系统 B)机器器学习 C)神经经网络 D)模式式识别8、下列哪哪部分不是是专家系统统的组成部部分（ ）A.）用户户 B）综合合数据库 C）推理理机 D）知识识库9、产生式式系统的推推理不包括括（ ）A）正向推推理 B）逆向向推理 C）双向向推理 D）简单单推理10、C(B|A) 表示在在规则A-B中，证证据A为真真的作用下下结论B为为真的A)可信度度 B)