人工智能复习题库

1、人工智能导论试卷库填空：人工智能的的研究途径径有 心理理模拟 、 生理模模拟 和行行为模拟。任意列举人人工智能的的四个应用用性领域难难题求解 、定理证明明 、智能控制制 、机器翻译译 。人工智能的的基本技术术包括搜索索技术、推理技术术、知识表示示和知识库库技术归纳纳技术、联联想技术。谓词逻辑是是一种表达达能力很强强的形式语语言，其真真值的特点点和命题逻逻辑的区别别是（100）。谓词逻辑中中，重言式式（tauutloggy）的值值是 真 。设P是谓词词公式，对对于P的任任何论域，存存在P为真真的情况，则则称P为永永真式。在著名的医医疗专家系系统MYCCIN中规规定，若证证据A的可可信度CFF（A

2、）=0，则意意味着 无关，CFF（A）=-1，则则意味着假假，CF（AA）=1，则则意味着真真。谓词公式GG是不可满满足的，当当且仅当对对所有的解解释G都为为假。谓词公式与与其子句集集的关系是是 包含。 利用归结原原理证明定定理时，若若得到的归归结式为 空集，则结结论成立。若C1=PQ，C22=PQ，则CC1和C22的归结式式R（C11，C2）= PP或QQ。若C1=PP(x) Q(x)，C2=P(a) R(y)，则则C1和CC2的归结结式R（CC1，C22）= （20）QQ（a）R（y）有谓词公式式G，置换换，则G= （221） ，= （222） 。有子句集SS=P(x),PP(y)，其MG

3、GU= y/xx 。在归结原理理中，几种种常见的归归结策略并并且具有完完备性的是是 删除除策略 支持集策策略 线性归归结策略状态图启发发式搜索算算法的特点点是 （227）。广度优先搜搜索算法中中，OPEEN表的数数据结构实实际是一个个 二叉树树，深度优优先搜索算算法中，OOPEN表表的数据结结构实际是是一个单链链表 。产生式系统统有三部分分组成 综综合数据库库， 知识库库和推理机机。其中推推理可分为为 正向推推理和反向推理理。 专家系统的的结构包含含人机界面面、 知识识库 ， 推理机机 ， 动态数数据库 ， 知识库库答理系统统 和解释释模块。在MYCIIN推理中中，对证据据的可信度度CF（AA

4、）、CFF（A1）、CF（AA2）之间间，规定如如下关系：CF（A）= CF（AA） ，CCF（A11A2 ）= minnCF（AA1），CCF（A22） ，CF（AA1A2 ）= maaxCFF（A1），CCF（A22） 。开发专家系系统所要解解决的基本本问题有三三个，那就就是知识的的获取、知知识的表示示和知识的的运用，知知识表示的的方法主要要有 逻辑辑表示法（谓谓词表示法法） ， 框架， 产生式式和语义网网络等，在在语义网络络表示知识识时，所使使用的推理理方法有 AKO 和 ISA MYCINN系统中使使用不确定定推理，规规则AB由专家家指定其可可信度CFF（B，AA），若AA真支持BB真

5、，则指指定CF（BB，A）（与与零比较）应应 （447） ；若A真真不支持BB真，则指指定CF（BB，A）应应 （488） 。机器学习的的含义是 指机器器面对自行行为的修正正或性能的的改善和机机器对客观观规律和发发展 。自然语言理理解不仅包包括计算机机能正确理理解人们用用自然语言言输入的信信息，能正正确回答输输入信息中中的有关问问题，而且且还包括 语法分分析 、 语用用分析 、 语句分分析 。设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)= （5

6、44） 。证据理论中中集合A的的信任区间间为1，11，则其其语意解释释为 （555） 。人工智能三三大学派是是符号主义义、联结主主义、行为为主义化成子句形形式为： 。从已知事实实出发，通通过规则库库求得结论论的产生式式系统的推推理方式是是 正向推理理 AI的英文文缩写是 Arrtifiical Inteeligeence 在谓词公公式中，紧紧接于量词词之后被量量词作用的的谓词公式式称为该量量词的辖域域 ，而而在一个量量词的辖域域中与该量量词的指导导变元相同同的变元称称为 约束变元元 ，其其他变元称称为 自由变元元 假言推理（AAB）A BB ，假言三三段论（AAB）（BC） AC 几种常用的的

