人工智能经典考试试题及答案2041305.docx

一、选择题(每题1分，共15分)1、AI的英文缩写是A)Automatic Intelligence B)Artifical IntelligenceC)Autommaticee Infoormatiion D)Arttificaal Infformattion2、反演归结（消消解）证明定定理时，若当当前归结式是是（ ）时，则则定理得证。A)永真式B)包孕式式（subssumed）C)空子句3、从已知事实实出发，通过过规则库求得得结论的产生生式系统的推推理方式是A)正向推理B)反向推理理C)双向推理理4、语义网络表表达知识时，有有向弧AKOO 链、ISSA 链是用用来表达节点点知识的（ ）。A)无悖性 B)可扩充充性 C)继承性性5、(AB)A => B是A)附加律B)拒收律律C)假言推推理D)US6、命题是可以以判断真假的的A)祈使句B)疑问句句C)感叹句句D)陈述句句7、仅个体变元元被量化的谓谓词称为A)一阶谓词B)原子公公式C)二阶谓谓词D)全称量量词8、MGU是A)最一般合一一B)最一般般替换C)最一般般谓词D)基替换换9、1997年年月，著名名的“人机大战”，最终计算算机以3.55比2.5的的总比分将世世界国际象棋棋棋王卡斯帕帕罗夫击败，这这台计算机被被称为（ ）A）深蓝 B）IBM C）深思 D）蓝天10、下列不在在人工智能系系统的知识包包含的4个要要素中A)事实B)规则C)控制和和元知识D)关系11、谓词逻辑辑下，子句, C1=LLC1, C2= ¬¬ LC2, 若是互补文字字的（最一般般）合一置换换，则其归结结式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C212、或图通常常称为A）框架网络 B)语义图图 C)博亦图图 D)状态图图13、不属于人人工智能的学学派是A)符号主义 B)机会主主义 C)行为主主义 D)连接主主义。14、人工智能能的含义最早早由一位科学学家于19550年提出，并并且同时提出出一个机器智智能的测试模模型，请问这这个科学家是是A)明斯基 B).扎德德 C)图林 D)冯.诺诺依曼15.要想让机机器具有智能能，必须让机机器具有知识识。因此，在在人工智能中中有一个研究究领域，主要要研究计算机机如何自动获获取知识和技技能，实现自自我完善，这这门研究分支支学科叫（ ）。A)专家系统 B)机器学学习 C)神经网网络 D)模式识识别二、填空题(每每空1.5分分，共30分分)1、不确定性类类型按性质分分：，。2、在删除策略略归结的过程程中删除以下下子句：含有有的子句;含含有的的子句;子句句集中被别的的子句的子句。3、对证据的可可信度CF（AA）、CF（AA1）、CFF（A2）之之间，规定如如下关系：CF（A）=、CFF（A1A2 ）=、CF（A1AA2 ）=4、图：指由和组成的的网络。按连连接同一节点点的各边的逻逻辑关系又可可分为和。5、合一算法：求非空有限限具有相同谓谓词名的原子子公式集的6、产生式系统统的推理过程程中，从可触触发规则中选选择一个规则则来执行，被被执行的规则则称为。7、P(B|AA) 表示在在规则中中，证据A为为真的作用下下结论B为真真的。8、人工智能的的远期目标是是，近期目标是。三、简答及计算算题(每题55分，共255分)1、填写下面的的三值逻辑表表。其中T，F，UU分别表示真真，假，不能能判定2、什么是产生生式？产生式式规则的语义义是什么？3、谓词公式GG通过个步步骤所得的子子句集合S，称称为G的子句句集。请写出出这些步骤。4、已知S=P(f(xx),y,gg(y),P(f(xx),z,gg(x)，求MGUU5、证明G是否否是F的逻辑辑结论；四、应用题(共共30分)1、用语义网络络表示下列信信息：(1)胡途是思思源公司的经经理，他355岁，住在飞飞天胡同688号(2)清华大学学与北京大学学进行蓝球比比赛，最后以以89：1002的比分结结束。答：2、图示博弈树树，其中末一一行的数字为为假设的估值值，请利用-剪枝技术剪剪去不必要的的分枝。（在在节点及边上上直接加注释释）3、设有如下关关系：（1）如如果x是y的的父亲，y又又是z的父亲亲，则x是zz的祖父；（22）老李是大大李的父亲；（3）大李李是小李的父父亲；问上述述人员中谁和和谁是祖孙关关系？答案：一、1、 B 2、CC3、A4、C5、C6、 D 7、A8、A9、A10、D11、A122、D13、B14、C15、B二、1、随机性性，模糊性，不不完全性，不不一致性2、纯文字，永永真式，类含含3、-CF(AA)，minnCF(AA1),CFF(A2)，maxCF(A11),CF(A2)4、节点，有向向边，或图，与与或图5、最一般合一一（MGU）6、被触发规则则7、AB，概概率8、制造智能机机器，实现机机器智能三、1、2、产生式规则则基本形式：PQ 或者者 IF P TTHEN QP 是产生式的的前提（前件件），用于指指出该产生式式是否可用的的条件Q 是一组结论论或操作（后后件），用于于指出当前提提 P 所指指示的条件满满足时，应该该得出的结论论或应该执行行的操作产生式规则的语语义：如果前前提P被满足足，则可推出出结论 Q 或执行 QQ 所规定的的操作3、 1）消去去蕴含式和等等价式，<-> 2）缩小否定词词的作用范围围，直到其作作用于原子公公式: 3）适当改名，使使量词间不含含同名指导变变元和约束变变元。 4.）消去存在在量词（形成成Skoleem标准型） 5）消去所有全全称量词 6) 化成合取取范式7).适当改改名，使子句句间无同名变变元 8).消去合合取词，用逗号代代替，以子句句为元素组成成一个集合SS4、解：k=00;S0=SS;0=;S0不是是单元素集，求求得差异集DD0=y,z,其中中y是变元，zz是项，且yy不在z中出出现。k=kk+1=1有1=0··z/y=·z/yy=z/y，S1=S0·z/y=P(f(x),z,g(z),P(f(x),z,g(xx),SS1不是单元元素集，求得差异集D11=z,xx,k=kk+1=2;2=1·z/x=z/yy,z/x,S2=S1·z/x=P(f(z),z,gg(z)是单单元素集。根据求MGU算算法，MGUU=2=z/y,z/xx5、证:P(x)从FF变换Q(a)QQ(x)从FF变换P(y)Q(y)结论论的否定Q(x)归结,x/y归结,置置换a/xx得证。四、 2、3、解:现定义义如下谓词F(x,y)- x是y的的父亲;G(x,z)- x是y的的祖父;用谓词逻辑表示示已知与求解解:(1) F(x,y)F(y,zz)G(x,zz)(2) F(LL,D)(3) F(DD,X)(4) G(uu,v),uu=?,v=?其中,L表示老老李,D表示大李李,X表示小李李。先证存在祖孙关关系 F(x,y)F(y,z)G(x,zz)从从(1)变换换 F(L,DD)从(2)变换 F(D,XX)从(3)变换 G(u,v)结论论的否定 F(D,z)G(L,zz)归结,置置换L/xx,D/y G(L,XX)归结,置置换X/zz 归结,置置换L/uu,X/v得证,说明存在在祖孙关系。为了求解用一个个重言式 G(u,v)G(u,vv) 用重言式代代替结论的否否定,重言式式恒为真 F(D,z)G(L,zz)归结,置置换L/xx,D/y G(L,XX)归结,置置换X/zz G(L,XX)归结,置置换L/uu,X/v得结果:L是XX的祖父，即即老李是小李李的祖父。三、简答及计算算题(每题55分，共255分)1、解释下列模模糊性知识：1) 张三，体体型，（胖，00.9）。2) (患者，症症状，(头疼疼，0.955) ) (患者，症症状，(发烧烧，1.1) ) (患者，疾疾病，(感冒冒，1.2) )答：2、简单阐述产产生式系统的的组成：答：3、补齐产生式式系统与图搜搜索的对比表表答： 4、已知W=P(f(xx,g(A,y),zz),P(ff(x,z),z)，求求MGU解：5、证明G是否否是F1、FF2的逻辑结结论；四、应用题(共共30分)1、将命题：“某个学生读读过三国演义义”分别用谓词词公式和语义义网络表示2、图示博弈树树，其中末一一行的数字为为假设的估值值，请利用-剪枝技术剪剪去不必要的的分枝。（在在节点及边上上直接加注释释）3、利用谓词逻逻辑表示下列列知识（包括括已知和结论论），然后化化成子句集： （1）凡是清洁洁的东西就有有人喜欢；（2）人们都不不喜欢苍蝇求证：苍蝇是不不清洁的。一、1、D22、C3、C4、D5、A6、A7、DD8、C9、D10、B11、A112、B13、A.14、D15、B二、1、图林2、正向推推理3、Arttificaal Inntelliigencee4、随机性，模模糊性，不完完全性，不一一致性5、纯文字，永永真式，类含含6、-CF(AA)，minnCF(AA1),CFF(A2)，maxCF(A11),CF(A2) )7、节点和有向向边，或图，与与或图8、最一般般合一（MGGU）9、深蓝110、制造智智能机器，实实现机器智能能三、1、答：11）表示：命命题“张三比较胖胖” 2）解解释为：如果果患者有些头头疼并且发高高烧，则他患患了重感冒。2、答：1）产产生式规则库库：描述相应应领域知识的的产生式规则则集2）数据库：（事事实的集合）存存放问题求解解过程中当前前信息的数据据结构（初始始事实、外部部数据库输入入的事实、中中间结果事实实和最后结果果事实）3）推理机：（控控制系统）是是一个程序，控控制协调规则则库与数据库库的运行，包包含推理方式式和控制策略略。3、答：4、解：k=00;S0=SS;0=;S0不是是单元素集，求求得差异集DD0=g(A,y),z,其其中z是变元元，g(A,y)是项，且且z不在g(A,y)中中出现。k=k+1=11有1=0··g(A,y)/z=·g(A,y)/z=g(AA,y)/zz，S1=S0·g(A,yy)/z=P(f(x,g(AA,y),g(A,yy),SS1是单元素素集。根据求MGU算算法，MGUU=1=g(A,y)/z5、证:PP(x)Q(x)从FF1变换P(y)R(y)从FF1变换P(a)从FF2变换S(a)从FF2变换S(z)R(z)结论论的否定R(a)归结aa/yR(a)归结aa/z归结得证.四、1、答：谓谓词公式表示示：$x(studdent(xx)read(x,三国演演义)语义网络表示如如图：2、3、证：现定义义如下谓词L(x,y)-某人x喜欢欢某物y；P(y)- 某某物y是清洁洁的东西(1) yx(P(y)L(x,yy) => P(y)L(f(y),yy)(2) x(L(x,Fly) => L(x,Fly)(3) P(FFly) 结论的的反(4) L(ff(Fly), Fly) (11)(3)归归结,置换Fly/yy(5) (22)(4)归归结,f(Fly)/x得证。试题部分：一、选择题（115小题，共共15分）1、97年月月，著名的“人机大战”，最终计算算机以3.55比2.5的的总比分将世世界国际象棋棋棋王卡斯帕帕罗夫击败，这这台计算机被被称为（ ）A）深蓝 B）IBM C）深思 D）蓝天2、下列不在人人工智能系统统的知识包含含的4个要素素中A)事实B)规则C)控制和和元知识D)关系3、谓词逻辑下下，子句, C1=LC1, C2= ¬¬ LC2, 若是互补文字字的（最一般般）合一置换换，则其归结结式C=（ ）A) C1C2B)C1C2C)C1C2D)C1 C24、或图通常称称为A）框架网络 B)语义图图 C)博亦图图 D)状态图图5、不属于人工工智能的学派派是A)符号主义 B)机会主主义 C)行为主主义 D)连接主主义。6、人工智能的的含义最早由由一位科学家家于19500年提出，并并且同时提出出一个机器智智能的测试模模型，请问这这个科学家是是A)明斯基 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)信度 C)信任增增长度 D)概率11、AI的英英文缩写是A)Autommatic Intellligennce B)Arttificaal InttelliggenceC)Autommaticee Infoormatiion DD)Artiificall Infoormatiion12、反演归结结（消解）证证明定理时，若若当前归结式式是（ ）时时，则定理得得证。A)永真式B)包孕式式（subssumed）C)空子句13、在公式中中"y$xp(x,y)，存存在量词是在在全称量词的的辖域内，我我们允许所存存在的x可能能依赖于y值值。令这种依依赖关系明显显地由函数所所定义，它把把每个y值映映射到存在的的那个x。这这种函数叫做做（ ） A. 依赖函数 B. Skoleem函数 C. 决定函数 D. 多元函数数14、子句PPÚQ和P经过过消解以后，得得到（ ） A. P B. Q C. PD. PÚQ15、如果问题题存在最优解解，则下面几几种搜索算法法中，（ ）必然可以以得到该最优优解。A. 广度优先搜索B. 深度优先搜索C. 有界深度优先搜搜索D. 启发式搜搜索二、填空题（共共30分）：1.在谓词公式式中，紧接于于量词之后被被量词作用的的谓词公式称称为该量词的的 ，而在一一个量词的辖辖域中与该量量词的指导变变元相同的变变元称为 ，其其他变元称为为 2、假言推理（AA®B）ÙAÞ ，假言三三段论（A®BB）Ù（B®C）Þ 3、几种常用的的归结策略： 、支持集集策略、线形形归结策略、输输入归结策略略、单元归结结策略4、在诸如走迷迷宫、下棋、八八数码游戏等等游戏中，常常用到的一种种人工智能的的核心技术称称为 技技术，解这类类问题时，常常把在迷宫的的位置、棋的的布局、八数数码所排成的的形势用图来来表，这种图图称为 5.在启发式搜搜索当中，通通常用 来表表示启发性信信息。6.在二人博弈弈问题中，最最常用的一种种分析技术是是 ，这种方方法的思想是是先生成一棵棵博弈树，然然后再计算其其倒推值。但但它的效率较较低，因此人人们在此基础础上，又提出出了 7、不确定性类类型按性质分分：，。8、在删除策略略归结的过程程中删除以下下子句：含有有的子句;含有的子句;子句集中被被别的子句的子子句。9、对证据的可可信度CF（AA）、CF（AA1）、CFF（A2）之之间，规定如如下关系：CF（A）=、CF（AA1A2 ）=、CF（A1AA2 ）=。10、图：指由由组成的的网络。按连连接同一节点点的各边的逻逻辑关系又可可分为和和。11、合一算法法：求非空有有限具有相同同谓词名的原原子公式集的的。12、开发专家家系统所要解解决的基本问问题有三个，那那就是知识的的获取、知识识的表示和 ，知知识表示的方方法主要有 ， ， 和语义网网络等，在语语义网络表示示知识时，所所使用的推理理方法有 和和 三、简答与应用用题1、 谓词逻辑形式化化下列描述“不存在最大的的整数”(4分)2.剪枝枝的条件是什什么？3、某问题由下下列公式描述述：(1)、试用归归结法证明(x)R(xx)；4. 专家系统统的一般步骤骤有哪些？专专家系统的开开发与一般的的软件系统开开发相比较，有有哪些共同点点和特点？（77分）5.何谓“图灵灵实验”？简单描述述之（5分）6、设有如下关关系：（1）如如果x是y的的父亲，y又又是z的父亲亲，则x是zz的祖父；（22）老李是大大李的父亲；（3）大李李是小李的父父亲；问上述述人员中谁和和谁是祖孙关关系？(100分)7. 给199九个数字排排一个序列，使使得该序列的的前n(n=1,.,9) 个个数字组成的的整数能被nn整除。(1)、讨讨论哪些知识识可以帮助该该问题的求解解。(22)、用产生生式系统描述述该问题. (15分)答案部分一、选择题ADADBCBADBBCBBA二、填空题1、辖域 约约束变元 自由由变元 2、 B A®C 3、删除策略 4、图搜索 状态空间间图（或状态态图） 5、启发函数 6、极大极小分分析法 a-b剪枝技术 7、随机性 模糊性 不一致性性 不确定性性 8、纯文字 永真 类含 9、CF（AA） minCF（A11），CF（AA2） maxCCF（A1），CCF（A2） 10、或图 与或图11、最一般合合一12、知识的运运用 逻辑表示示法（谓词表表示法） 框架 产生式 AKO ISA 三、简答及应用用题1、定义谓词GG(x)：xx为整数D(x,y)：x大于y形式化为：或者2、回答: 剪枝：若任任一极小值层层节点的值值小于或等于于它任一先辈辈极大值节点点的值，即即（先辈层层）（后后继层），则则可中止该极极小值层中这这个MIN节节点以下的搜搜索过程。这这个MIN节节点最终的倒倒推值就确定定为这个值值。剪枝：若任一极大大值层节点的的值大于或或等于它任一一先辈极小值值层节点的值，即（后后继层）（先辈层），则则可以中止该该极大值层中中这个MAXX节点以下的的搜索过程。这这个MAX节节点的最终倒倒推值就确定定为这个值值。3、化子句集如如下：4、答：（）专专家系统与一一般的软件系系统开发无异异，其开发过过程同样要遵遵循软件工程程的步骤和原原则，即也要要进行系统分分析、系统设设计等几个阶阶段的工作。（）但由于它它是专家系统统，而不是一一般的软件系系统，所以，又又有其独特的的地方，主要要包括以下几几个步骤：） 系统总体分析与与设计；） 知识获取；） 知识表示与知识识描述语言设设计；） 知识库设计、知知识库管理系系统设计；） 推理机与解释模模块设计；） 总控与界面设计计） 编程与调试） 测试与评价） 运行与维护（）可以看出出它有如下特特点：） 知识获取和知识识表示设计是是一切工作的的起点；知识表示与知识识描述语言确确定后，其他他设计可同时时进行；5、答：所谓“图灵实验”，是为了判判断一台机器器是否具备智智能的实验。实实验由三个封封闭的房间组组成，分别放放置主持人、参参与人和机器器。主持人向向参与人和机机器提问，通通过提问的结结果来判断谁谁是人，谁是是机器。如果果主持人无法法判断谁是人人，谁是机器器，则这台机机器具备智能能，即所谓的的“智能机器”。6、解:现定义义如下谓词F(x,y)- x是y的的父亲;G(x,z)- x是y的的祖父;用谓词逻辑表示示已知与求解解:(1) F(x,y)F(y,zz)G(x,zz)(2) F(LL,D)(3) F(DD,X)(4) G(uu,v),uu=?,v=?其中,L表示老老李,D表示大李李,X表示小李李。先证存在祖孙关关系 F(x,y)F(y,z)G(x,zz)从从(1)变换换 F(L,DD)从(2)变换 F(D,XX)从(3)变换 G(u,v)结论论的否定 F(D,z)G(L,zz)归结,置置换L/xx,D/y G(L,XX)归结,置置换X/zz 归结,置置换L/uu,X/v得证,说明存在在祖孙关系。为了求解用一个个重言式 G(u,v)G(u,vv) 用重言式代代替结论的否否定,重言式式恒为真 F(D,z)G(L,zz)归结,置置换L/xx,D/y G(L,XX)归结,置置换X/zz G(L,XX)归结,置置换L/uu,X/v得结果:L是XX的祖父，即即老李是小李李的祖父。7、如下的知识识可以帮助求求解该问题：（1）序列列中，偶数在在偶数位置，奇奇数在奇数位位置；（2）第第五个数为55。综合数据据库：用一个个1到9的序序列表示：NN = xx，其中xx为1到9的的数字之一。规则集：r1: IF len(N)=4 THEN x5r2: IF len(N)为偶数and n=In(1, 3, 7, 9) THEN xnr3: IF len(N)为奇数and n=In(2, 4, 6, 8) THEN xn其中len(N)为求序列的长度，In(a, b, c, d)为取a、b、c、d之一。初始状态：结束条件：得到的序列N前i个数组成的整数能被i整除一、选择题(每每题1分，共共15分)1、人工智能是是一门A)数学和生理理学 B)心理学学和生理学 C)语言学学D)综合性的交交叉学科和边边缘学科 2、语义网络表表达知识时，有有向弧AKOO 链、ISSA 链是用用来表达节点点知识的（ ）。A) 无悖性 B) 可扩扩充性 C) 继承承性3、(A->BB)A => B是A)附加律B)拒收律律C)假言推推理D)US4、命题是可以以判断真假的的A)祈使句B)疑问句句C)感叹句句D)陈述句句5、仅个体变元元被量化的谓谓词称为A)一阶谓词B)原原子公式C)二阶阶谓词D)全称量量词6、MGU是A) 最一般合合一 B)最一般替换换 C) 最一般谓谓词 D)基替换最一般合一7、下列不在人人工智能系统统的知识包含含的4个要素素中A) 事实B) 规则则C) 控制制D) 关系系8、当前归结式式是（ ）时时，则定理得得证。A) 永真式B 包孕式式（subssumed）C) 空子句9、或图通常称称为A）框架网络 B)语义图图 C)博亦图图 D)状态图图10、不属于人人工智能的学学派是A)符号主义 B) 机会会主义 C)行为主主义 D)连接主主义。11、所谓不确确定性推理就就是从( )的初始证证据出发，通通过运用( )的知识识，最终推出出具有一定程程度的不确定定性但却是合合理或者近乎乎合理的结论论的思维过程程。A)不确定性, 不确定性性 B)确定性性, 确定性C)确定性, 不确定性 D) 不确确定性 确定性12.要想让机机器具有智能能，必须让机机器具有知识识。因此，在在人工智能中中有一个研究究领域，主要要研究计算机机如何自动获获取知识和技技能，实现自自我完善，这这门研究分支支学科叫（ ）。A)专家系统 B)机器学学习 C)神经网网络 D)模式识识别13、下列哪部部分不是专家家系统的组成成部分（ ）A.）用户 B）综合数数据库 C）推理机机 D）知识库库14、产生式系系统的推理不不包括（ ）A）正向推理 B）逆向推推理 C）双向推推理 D）简单推推理15、C(B|A) 表示示在规则A->B中，证证据A为真的的作用下结论论B为真的A)可信度 B)信度 C)信任增增长度 D)概率二、填空题(每每题1分，共共30分)1、人工智能的的含义最早由由一位科学家家于19500年提出，并并且同时提出出一个机器智智能的测试模模型，请问这这个科学家是是2、从已知事实实出发，通过过规则库求得得结论的产生生式系统的推推理方式是。3、AI的英文文缩写是。4、不确定性类类型按性质分分：，。5、在删除策略略归结的过程程中删除以下下子句：含有有的子句;含有的子句;子句集中被被别的子句的子子句。6、对证据的可可信度CF（AA）、CF（AA1）、CFF（A2）之之间，规定如如下关系：CF（A）=、CF（AA1A2 ）=、CF（A1AA2 ）=。7、图：指由组成的网网络。按连接接同一节点的的各边的逻辑辑关系又可分分为和。8、合一算法：求非空有限限具有相同谓谓词名的原子子公式集的。9、1997年年月，著名名的“人机大战”，最终名为为“”的计算机以以3.5比22.5的总比比分将世界国国际象棋棋王王卡斯帕罗夫夫击败。10、人工智能能的远期目标标是，近近期目标是。三、简答及计算算题(每题55分，共255分)1、解释下列模模糊性知识：1) 张三，体体型，（胖，00.9）。2) (患者，症症状，(头疼疼，0.955) ) (患者，症症状，(发烧烧，1.1) ) (患者，疾疾病，(感冒冒，1.2) )答：2、简单阐述产产生式系统的的组成：答：3、补齐产生式式系统与图搜搜索的对比表表答： 4、已知W=P(f(xx,g(A,y),zz),P(ff(x,z),z)，求求MGU解：5、证明G是否否是F1、FF2的逻辑结结论；证:四、应用题(共共30分)1、将命题：“某个学生读读过三国演义义”分别用谓词词公式和语义义网络表示答： 2、图示博弈树树，其中末一一行的数字为为假设的估值值，请利用-剪枝技术剪剪去不必要的的分枝。（在在节点及边上上直接加注释释）3、利用谓词逻逻辑表示下列列知识（包括括已知和结论论），然后化化成子句集： （1）凡是清洁洁的东西就有有人喜欢；（2）人们都不不喜欢苍蝇求证：苍蝇是不不清洁的。证：答案：一、1、D22、C3、C4、D5、A6、A7、DD8、C9、D10、B11、A112、B13、A.14、D15、B二、1、图林2、正向推推理3、Arttificaal Inntelliigencee4、随机性，模模糊性，不完完全性，不一一致性5、纯文字，永永真式，类含含6、-CF(AA)，minnCF(AA1),CFF(A2)，maxCF(A11),CF(A2) )7、节点和有向向边，或图，与与或图8、最一般般合一（MGGU）9、深蓝110、制造智智能机器，实实现机器智能能三、1、答：11）表示：命命题“张三比较胖胖” 2）解解释为：如果果患者有些头头疼并且发高高烧，则他患患了重感冒。2、答：1）产产生式规则库库：描述相应应领域知识的的产生式规则则集2）数据库：（事事实的集合）存存放问题求解解过程中当前前信息的数据据结构（初始始事实、外部部数据库输入入的事实、中中间结果事实实和最后结果果事实）3）推理机：（控控制系统）是是一个程序，控控制协调规则则库与数据库库的运行，包包含推理方式式和控制策略略。3、答：4、解：k=00;S0=SS;0=;S0不是是单元素集，求求得差异集DD0=g(A,y),z,其其中z是变元元，g(A,y)是项，且且z不在g(A,y)中中出现。k=k+1=11有1=0··g(A,y)/z=·g(A,y)/z=g(AA,y)/zz，S1=S0·g(A,yy)/z=P(f(x,g(AA,y),g(A,yy),SS1是单元素素集。根据求MGU算算法，MGUU=1=g(A,y)/z5、证:PP(x)Q(x)从FF1变换P(y)R(y)从FF1变换P(a)从FF2变换S(a)从FF2变换S(z)R(z)结论论的否定R(a)归结aa/yR(a)归结aa/z归结得证.四、1、答：谓谓词公式表示示：$x(studdent(xx)read(x,三国演演义)语义网络表示如如图：2、3、证：现定义义如下谓词L(x,y)-某人x喜欢欢某物y；P(y)- 某某物y是清洁洁的东西(1) yx(P(y)L(x,yy) => P(y)L(f(y),yy)(2) x(L(x,Fly) => L(x,Fly)(3) P(FFly) 结论的的反(4) L(ff(Fly), Fly) (11)(3)归归结,置换Fly/yy(5) (22)(4)归归结,f(Fly)/x得证。一、 单选题： 1：人类智能的的特性表现在在4个方面 。A：聪明、灵活活、学习、运运用。B：能感知客观观世界的信息息、能对通过过思维对获得得的知识进行行加工处理、能能通过学习积积累知识增长长才干和适应应环境变化、能能对外界的刺刺激作出反应应传递信息。C：感觉、适应应、学习、创创新。D：能捕捉外界界环境信息、能能够利用利用用外界的有利利因素、能够够传递外界信信息、能够综综合外界信息息进行创新思思维。2：人工智能的的目的是让机机器能够 ，以实现现某些脑力劳劳动的机械化化。A：具