7、归结策略略： 删删除策略 、支持持集策略、线形归结结策略、输输入归结策策略、单元元归结策略略在诸如走迷迷宫、下棋棋、八数码码游戏等游游戏中，常常用到的一一种人工智智能的核心心技术称为为 图搜搜索 技技术，解这这类问题时时，常把在在迷宫的位位置、棋的的布局、八八数码所排排成的形势势用图来表表，这种图图称为 状态空间间图（或状状态图） 在启发式搜搜索当中，通通常用 启发函数数 来表表示启发性性信息。 在二人博博弈问题中中，最常用用的一种分分析技术是是 极大大极小分析析法 ，这这种方法的的思想是先先生成一棵棵博弈树，然然后再计算算其倒推值值。但它的的效率较低低，因此人人们在此基基础上，又又提出了 -

8、剪枝技术术 某产生式系系统中的一一条规则：A（x）B（x），则前件是 A（x） ，后件是 B（x） 在框架和语语义网络两两种知识表表示方法中中， 框框架 适适合于表示示结构性强强的知识，而而 语义网网络 则适适合表示一一些复杂的的关系和联联系的知识识。 面面向对象 不仅仅仅是一种知知识表示方方法，也是是一种流行行的软件设设计和开发发技术。不确定性类类型按性质质分：随机性，模模糊性，不不完全性，不不一致性。在删除策略略归结的过过程中删除除以下子句句：含有纯文字的子句句;含有永真式式 的子句句;子句集集中被别的的子句 类类含的的子句。对对证据的可可信度CFF（A）、CF（AA1）、CCF（A22）

9、之间，规规定如下关关系：CFF（A）=-CF(A)、CF（AA1A2 ）= miinCFF(A1),CF(A2)、CCF（A11A2 ）=maxxCF(A1),CF(AA2)合一算法：求非空有有限具有相相同谓词名名的原子公公式集的最一般般合一产生式系统统的推理过过程中，从从可触发规规则中选择择一个规则则来执行，被被执行的规规则称为被触触发规则。P(B|AA) 表示示在规则AAB中，证证据A为真真的作用下下结论B为为真的概概率。常用的二种种盲目搜索索方法是_随机碰撞撞式搜索_和_完全全式搜索_；引入入启发式知知识来指导导OPENN表中节点点的排序可可划分为二二种方式_全局择择优搜索 和_局部部择

10、优搜索索。产生式系统统的推理可可以分为_正向推推理_和_反向推理理_两种基本本方式。知识表示的的性能应从从以下二个个方面评价价：_和_；后者者又分二个个方面_和和 _。人工智能的的表现形式式至少有_、_、_、_和_几种。目前所用的的知识表示示形式有_框框架 语义网网络 面向对对象_等。框架系统的的特性继承承功能可通通过组合应应用槽的三三个侧面来来灵活实现现，它们是是_、_和_。产生式系统统是由_综合数数据库 知识库_和_推理机_三部部分组成的的._就是所考考察判断的的事物或对对象的集合合，记为_。它的子集集构成_。证据理论是是经典概率率论的一种种扩充形式式，构成这这一理论的的函数有_基本概概念

11、全分函函数_、_信任函数数_和_似真真函数_。对于模糊不不确定性，一一般采用_模糊糊集合_或_模糊逻逻辑_来刻刻划。归结法中，可可以通过-修修改证明树树-的方法法得到问题题的解答。从已知事实实出发，通通过规则库库求得结论论的产生式式系统的推推理方式是是 正向推理理 人工智能的的远期目标标是 制造智能能机器，近期目目标是实现机机器智能。利用归结原原理证明定定理时，若若得到的归归结式为 空集 ，则结论论成立。在启发式搜搜索当中，通通常用 启发函函数 来表表示启发性性信息。二、选择题题选择题：（113小题，共共13分）1.人工智智能的含义义最早由一一位科学家家于19550年提出出，并且同同时提出一一

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

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

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

15、）。 AA. 专家家系统 BB. 机器器学习 CC. 神经经网络 D. 模式式识别！14、AII的英文缩缩写是BA)Auttomattic IIntellligeence B)Arrtifiical InteelliggenceeC)Auttomattice Infoormattion D)Arrtifiical Infoormattion15、反演演归结（消消解）证明明定理时，若若当前归结结式是（CC ）时，则则定理得证证。A)永真式式B)包孕孕式（suubsummed）C)空子子句16、从已已知事实出出发，通过过规则库求求得结论的的产生式系系统的推理理方式是（ A）A)正向推推理B)反向推

16、推理C)双向推推理17、语义义网络表达达知识时，有有向弧AKKO 链、ISA 链是用来来表达节点点知识的（CC ）。A)无悖性性 B)可扩扩充性 C)继承承性18、(AAB)A = B是CCA)附加律律B)拒收收律C)假言言推理D)USS19、命题题是可以判判断真假的的DA)祈使句句B)疑问问句C)感叹叹句D)陈述述句20、仅个个体变元被被量化的谓谓词称为AA)一阶谓谓词B)原子子公式C)二阶阶谓词D)全称称量词21、MGGU是AA)最一般般合一B)最一一般替换C)最一一般谓词D)基替替换22、19997年月，著名名的“人机大战战”，最终计计算机以33.5比22.5的总总比分将世世界国际象象棋

17、棋王卡卡斯帕罗夫夫击败，这这台计算机机被称为（AA ）A）深蓝 B）IBM C）深思思 D）蓝天天23、下列列不在人工工智能系统统的知识包包含的4个个要素中DDA)事实B)规则则C)控制制和元知识识D)关系系24、谓词词逻辑下，子子句, CC1=LC1, C2= LLC2,若是互补文文字的（最最一般）合合一置换，则则其归结式式C=（ AA ）A) C11C2B)C1C2C)C1C2D)C1 C225、或图图通常称为为DA）框架网网络 B)语义义图 C)博亦亦图 D)状态态图26、不属属于人工智智能的学派派是BA)符号主主义 B)机会会主义 C)行为为主义 D)连接接主义。27、人工工智能是一一

18、门DA)数学和和生理学 B)心理理学和生理理学 C)语言言学D)综合性性的交叉学学科和边缘缘学科 D28、下列列不在人工工智能系统统的知识包包含的4个个要素中DDA) 事实实B) 规规则C) 控控制D) 关关系29、当前前归结式是是（C）时时，则定理理得证。A) 永真真式B 包孕孕式（suubsummed）C) 空空子句30、或图图通常称为为DA）框架网网络 B)语义义图 C)博亦亦图 D)状态态图31、所谓谓不确定性性推理就是是从( BB )的初初始证据出出发，通过过运用( )的知知识，最终终推出具有有一定程度度的不确定定性但却是是合理或者者近乎合理理的结论的的思维过程程。A)不确定定性,

19、不确定定性 B)确定定性, 确定性性C)确定性性, 不确定定性 D) 不不确定性 确定性性32、C(B|A) 表示在在规则A-B中，证证据A为真真的作用下下结论B为为真的BA)可信度度 B)信度度 C)信任任增长度 D)概率率33. 谓谓词逻辑下下，子句, C1=LC1, C2= LLC2,若是互补文文字的（最最一般）合合一置换，则则其归结式式C=（ AA ）A) C11C2B)C1C2C)C1C2D)C1 C2简答题1.将下列列自然语言言转化为谓谓词表示形形式：所有的人都都是要呼吸吸的。每个学生都都要参加考考试。任何整数或或是正的或或是负的。解：设 M(x)：x是人人,H(xx)：x要要呼吸

20、。 PP(x)：x是学生生， Q(x)：xx要参加考考试。 JJ(x)：x是整数数， R(x)：xx是正数，NN(x)：x是负数数。则上述三题题就记为：(1) VV-x(MM(x)H(x)(2) VV-x(PP(x)Q(x)(3) VV-x(II(x)R(x)N(x)2.何谓“图灵实验验”？简单描描述之答：所谓“图灵实验验”，是为了了判断一台台机器是否否具备智能能的实验。实验由三三个封闭的的房间组成成，分别放放置主持人人、参与人人和机器。主持人向向参与人和和机器提问问，通过提提问的结果果来判断谁谁是人，谁谁是机器。如果主持持人无法判判断谁是人人，谁是机机器，则这这台机器具具备智能，即即所谓的“

21、智能机器器”。3.写出图图中树的结结点两个访访问序列，要要求分别满满足以下两两个搜索策策略：51423678910111213深度优先搜搜索广度优先搜搜索解：（）深深度优先搜搜索：（）广度度优先搜索索：4.试实现现一个“大学教师师”的框架，大大学教师类类属于教师师，包括以以下属性：学历（学学士、硕士士、博士）、专业（计计算机、电电子、自动动化、）、职称称（助教、讲师、副副教授、教教授）解：框架名名：类属：学历：(学学士、硕士士、博士)专业：（计计算机、电电子、自动动化、.）职称：（助助教、讲师师、副教授授、教授）5.用谓词词逻辑形式式化下列描描述“不存在最最大的整数数”解：定义谓谓词G(xx)

22、：x为为整数D(x,yy)：x大大于y形式化为：或者6.用语义义网络表示示“苹果”知识。7. 什么么是产生式式？产生式式规则的语语义是什么么？答：产生式式规则基本本形式：PPQ 或或者 IIF PP THHEN QP 是产生生式的前提提（前件），用用于指出该该产生式是是否可用的的条件Q 是一组组结论或操操作（后件件），用于于指出当前前提 P 所指示的的条件满足足时，应该该得出的结结论或应该该执行的操操作产生式规则则的语义：如果前提提P被满足足，则可推推出结论 Q 或执执行 Q 所规定的的操作8. 谓词词公式G通通过个步步骤所得的的子句集合合S，称为为G的子句句集。请写写出这些步步骤。答：(1）

23、消去去蕴含式和和等价式， (2）缩小小否定词的的作用范围围，直到其其作用于原原子公式: (3）适当当改名，使使量词间不不含同名指指导变元和和约束变元元。(4.）消消去存在量量词（形成成Skollem标准准型） (5）消去去所有全称称量词(6) 化化成合取范范式(7).适适当改名，使使子句间无无同名变元元( 8).消去合取取词，用逗号号代替，以以子句为元元素组成一一个集合SS9. （11）已知SS=P(f(x),y,gg(y),P(ff(x),z,g(x)，求MGGU（2）已知知W=PP(f(xx,g(AA,y),z),P(f(x,z),z)，求MGGU解：（1）k=0;S00=S;0=;S0不

24、不是单元素素集，求得得差异集DD0=yy,z,其中y是是变元，zz是项，且且y不在zz中出现。k=k+1=1有1=0z/yy=z/yy=zz/y，S1=S00z/yy=PP(f(xx),z,g(z),PP(f(xx),z,g(x),SS1不是单单元素集，求得差异集集D1=z,x,k=kk+1=22;2=1z/xx=zz/y,zz/x,S2=S11z/xx=PP(f(zz),z,g(z)是是单元素集集。根据求MGGU算法，MMGU=2=zz/y,zz/x（2）k=0;S00=S;0=;S0不不是单元素素集，求得得差异集DD0=gg(A,yy),z,其中z是是变元，gg(A,yy)是项，且且z不在

25、gg(A,yy)中出现现。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)/z10.（11） 证明明G是否是是F的逻辑辑结论；证:P(x)从从F变换Q(a)Q(x)从从F变换P(yy)Q(yy)结结论的否定定Q(xx)归结,x/y归结,置置换a/x得证。（2）证明明G是否是是F1、FF2的逻辑辑结论；证:PP(x)Q(x)从从F1变换换P(yy)R(y)从从F1变换换P(a)从从F2变换换S(a)从从F2变换换S(zz

26、)R(zz)结结论的否定定R(a)归结aa/yR(aa)归结aa/z归结得证.11. 11、用语义义网络表示示下列信息息：(1)胡途途是思源公公司的经理理，他355岁，住在在飞天胡同同68号清华大学与与北京大学学进行蓝球球比赛，最最后以899：1022的比分结结束。（3）将命命题：“某个学生生读过三国国演义”分别用谓谓词公式和和语义网络络表示答：谓词公公式表示：x(sttudennt(x)readd(x,三三国演义)语义网络表表示如图：（4）把语语句“每个学生生都喜欢老老师上的一一门课。”表示为语语义网络。（5）请把把下列命题题表示的事事实用一个个语义网络络表示出来来。 1)树树和草都是是植物

27、； 2)树树和草都是是有根有叶叶的； 3)水水草是草，且且长在水中中； 4)果果树是树，且且会结果； 5)樱樱桃树是一一种果树，它它结樱桃。（6）用语语义网络表表示下列事事实姚明是一位位年近半百百的男教师师，中等身身材，他在在本学年第第二学期给给计算机专专业学生讲授“人工智能能”课程。该该课程是一一门选修课课，比较难难。13. 图图示博弈树树，其中末末一行的数数字为假设设的估值，请请利用-剪枝技术术剪去不必必要的分枝枝。（在节节点及边上上直接加注注释）14. 设设有如下关关系：（11）如果xx是y的父父亲，y又又是z的父父亲，则xx是z的祖祖父；（2）老李李是大李的的父亲；（33）大李是是小李

28、的父父亲；问上上述人员中中谁和谁是是祖孙关系系？解:现定义义如下谓词词F(x,yy)- x是y的的父亲;G(x,zz)- x是y的的祖父;用谓词逻辑辑表示已知知与求解:(1) F(x,y)F(y,z)G(x,z)(2) FF(L,DD)(3) FF(D,XX)(4) GG(u,vv),u=?,v=?其中,L表表示老李,D表示大大李,X表表示小李。先证存在祖祖孙关系 F(x,y)F(yy,z)G(x,z)从(11)变换 F(LL,D)从从(2)变变换 F(DD,X)从从(3)变变换 G(u,v)结结论的否定定 F(D,z)G(L,z)归结,置置换L/x,D/y G(LL,X)归结,置置换X/z

29、归结,置置换L/u,X/v得证,说明明存在祖孙孙关系。为了求解用用一个重言言式 G(u,v)G(u,v) 用重重言式代替替结论的否否定,重言言式恒为真真 F(D,z)G(L,z)归结,置置换L/x,D/y G(LL,X)归结,置置换X/z G(LL,X)归结,置置换L/u,X/v得结果:LL是X的祖祖父，即老老李是小李李的祖父。15解释下下列模糊性性知识：1) 张三三，体型，（胖胖，0.99）。2) (患患者，症状状，(头疼疼，0.995) ) (患者者，症状，(发烧，11.1) ) (患者，疾疾病，(感感冒，1.2) )答：（1）表表示：命题题“张三比较较胖” （22）解释为为：如果患患者有

30、些头头疼并且发发高烧，则则他患了重重感冒。16. 简简单阐述产产生式系统统的组成。答：（1）产产生式规则则库：描述述相应领域域知识的产产生式规则则集（2）数据据库：（事事实的集合合）存放问问题求解过过程中当前前信息的数数据结构（初初始事实、外部数据据库输入的的事实、中中间结果事事实和最后后结果事实实）（3）推理理机：（控控制系统）是是一个程序序，控制协协调规则库库与数据库库的运行，包包含推理方方式和控制制策略。17. 试试用线性消消解策略证证明：子句句集S= PQ, PR, QR, R 是可可消解的。18广度优优先搜索与与深度优先先搜索各有有什么特点点？19.语义义网络可以以表达事物物之间的哪

31、哪些关系？20.假设设已知下列列事实： （1）超市市（Suppermaarkett）卖（Saail）的的商品(GGoodss)便宜(Chheap)。 （2）王（Waang）买买（Buyy）需要的的（Wannt）便宜宜商品。 （3）自行行车（Biicyclle）是商商品且超市市卖自行车车。 （4）王需需要自行车车。 （5）赵（Zhhao）跟跟随王买同同样的商品品。 请应用归结结反演证明明方法回答答以下问题题： （1）王买买自行车吗吗？ （2）赵买买什么商品品？ 21.已知知一个使用用可信度方方法的推理理网络如图图所示，其其证据的可可信度均标标示在图中中。推理规规则的可信信度分别为为：ABH, 0

32、0.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. 什什么是置换换？置换是是可交换的的吗？答: 通常常用有序对对的集合sst11/v1，tt2/v22，tn/vn来来表示任一一置换，置置换集的元元素ti/vi的含含义是表达达式中的变变量vi处处处以项tti来替换换

33、，用s对对表达式EE作置换后后的例简记记为Es。一般来说说，置换是是不可交换换的，即两两个置换合合成的结果果与置换使使用的次序序有关。25. 给给19九九个数字排排一个序列列，使得该该序列的前前n(n=1,.,9) 个数字字组成的整整数能被nn整除。(1)、讨论哪哪些知识可可以帮助该该问题的求求解。(2)、用产生式式系统描述述该问题.答；如下的的知识可以以帮助求解解该问题：（1）序序列中，偶偶数在偶数数位置，奇奇数在奇数数位置；（22）第五个个数为5。综合数据据库：用一一个1到99的序列表表示：N = xx，其中中x为1到到9的数字字之一。规规则集：rr1: IIF leen(N)=4 TTH

34、EN x5rr2: IIF leen(N)为偶数aand nn=In(1, 33, 7, 9) THENN xnr3: IF llen(NN)为奇数数and n=Inn(2, 4, 66, 8) THEEN xxnn其中llen(NN)为求序序列的长度度，In(a, bb, c, d)为为取a、bb、c、dd之一。初初始状态：结束束条件：得得到的序列列N前i个个数组成的的整数能被被i整除26. .剪剪枝的条件件是什么？答: 剪剪枝：若任任一极小值值层节点的的值小于于或等于它它任一先辈辈极大值节节点的值值，即（先先辈层）（后继继层），则则可中止该该极小值层层中这个MMIN节点点以下的搜搜索过程。

35、这个MIIN节点最最终的倒推推值就确定定为这个值。剪剪枝：若任任一极大值值层节点的的值大于于或等于它它任一先辈辈极小值层层节点的值，即（后继层层）（先先辈层），则则可以中止止该极大值值层中这个个MAX节节点以下的的搜索过程程。这个MMAX节点点的最终倒倒推值就确确定为这个个值。28、人工工智能主要要有哪几种种研究途径径和技术方方法，简单单说明之。答：（）符符号智能：主要以符符号知识为为基础，通通过符号推推理进行问问题求解而而实现的智智能，主要要包括知识识工程和符符号处理技技术；（）计算算智能：是是以数据计计算为基础础，通过数数值计算进进行问题求求解而实现现的智能，包包括人工神神经网络，进进化计

36、算，模模糊技术等等。1、（1）将将下列谓词词公式化成成子句集答：（2）把下下列谓词公公式分别化化成相应的的子句集：x(yP(x,y)y(Q(x,y)RR(x,yy)解：x(yyP(x,y)y(Q(x,y)R(xx,y)=x(yP(x,y)y(Q(xx,y)R(x,y)=x(yP(xx,y)y(Q(x,y)R(x,y)=x(yP(x,y)y(QQ(x,yy)RR(x,yy)=x(yP(x,y)y(QQ(x,yy)RR(x,yy).改名）=x(yP(x,y)z(QQ(x,zz)RR(x,zz)=x(yP(x,y)z(QQ(x,zz)RR(x,zz).y=ff(x),z=g(x)消去去存在量词词y,

37、z=x(P(xx,f(xx)(Q(x,g(x)RR(x,gg(x)=x(P(x,f(x)(Q(xx,g(xx)(P(x,f(x)R(xx,g(xx)从而谓词公公式的子句句集是P(xx,f(xx)(Q(x,g(x)，P(xx,f(xx)R(x,g(x)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）。ABEDC4532343.用加权权图的启发发式搜索算算法（不能能用Dijjkstrra算法）求求解下列问问题：下图图是一个交交通图，设设A是出发发地，E是是目的地，边边上的数字字表示两城城

38、市之间的的交通费。求从A到到E最小费费用的旅行行路线，画画出搜索树树，画出CCloseed表和OOpen表表的变化过过程。4.用标准准逻辑（经经典逻辑，谓谓词逻辑）的的子句集表表示下述刑刑侦知识，并并用反演归归解的线性性策略证明明结论现定义如下下谓词（其其项变量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）

39、IV. 如如果Pauul喜欢某某物则Joohn 也也喜欢某物物。V. 如果果某人是贼贼，而且他他喜欢某物物，则他就就可能会偷偷窃该物。 6.求证结结论:Joohn可能能会偷窃了了什么？即即求证目标标：mayy-steeal(JJohn,Z), Z=?（要要求将求证证目标作为为顶子句，按按线性策略略进行归结结推理，注注明每次求求归结式所所进行的置置换及其父父子句的编编号）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，

40、并并且CF(A1)=CF(AA2)=CCF(A33)=1, 并且初初始时对BB1，B22一无所知知。根据SShorttlifffe的确定定性理论（可可信度方法法），求证证据B1，BB2的可信信度在执行行规则R11，R2，RR3后的更更新值CFF(B1),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(C

41、331) = 0.99，CF(CC32) = 0.5，CF(CC33) =0.77； 请应用MYYCIN的的确定性方方法求出CCF(H)。 8.设有AA，B，CC三人中有有人从不说说真话，也也有人从不不说假话，某某人向这三三人分别提提出同一个个问题：谁谁是说谎者者？A 答答：“B和和C都是说说谎者”；B答：“A和C都都是说谎者者”；C答答：“A和和B中至少少有一个是是说谎者”。求谁是是老实人，谁谁是说谎者者？（155分）解：设用(x)表表示x说真真话。如果说的是真真话，则有有如果说的是假假话，则有有：对和和说的话话作相同的的处理，可可得：把上面面这些公式式化成子句句集，得到到：下面首首先求谁是

42、是老实人。把并入得到。即即比多如如下一个子子句：应用消消解原理对对进行行消解：所以，是老实人人，即从从不说假话话除此之之外，无论论如何对进进行消解，都都推不出AANSWEER(B)和ANSSWER(A)。下面来来证明和和不是老老实人。设不不是老实人人，则有把把它否定并并入中，得得到子句集集，即比多多如下一个个子句： 应用消消解原理对对2进行行消解：所以，不是老实实人。同理，可可以证明也不是老老实人。9. 1）设设已知:(1)能阅阅读者是识识字的;(2)海豚豚不识字;(3)有些些海豚是聪聪明的;求证:有些些聪明者并并不能阅读读.证:定义如如下命题:R(x):x能阅读读; L(x):x识字; I(

43、x):x是聪明明的; D(x):x是海豚豚; 把已知条件件及求证结结论翻译成成谓词公式式为x(R(xx)L(x).已知知 x(D(xx)LL(x).已已知 x(D(xx)I(x).已知知 x(I(xx)RR(x).求求证结论 将已知条件件,求证结结论的反化化成子句集集R(xx)L(x)D(yy)L(y)D(a)I(a)I(zz)R(z)L(aa).22,3归结结a/yR(aa).11,6归结结a/xR(a).4,5归结a/z.77,8归结结得证.2）利用谓谓词逻辑表表示下列知知识（包括括已知和结结论），然然后化成子子句集： （1）凡是是清洁的东东西就有人人喜欢；（2）人们们都不喜欢欢苍蝇求证：

44、苍蝇蝇是不清洁洁的。证：现定义义如下谓词词L(x,yy)-某某人x喜欢欢某物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得证。10. 八八数码游戏戏，初始棋棋局和目标标棋局如图图，定义启启发函数hh（x）表表示某状态态下与目标标数码不同同的位置个个数，用全全局择优法法画出搜索索的过程。初始状态：，目标状状态：解：11

45、. 张张某被盗，公公安局派了了五个侦察察员去调查查。研究案案情时，侦侦察员说说：“赵与与钱中至少少有一人作作案”；侦侦察员说说：“钱与与孙至少有有一人作案案”；侦察察员说：“孙与李李中至少有有一个作案案”；侦察察员说“赵与孙至至少一个与与案无关”；侦察员员说“钱钱与李中至至少有一人人与此案无无关”。如如果这五个个侦察员的的话都是可可信的，试试用消解原原理推理求求出谁是盗盗窃犯。解：设用TT(x)表表示x是作作案者，则则侦侦察员A的的话可表示示：T(赵赵)T(钱钱)侦侦察员B的的话可表示示：T(钱钱)T(孙孙)侦侦察员C的的话可表示示：T(孙孙)T(李李)侦侦察员D的的话可表示示：T(赵赵) T

46、(孙孙)侦侦察员E的的话可表示示：T(钱钱) T(李)上面五五个组成子子句集S，求求谁是作案案者，把TT(x)AANSWEER(x)并入S11得到。即即比S1多出如下下一个子句句：T(xx)ANSSWER(x)然后利用消消解原理对对S1进行消解解可得答案案：钱和孙孙是作案者者。12. 某某企业欲招招聘一个JJAVA程程序员，定定义如下产产生式规则则(要求)：r1: IIF有工作作经验 oor (本本科以上学学历 aand 有有相关知识识背景 tthen 录用（00.9)r2:IFF 工作两两年以上 and 作过相关关工作 tthen 有工作经经验 （00.8）r3:IFF 学过数数据结构 an

47、d 学过JAAVA aand 学学过数据库库 andd 学过过软件工程程 theen 有相相关知识背背景(0.9)r4:学过过数据结构构（相关课课程的成绩绩/1000 ）r5:学过过JAVAA（相关课课程的成绩绩/1000 ）r6:学过过数据库（相相关课程的的成绩/1100 ）r7:学过过软件工程程（相关课课程的成绩绩/1000 ）r8:做过过相关工作作： JJAVA程程序员：11，项目经经理：1，数数据库开发发工程师：0.9，数数据库管理理员：0.7,网络络管理员：0.6，客客服人员：0.4设有一本科科毕业生甲甲，其相关关课程的成成绩为数据据结构=885,JAAVA=880,数据据库=400

48、,软件工工程=900另有一社会会招聘人员员乙，参加加工作三年年，曾做过过数据库管管理员和数数据库开发发人员根据确定性性理论，问问该公司应应该招聘谁谁？如果你你是该本科科生，为了了能在招聘聘中胜出，你你应该加强强哪门课程程，并使该该门课程的的成绩至少少达到多少少？解：（1）对对于本科毕毕业生，由由r4，rr5，r66，r7：CF（学过过数据结构构）=0.6CF（学过过JAVAA）=0.8CF（学过过数据库）=0.4CF（学过过软件工程程）=0.9由r3，CF（有相相关知识背背景）=00.9*mmin00.85,0.8,0.4,0.9=0.336CF（本科科学历）=1由r1，CF（录用用）=0.9

49、*miin0.36，11=0.324（2）对于于社会招聘聘人员，由由r8，CF（相关关工作）=0.9CF（工作作两年以上上）=1由r2，CF（有工工作经验）=0.8*min1，0.9=00.72由r1，CF（录用用）=0.9*0.72=00.6488所以，该公公司应录用用社会招聘聘人员乙。（3）可以以看出，应应该加强数数据库的学学习，并使使该门课程程达到800分以上。13. 某某问题由下下列公式描描述：试用归结法法证明(xx)R(xx)；14. 下下图所示博博弈树，按按从左到右右的顺序进进行-剪枝搜索索，试标明明各生成节节点的到推推值，何处处发生剪枝枝，及应选选择的走步步。10分分15.剪枝枝

50、方法只是是极小极大大方法的一一种近似，剪剪枝可能会会遗漏掉最最佳走步。这种说法法是否正确确？不正确。 剪枝枝方法利用用已经搜索索的信息，剪剪掉哪些对对于搜索最最佳走步没没有意义的的分枝，其其找到的最最佳走步与与极小极大大方法找到到的结果是是一样的。而且搜索索效率有很很大提高。什么是人工工智能？人人工智能与与计算机程程序的区别别？答：AI是是研究如何何制造人造造的智能机机器或智能能系统来模模拟人类智智能活动的的能力以延延伸人类智智能的科学学，它与计计算机程序序的区别是是：AI研究的的是符号表表示的知识识而不是数数值数据为为研究对象象AI采用启启发式搜索索方法而不不是普通的的算法控制结构与与知识是

51、分分离的允许出现不不正确的答答案化下列逻辑辑表达式为为不含存在在量词的前前束范式答：求下列谓词词公式的子子句集答：所以子句集集为：若有梯形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

52、,u,v)xyuvvP(xx,y,uu,v)E(x,y,v,u,v,y).平行行则内错交交相等子句：T(a,bb,c,dd).已知子句：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

53、,d/vvNIL（4）和和（6）归归结根据归结原原理得证。求子句集的的MGU解：k=00;S0=S;0=;S0不不是单元素素集，求得得差异集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不是单单元

54、素集，求求得差异集集D2=g(y),u,k=k+1=33=22g(yy)/u=a/z,h(a,u)/xg(yy)/u=a/z,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表

55、的变变化过程，然然后根据ccloseed表找出出最佳路径径。解：OPPEN表扩展节点父节点A（0）NULLB（31）AC（28）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日电昨日，沙尘尘暴袭击韩韩国汉城，机机场与高速速公路被迫迫关闭，造造成的损失失不详。韩韩国官方示示，如果需需要直接损损失情况，可可待一周后后的官方公公布的字。此次沙尘尘暴起因中中日韩专家家认为是由由于中国内内蒙古区过过分垦牧破破坏

56、植被所所致。提示：分析析概括用下下划线标出出的要点，经经过概念化化形成槽（SSlot）并并拟出槽的的名称，选选填侧面（fface）值值。侧面包包含“值（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：解：FRA

57、MEE：沙尘暴Slot11：时间Valuee：3 月15 日Defauult：If-neeededd：If-addded：Slot22：地点Valuee：韩国汉城城Defauult：If-neeededd：If-addded：Slot33：损失Valuee：不详Defauult：If-neeededd：一周后官官方公布数数字If-addded：Slot44：起因Defauult：中中国内蒙古古区1. (55分)什么么是“知识工程程”？它对人人工智能的的发展有何何重要作用用？2. (110分)请请用相应的的谓词公式式表示下述述语句：（1）有的的人喜欢足足球，有的的人喜欢排排球，有的的人既喜欢欢足

58、球又喜喜欢排球。（2）不是是每一个人人都喜欢游游泳。（3）如果果没有利息息，那么就就没有人愿愿意去存钱钱。（4）对于于所有的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）计算算机系的每每间学生宿宿舍都有一一台联网的的计算机。（4）李明明喜欢在宿宿舍的计算算机上浏览览。5. (110分)已已知下述事事实：（1）小李李只喜欢较较容易的课课程。（2）工程程类课程是是较难的。（3）PRR系的所有有课程都是是较容易的的。（4）PRR150是是PR系的的一门课程程。应用归结演演绎推理回回答问题：小李喜欢