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

一、选择题（每题1分，共15分）一、 AI的英文缩写是A）AutomaticIntelligence B）ArtificalIntelligenceC）AutomaticeInformation D）ArtificalInformation二、 反演归结（消解）证明走理时,假设当前归结式是（）时，那么走理得证。A）永真式 B）包孕式（subsumed） C）空子句3、 从已知事实动身,通过规那么库求得结论的产生式系统的推理方式是A）正向推理 B）反向推理 C）双向推理4、 语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的（XA）无悖性 B）可扩充性 C）继承性五、 （A—B）人A=>B是A）附加律 B）拒收律 C）假言推理D）US六、 命题是能够判走真假的A）祈使句 B）疑问句 C）感叹句 D）陈述句7、仅个体变元被星化的谓词称为A）—阶谓词B）原子公式C）二阶谓词D）全称臺词八、MGU是A）最一样合一B）最一般替换 C）最一般谓词 D）基替换九1997年5月，闻名的“人机大战",最终运算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台运算机被称为（）A）深蓝 B）IBMC）深思 D）蓝天10、以下不在人工智能系统的知识包括的4个要素中A）事实 B）规则 C）控制和元知识D）关系1一、谓词逻辑下，子句，Cl=LVCr,C2=-LVC2-,若。是互补文字的（最一样）合一麗换，那么貝归结式C=（）

A)ClaVC2o B)CrVC2>C)CTo/\C2V1二、或图通常称为A)框架网络 B)语义图 C)博亦图D)crKCTD)状态图D)连接主义。A)D)crKCTD)状态图D)连接主义。A)符号主义 B)机会主义C)行为主义家是A)明斯基 B).扎徳 C)图林 D)冯.诺依曼15•要想让机械具有智能，必需让机械具有知识。因此，在人工智能中有一个研究领域，要紧研究运算机如何自动获取知识和技术，实现自我完善，这门研究分支学科叫().A)专家系统 B)机器学习 C)神经网络 D)模式识别二、填空题(每空分，共30分)一.不确信性类型按性质分： , 二、 在删除策略归结的进程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。3、 对证据的可信度CF(A)、CF(Al)、CF(A2)之间，规定如下关系：TOC\o"1-5"\h\zCF(-A)= 、CF(A1AA2)= 、CF(A1VA2)= 4、 图：指由 和 组成的网络。按连接同一节点的各边的逻借关系又可分为和 O五、 合一算法：求非空有限具有相同谓词名的原子公式集的 六、 产生式系统的推理进程中，从可触发规那么当选择一个规那么来执行，被执行的规那么称为 O7、P(BIA)表示在规那么 中，证据A为真的作用下结论B为真的 。八、人工智能的远期目标是 ，近期目标是 0三、 简答及计算题(每题5分，共25分)一、填写下面的三值逻辑表。ATFUTFUVATFUTFUVTFUTFUP〜pTFU二、什么是产生式？产生式规那么的语义是什么？3、 谓词公式G通过8个步骤所得的子句集合S,称为G的子句集。请写岀这些步骤。4、 已S={P(f(x),y,g(y)),P(f(x),z,g(x))},求MGU五、证明G是不是是F的逻辑结论：F:Vx(P(x)aQ(a)vQ(x))G:Bx(P(x)/\Q(x))四、应用题(共30分)一、用语义网络表示以下信息：胡途是思源公司的领导，他35岁，住在飞天胡同68号淸华大学与北京大学进行蓝球竞赛，最后以89：102的比分终止.

答：二、图示博弈树，其中末一行的数字为假设的估值，请利用a-p剪枝技术剪去没必要要的分枝。（在节点及边上直接加注释）5-33-3-3022-30~233、设有如下关系：（1）若是x是y的父亲，y又是z的父亲，那么x是z的祖父：（2）老李是大李的父亲：（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？答案:3、A4、C5.C六、D答案:3、A4、C5.C六、D7、A8、A9、A10、D1一、A1二、D13、B14、C15、B二、一、随机性，模糊性.不完全性，不一致性二.纯文字，永真式，类含3、 ・CF（A）,min{CF（Al）、CF（A2）},max{CF（Al）,CF（A2）}4、 节点，有向边，或图，与或图五、 最一样合一（MGU）六、 被触发规那么二、产生式规那么大体形式：P-Q或IFPTHENQP是产生式的前提（前件），用于指岀该产生式是不是可用的条件Q是一组结论或操作（后件），用于指岀当前提P所指示的条件知足时，应该得岀的结论或应该执行的操作产生式规那么的语义：若是前提P被知足，那么可推出结论Q或执行Q所规泄的操作3、 1）消去包括式和等价式一,<>2） 缩小否泄词的作用范用，直到其作用于原子公式：3） 适当更爼，使量词间不含同冬指导变元和约朿变元。）消去存在量词（形成Skolcm标准型）

消去所有全称量词化成合取范式.适当改名，使子句间无同名变元.消去合取词用逗号代替，以子句为元素组成一个集合S4、解：k二0;S0二S;§0二£;S0不是单元素集，求得不同集D0={y,z},其中y是变元.z是项，且y不在z中显现。k=k+l=l有61=60•{z/y}=e•(z/y)=(z/y)>Sl=S0•{z/y}={P(f(x),z,g(z)),P(f(x),z,g(x))},SI不是单元素集,求得不同集DI二{z,x),k=k+l=2;62=51•(z/x)={z/y,z/x},S2=S1•{z/x}={P(f(z),z,g(z))}是单元素集。依照求MGU算法，MGU=62={z/y,z/x}五、证：①P(x) ・・・从F变换Q(a)VQ(x) ・・•从F变换结论的否左①③归结，{x/y}结论的否左①③归结，{x/y}・・②④归结，置换fa/x}nQ(x) ・口得证。四、-3022-3O'2-3022-3O'23、解:现概念如下谓词F(x,y)——x是y的父亲；G(x,z) x是y的祖父；用谓词逻借表示已知与求解:F(x,y)AF(y,zLG(x,z)⑵F(L.D)⑶F(D,X)⑷G(u,v),u=?,v=?其中丄表示老李・D表示大李,X表示小李。先证存在祖孙关系nF(x,y)VnF(y,z)VG(x,z)...从⑴变换F(L.D) ...从(2)变换F(D,X) •…从(3)变换④1G(u,v)•…结论的否泄nF(D,z)VG(L,z)G(L,X)口...®®归结.置换{L/x.D/y}...③⑤归结，置换{X/z}•…④⑥归结，置换{L/u.X/v}得证,说明存在祖孙关系。为了求解用一个重言式④④1G(u,v)VG(u.v)…用重言式代替结论的否左,重言式恒为真1F(D.z)VG(Uz)G(UX)1F(D.z)VG(Uz)G(UX)G(L.X)...③⑤归结，置换{X/z}•…④⑥归结，置换{L/ilX/v}得结果:L是X的祖父，即老李是小李的祖父。三、简答及计算题(每题5分，共25分)一.说明以下模糊性知识：张三，体型，(胖，))°(患者，病症，(头疼，)/\(患者，病症，(发烧，)一(患者，疾病，(伤风，)答：二、简单论述产生式系统的组成:答：3、补齐产生式系统与图搜索的对照表

产生式系统图搜索初始节点目标条件状态转换规则问题变换规则规则库操作集节点(状态/问题)控制策略4、已知W={P(f(x,g(A,y)),z),P(f(x,z),z)},求MGU解：五、证明G是不是是F—、F2的逻辑结论：Fl：Vx(P(x)^(0(x)a/?(x))F2：Hx(P(x)a5(a))G：3.v(5(x)a7?(x))四'应用题(共30分)一、 将命题：“某个学生读过三国演义”别离用谓词公式和语义网络表示二、 图示博弈树，其中末一行的数字为假设的估值，请利用剪枝技术剪去没必要要的分枝。(在节点及边上直接加注释)3、利用谓词逻辑表示以下知识(包括已知和结论)，然后化成子句集:凡是淸洁的东西就有人喜爱：人们都不喜爱苍蝇求证：苍蝇是不淸洁的。3、C4、D5、3、C4、D5、A六.A7、DI一.A12、B8、C9、D13、A.14、D10.B15、B二、一、图林2、正向推理3、ArtificalIntelligence二、一、图林4、随机性，模糊性，不完全性，不一致性五、 纯文字，永真式，类含六、 -CF(A),min{CF(Al),CF(A2)},max{CF(Al),CF(A2)})7、节点和有向边，或图，与或图8、最一般合一(MGU)九、深蓝10、制造智能机器，实现机器智能三、一、答：1)表示：命题“张三比较胖”2)说明为：若是患者有些头疼而且发高烧，那么他得了重伤风。二、答：1)产生式规那么库：描述相应领域知识的产生式规那么集数据库：(事实的集合)寄存问题求解进程中当前信息的数据结构(初始事实、外部数据库输入的事实、中间结果事实和最后结果事实)推理机：(操纵系统)是一个程序，操纵和谐规那么库与数据库的运行，包括推理方式和操纵策略。3、答：产生式系统图搜索初始事实数据初始节点目标条件目标节点产生式规则状态转换规则问题变换规则规则库操作集动态数据库肖点(状态/问题)控制策略搜索策略4、解：k二0;S0二S;各0二£;S0不是单元素集，求得不同集D0二{g(A,y)},z},其中z是变元，g(A,y)是项，且z不在g(A,y)中显现。k=k+l=l有61=60•<g(A,y)/z)=e•(g(A,y)/z}={g(A,y)/z)»S1=SO•{g(A,y)/z)={P(f(x,g(A,y)),g(A,y))},SI是单元素集。依照求MGU算法，MGU=fi1={g(A,y)/z}五、uE:®iP(x)VQ(x)(2)nP(y)VR(y)、P(a)S(a)qS(z)V-|R(z)・・R(a)(ThR(a) ・・⑧口・・・从Fl变换•从Fl变换•从F2变换•从F2变换结论的否定・・②③归结{a/y}④⑤归结(a/z)・・⑥⑦归结得证.四、一、答：谓词公式表示x(student(x)Aread(x,三国演义))语义网络表示如图：0W・-3022・0W・-3022・3CT?3、证：现概念如下谓词L(x,y) 某人x喜爱某物y：P(y) 某物y是淸洁的东西Vy3x(P(y)-L(x,y))=>nP(y)VL(f(y),y)VxhL(x,Fly))==>-|L(x,Fly)P(Fly)・・・结论的反L(f(Fly)>Fly)・・・(1)(3)归结，置换{Fly/y}□ ・・・(2)(4)归结，{f(Fly)/x}得证。试题部份：一、选择题（15小题，共15分）一、 97年5月，闻名的“人机大战”，最终运算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台运算机被称为（）A）深蓝 B）IBM C）深思 D）蓝天二、 以下不在人工智能系统的知识包括的4个要素中A）事实 B）规则 C）控制和元知识D）关系D）crKCTD）状态图D）连接主义。3D）crKCTD）状态图D）连接主义。A）C1qVC2u B）C1'\/C2'C）CroAC2o4、或图通常称为A）框架网络 B）语义图 C）博亦图A）符号主义 B）A）符号主义 B）机会主义C）行为主义六、人工智能的含义最先由一名科学家于1950年提出，而且同时提岀一个机械智能的测试模型，请问那个科学家是A）明斯基 B）.扎徳 C）图林 D）冯.诺依曼家是A）明斯基 B）.扎徳 C）图林 D）冯.诺依曼7、要想让机械具有智能，必需让机械具有知识。因此，在人工智能中有一个研究领域，要紧研究运算机如何自动获取知识和技术，实现自我完善，这门研究分支学科叫（）<>A）专家系统 B）机器学习 C）神经网络八、 以下哪部份不是专家系统的组成部份（）A.）用户 B）综合数据库 C）推理机九、 产生式系统的推理不包括（）A）正向推理 B）逆向推理C）双向推理D）模式识别D）知识库D）简单推理10、C（BIA）表示在规那么A->B中，证据A为真的作用下结论B为真的A）可信度1一、AI的英文缩写是A）AutoinaticIntelligenceC）AutomaticeInformationB）信度C）信任增长度D）概率B)ArtificalIntelligenceD)ArtificalInformation1二、反演归结（消解）证明左理时，假设当前归结式是（）时，那么左理得证。A)永真式 B)包孕式(subsumed) C)空子句13、 在公式中Vy3xp(x,y)),存在量词是在全称量词的辖域内，咱们许诺所存在的x可能依托于y值。令这种依托关系明显地由函数所概念，它把每一个y值映射到存在的那个X。这种函数叫做()依托函数Skolem函数决定函数多元函数14、 子句~PvQ和P通过消解以后，取得()TOC\o"1-5"\h\zPQ~PPvQ1五、若是问题存在最优解，那么下而几种搜索算法中，()必然能够取得该最优解。广度优先搜索深度优先搜索有界深度优先搜索启发式搜索二、填空题(共30分)：在谓词公式中，紧接于量词以后被戢词作用的谓词公式称为该量词的 ,而在一个量词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 二、假言推理(AtB)aA=> ,假言三段论(AtB)a(BtC)=> 3、 几种经常使用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元归结策略4、 在诸如泄迷宫、下棋、八数码游戏等游戏中，经常使用到的一种人工智能的核心技术称为 技术，解这种问题时，常把在迷宫的位巻、棋的布局、八数码所排成的形势用图来表，这种图称为—5、 任启发式搜索当中,通经常使用 来表示启发性信息。6、在二人博弈问题中，最经常使用的一种分析技术是 ,这种方式的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因这人们在此基础上，又提岀了 TOC\o"1-5"\h\z7、 不确信性类型按性质分： , ,八、 在删除策略归结的进程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。九、 对证据的可信度CF(A)、CF(Al)、CF(A2)之间，规泄如下关系：CF(~A)= 、CF(A1AA2)= 、CF(A1VA2)= o10、图：指由 组成的网络。按连接同一节点的各边的逻辑关系又可分为和 O1一、合一算法：求非空有限具有相同谓词需的原子公式集的 ，1二、开发专家系统所要解决的大体问题有三个，那确实是知识的获取、知识的表示和—，知识表示的方式要紧有 ， , 和语义网络等，在语义网络表示知识时，所利用的推理方式有 和 三、简答与应用题1、 谓词逻辑形式化以下描述“不存在最大的整数”(4分)2、 a-p剪枝的条件是什么？3、 某问题由以下公式描述：(鴉)〔呦[〜呵)-Qb,马翻y))](3)(VK)[P(^AQ(b,c,z)^R(^))]〔5)(鬼)Wy)[Q(b,笃刃-Q〔b,%仞)]、试用归结法证明(3x)R(x)：专家系统的一样步骤有哪些？专家系统的开发与一样的软件系统开发相较较，有哪些一起点和特点？(7分)何谓“图灵实验”？简单描述之(5分)六、设有如下关系：(1)若是x是y的父亲，y又是z的父亲，那么x是z的祖父：(2)老李是大李的父亲：(3)大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)7.给1〜9九个数字排一个序列，使得该序列的前n(n=l，.…9)个数字组成的整数能被n整除。、讨论哪些知识可以帮助该问题的求解。、用产生式系统描述该问题.(15分)答案部份一、选择题ADADBCBADBBCBBA二、 填空题辖域 约束变元 自由变元二B AtC3、 删除策略4、 图搜索状态空间图(或状态图)五、 启发函数六、 极大极小分析法a-B剪枝技术7、随机性模糊性不一致性不确信性八、 纯文字永真类含九、 ~CF(A)min{CF(Al),CF(A2))max(CF(Al),CF(A2)}10、型与或图1一、最一样合一1二知识的运用逻辑表示法(谓词表示法)框架产生式AKOISA三、 简答及应用题一、槪念谓词G(x)：x为整数D(x.y)：x大于y形式化为：-73a(G(x)aVy(G(y)t£>(x,刃))或V.r(G(x)t3y(G(y)aD(y,x)))二、回答:a剪枝：假设任一极小值层节点的卩值小于或等于它任一先辈极大值节点的a值，即a(先辈层)>p(后继层)，那么可中止该极小值层中那个MIN节点以下的搜索进程。那个MIN节点最终的倒推值就确信为那个0值。P剪枝：若任一极大值层节点的a值大于或等于它任一先辈极小值层节点的卩值，即a(后继层)三卩(先辈层)，则可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确是为这个a值。3、化子句集如下：⑴逆a)⑵(W)(Vy)[~Ry)rQCb,骂瑟妙]=>(Vz)(Vy)[P(：y)VQ(kx,g(x,y))]=>P(y)VQ(lJ,x,gC^y))(VX)[P(i(k))]=>P(fW)(VM[P(MAQ(b,c,MTR(h(X))]=>(V^HP(；x)AQ(b7c,x))VR(X^]=>〔W§[~Fd)V〜Q〔b,c,席VR(h(£»]=>~K^V-Q(b,c,x)VR(X^(VK)(Vy)[Q(；b,骂y)TQ(b,爲⑹)]=> (Vz)(Vy)[~Q(b?爲y)VQ(b,爲曙)>]=>〜Q〔b,爲沪/Q(b,爲⑹)目标求反=乂弓豹耳龙)=>〔网〜轉)=>~Rj(x)变量换名后，得子句集：{~P@),P©l)VQ〔b,乩欝1,yl)),Pg),~P〔M~Q®c,X3)VR(fa(x3)),~Q(b,灿y4)VQ〔b,諮,灯4)),~斑叨4、答：(1)专家系统与一样的软件系统开发无异，其开发进程一样要遵循软件工程的步骤和原那么，即也要进行系统分析、系统设计等几个时期的工作。(2)但由于它是专家系统，而不是一样的软件系统，因此，又有其独特的地址，要紧包括以下几个步骤：系统整体分析与设计；2)知识获取；3)知识表示与知识描述语言设计：)知识库设计、知识库治理系统设计；)推理机与说明模块设计；6)总控与界面设计7>编程与调试测试与评判运行与保护(3)能够看岀它有如下特点：1)知识获取和知识表示设计是一切工作的起点；知识表示与知识描述语言确信后，其他设讣可同时进行；五、 答：所谓“图灵实验”，是为了判圧一台机械是不是具有智能的实验。实验由三个封锁的房间组成，别离放置主持人、参与人和机械。主持人向参与人和机械提问，通过提问的结果来判左谁是人，谁是机械。若是主持人无法判迄谁是人，谁是机械，那么这台机械具有智能，即所谓的“智能机械”。六、 解:现槪念如下谓词F(x,y)——x是y的父亲;G(x,z)——x是y的祖父；用谓词逻辑表示已知与求解：(1)F(x,y)AF(y,z)-*G(x,z)⑵F(L.D)

⑶F(D.X)(4)G(u,v),u=?,v=?其中丄表示老李,D表示大李,X表示小李。先证存在祖孙关系〜F(x,y)\/~F(y,z)VG(x,z)...从⑴变换F(L,D) ...从⑵变换F(D.X) ...从(3)变换〜G(u.v) ...结论的否定〜F(D,z)VG(L,z)...①②归结賈换{L/x.D/y}G(L,X) ...③⑤归结.宜换{X/z}口 ...④⑥归结，置换{L/ilX/v}得证,说明存在祖孙关系。为了求解用一个重言式④〜G(u.v)VG(u,v)...用重言式代替结论的否泄,重言式恒为真〜F(D,z)VG(L,z)...©©归结，置换{L/x.D/y}G(L,X) ...③⑤归结，置换{X/z}G(L,X) ...④⑥归结，置换{L/u,X/v}得结果:L是X的祖父，即老李是小李的祖父。7、如下的知识能够帮忙求解该问题：序列中，偶数在偶数位置，奇数在奇数位置：第五个数为5。综合数据库：用一个1到9的序列表示：N={x},其中x为1到9的数字之一。规则集：rl:IFlen(N)=4THEN{x}U{5}r2:IFlen(N)为偶数andn=In(l,3,7,9)THEN{x)U{n}r3:IFlen(N)为奇数andn=In(2,4,6.8)THEN{x}U{n}其中len(N)为求序列的长度,In(a,b,c,d)为取a、b、c、d之一。初始状态：{}结束条件：得到的序列N前i个数组成的整数能被i整除一、选择题(每题1分，共15分)一、人工智能是一门A)数学和生理学 A)数学和生理学 B)心理学和生理学C)语言学D)D)综合性的交叉学科和边缘学科二、语义网络表达知识时，有向弧AKO链、二、语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的(A)A)无悖性 B)可扩充性 C)继承性3、 (A->B)AA=>B是A)附加律 B)拒收律 C)假言推理D)US4、 命题是能够判定真假的A)祈使句 B)疑问句 C)感叹句 D)陈述句五、仅个体变元被量化的谓词称为A)—阶谓词B)A)—阶谓词B)原子公式C)二阶谓词D)全称屋词六、MGU是A）最一样合一 B）最一样替换 C）最一样谓词 六、MGU是A）最一样合一 B）最一样替换 C）最一样谓词 D）基替换最一样合一7、以下不在人工智能系统的知识包括的4个要素中A）事实 B）规则 C）控制八、 当前归结式是（）时，那么立理得证。A）永真式 B包孕式（subsumed）九、 或图通常称为A）框架网络 B）语义图 C）博亦图10、不属于人工智能的学派是A）符号主义 B）机会主义 C）行为主义D）关系C） 空子句D）状态图D） 连接主义。I一、所谓不确信性推理确实是从（）的初始证据动身，通过运用（）的知识，最终推出具有必然程度的不确信性但却是合理或近乎合理的结论的思维进程。A）不确信性，不确信性B）确信性,确信性C）确信性，不确信性 D）不确信性确信性12•要想让机械具有智能，必需让机械具有知识。因此，在人工智能中有一个研究领域，要紧研究运算机如何自动获取知识和技术，实现自我完善，这门研究分支学科叫（）oA）专家系统 B）机器学习 C）神经网络 D）模式识别13、 以下哪部份不是专家系统的组成部份（）A.）用户 B）综合数据库 C）推理机 D）知识库14、 产生式系统的推理不包括（）A）正向推理 A）正向推理 B）逆向推理C）双向推理D）简单推理1五、C（BIA）表示在规那么A->B中，证拯A为真的作用下结论B为真的A）可信度 B）信度 C）信任增长度 D）概率二、填空题（每题1分，共30分）一、 人工智能的含义最先由一统科学家于1950年提岀，而且同时提出一个机械智能的测试模型，请问那个科学家是 二、 从已知事实动身，通过规那么库求得结论的产生式系统的推理方式是 3、 AI的英文缩写是 TOC\o"1-5"\h\z4、 不确信性类型按性质分： ,-五、 在删除策略归结的进程中删除以下子句：含有 的子句;含有 的子句;子句集中被别的子句 的子句。六、 对证据的可信度CF（A）、CF（Al）、CF（A2）之间，规定如下关系：CF（-A）= 、CF（A1AA2）= 、CF（A1VA2）= o7、图：指由 组成的网络。按连接同一节点的各边的逻借关系又可分为和 O八、 合一算法：求非空有限具有相同谓词名的原子公式集的 O九、 1997年5月，闻名的“人机大战”，最终名为“ ”的运算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败。10、人工智能的远期目标是 ，近期目标是 。三、简答及计算题(每题5分，共25分)一、 说明以下模糊性知识：张三，体型，(胖，))。(患者，病症，(头疼，)/\(患者，病症，(发烧，)一(患者，疾病，(伤风，)答：二、 简单论述产生式系统的组成：答：3、补齐产生式系统与图搜索的对照表产生式系统图搜索初始节点目标条件状态转换规则问题变换规则规则库操作集节点(状态/问题)控制策略4、已知W二{P(f(x,g(A,y)),z),P(f(x,z),z)},求MGU解：五、证明G是不是是卩一、F2的逻辑结论：Fl：Vx(P(x)t(0(a)aR(x))F2：3x(P(x)a5(a))G：3x(S(a)a/?(x))证：四、应用题(共30分)一、 将命题："某个学生读过三国演义”别离用谓词公式和语义网络表示答：二、 图示博弈树，其中末一行的数字为假设的估值，请利用a-P剪枝技术剪去没必要要的分枝。(在肖点及边上直接加注释)

3、利用谓词逻辑表示以下知识（包括已知和结论），然后化成子句集:（1） 凡是淸洁的东西就有人喜爱：（2） 人们都不喜爱苍蝇求证：苍蝇是不淸洁的。证：答案:一.一、D2.C3、C4、D5一.一、D2.C3、C4、D5、A六、A7、D9、D10、B1一、A12、B13、A.14、D15.BIntelligence二、一、图林2、正向推理3、ArtificalIntelligence4、随机性，模糊性，不完全性，不一致性五、纯文字，永真式，类含-CF（A）,min{CF（Al）,CF（A2）}.max{CF（Al）,CF（A2）}）7、节点和有向边，或图，与或图8、最一般合一（MGU）九、深蓝10、制造智能机器，实现机器智能三、一、答：1）表示：命题“张三比较胖”2）说明为：若是患者有些头疼而且发髙烧，那么他得了重伤风。二.答：1）产生式规那么库：描述相应领域知识的产生式规那么集2）数据库：（事实的集合）寄存问题求解进程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果事实和最后结果事实）3）推理机：（操纵系统）是一个程序，操纵和谐规那么库与数据库的运行，包括推理方式和操纵策略。3、答:产生式系统图搜索初始事实数据初始节点冃标条件目标节点产生式规则状态转换规则问题变换规则规则库操作集动态数据库节点（状态/问题）控制策略搜索策略4、解:k=0;S0=S;60=e；S0不是单元素集,求得不同集D0={g(A,y)},z},其中z是变元,g(A,y)是项，且z不在g(A,y)中显现。k=k+l=l有81=60•(g(A,y)/z)=e•(g(A,y)/z}=<g(A,y)/z)>Sl=S0•{g(A,y)/z}={P(f(x,g(A,y)),g(A,y))},SI是单元素集。依照求MGU算法，MGU=1={g(A,y)/z}五、证:©nP(x)VQ(x)qP(y)VR(y) ' ・P(a) ・S(a) ・nS(z)VqR(z)・・・®R(a) ・(ZhR(a) ・・・⑧口 ・・・・从Fl变换•从Fl变换•从F2变换•从F2变换结论的否定・・②③归结{a/y}④⑤归结（a/z）・・⑥⑦归结得证.四、一、答：谓词公式表示：3x（student（x）Aread（x,三国演义））语义网络表示如图:3、证：现概念如下谓词L(x,y) 某人x喜爱某物y：P(y) 某物y是淸洁的东西Vy3x(P(y)-*L(x,y))=>-|P(y)VL(f(y),y)Vx(-iL(x,Fly))==>-|L(x,Fly)P(Fly)...结论的反L(f(Fly),Fly)...⑴⑶归结，置换{Fly/y}□ ...(2)(4)归结，{f(Fly)/x}得证。一、单项选择题：1：人类智能的特性表此刻4个方而 。A：伶俐、灵活、学习、运用。B：能感知客观世界的信息、能对通过思维对取得的知识进行加工处巻、能通过学习枳存知识增加才华和适应环境转变、能对外界的刺激作岀反映传递信息。C：感觉、适应、学习、创新。D：能捕捉外界环境信息、能够利用利用外界的有利因素、能够传递外界信息、能够综合外界信息进行创新思维。2：人工智能的目的是让机械能够 ,以实现某些脑力劳动的机械化。A：具有智能 B：和人一样工作C：完全代替人的大脑 D：模拟、延伸和扩展人的智能3：以下关于人工智能的表达不正确的有： 。A：人工智能技术它与其他科学技术相结合极大地提髙了应用技术的智能化水平。B：人工智能是科学技术进展的趋势。C：因为人工智能的系统研究是从上世纪五十年代才开始的，超级新，因此十分重要。D：人工智能有力地增进了社会的进展。4：人工智能研究的一项大体内容是机械感知。以以下举中的 不属于机械感知的领域。A：使机械具有视觉、听觉、触觉、味觉、嗅觉等感知能力。B：让机械具有明白得文字的能力。C：使机械具有能够获取新知识、学习新技术的能力。D：使机械具有听懂人类语言的能力5：自然语言明白得是人工智能的重要应用领域，下而列举中的 不是它要实现的目标。A：明白得他人讲的话。 B：对自然语言表示的信息进行分析概括或编借。

C：欣赏音乐。 D：机器翻译。6：为了解决如何模拟人类的感性思维，例如视觉明白得、直觉思维、悟性等，研究者找到一个重要的信息处宜的机制是： OA：专家系统 B：人工神经网络 C：模式识别 D：智能代理7：若是把知识依照作用来分类，下述 不在分类的范围内。A：用操纵策略表示的知识，即操纵性知识。B：能够通过文字、语言、图形、声音等形式编码记录和传播的知识，即显性知识。C：用提供有关状态转变、问题求解进程的操作、演算和行动的知识，即进程性知识。D：用提供概念和事实令人们明白是什么的知识，即陈述性。8：下述 不是知识的特点。A：复杂性和明确性 B：进化和相对性C：客观性和依附性 D：可重用性和共享性9：下述 不是人工智能中经常使用的知识格式化表示方式。A：框架表示法 B：状态空间表示法C：语义网络表示法 D：形象描述表示法10：关于“与/或”图表示法的表达中，正确的选项是： 。A：“与/或”图确实是用“AND”和“0R”持续各个部份的图形，用来描述各部份的因果关系。B：“与/或”图确实是用“AND”和“OR”持续各个部份的图形，用来描述各部份之间的不确信关系。C：“与/或”图确实是用“与”廿点和“或”节点组合起来的树形图，用来描述某类问题的层次关系。D：“与/或”图确实是用"与”节点和“或”节点组合起来的树形图，用来描述某类问题的求解进程。11：组成状态空间的4个要素是： °A：开始状态、目标状态、规那么和操作B：初始状态、中间状态、目标状态和操作C：空间、状态、规那么和操作D：开始状态、中间状态、终止状态和其他状态12：关于'‘与/或”图表示知识的表达，错误的有 。A：用“与/或”图表示知识方便利用程序设计语言表达，也便于运算机存储处置。B：“与/或”图表示知识时必然同时有“与节点”和“或节点”。C：“与/或”图能方便地表示陈述性知识和进程性知识。D：能用“与/或”图表示的知识不适宜用其他方式表示。13：以下不是知识表示法的是 oA：运算机表示法 B：“与/或”图表示法C：状态空间表示法 D：产生式规那么表示法14：一样来讲，以下语言属于人工智能语言的是 。C：Logo D：PrologBC：Logo D：PrologB：陈述、询问、感叹D：确信、疑问、感叹C：可比性 D：同类性D：ellen、john、eric15：Prolog语言的三种大体语句是：_A：顺序、循环、分支C：事实、规那么、询问16：匹配是将两个知识模式进行 比较。A：相同性 B：一致性17：以下程序的运行结果是 oA：ellenB：john C：ericpredicateslikes(symbol,symbol)clauseslikes(ellen,reading),likes(john,computers).likes(john,swimming).2525：一样的专家系统都包括 个部份。likes(leonard,badminton)・likes(eric,swimming)・likes(eric,reading)・goallikes(Person,reading),likes(Person,swimming)・18：以下Prolog程序的运行结果是： 。A：xiaohua B：xiaoming C：xiaofang Dpingpongpredicateslikes(symbol,symbol)friend(symbol,symbol)clauseslikes(xiaofang,swimming)・likes(xiaoming,pingpong〉・friend(X,xiaohua)：-likes(X,pingpong).goalfriend(X,xiaohua)・19：以下程序的运行结果是 」A：billB：tammyC：b订1D：Miltammyjoesuejoesuesuetammypredicatesmale(symbol)female(symbol)parent(s^nnbol,symbol)clausesmale(bil1).male(joe)・female(sue)・female(tammy)・parent(bill,joe)・parent(sue,joe)・parent(joe,tammy)・goal的进程。B：思考C：推理A：思维21：进行专家系统的开发通常采纳的方式是OA：慢慢求精B：实验法C：原型法22：在专家系统的开发进程中利用的专家系统工具一样分为专家系统的A：模型工具B：外壳C：知识库工具23：专家系统是以为基础，以推理为核心的系统。A：专家B：软件C：知识24：是专家系统的重要特点之一。parent(Parent,_)・20：专家系统是一个复杂的智能软件，它处豊的对彖是用符号表示的知识.处置的进程是A：具有某个专家的体会B：能模拟人类解决问题D：递推D：递推法 和通用专家系统工具两类。D：专用工具D：解决问题C：看上去像一个专家D：能解决复杂的问题

A：4A：4B：2 C：8D：626：人类专家知识通常包括两大类： B：书本知识和体会知识DB：书本知识和体会知识D：理论知识和操作知识B：正确的C：基础知识和专业知识27：确信性知识是指 知识。A：能够精准表示的C：在大学中学到的知识 D：能够解决问题的28：以下关于不确信性知识描述错误的选项是 oA：不确信性知识是不能够精准表示的B：◎家知识通常属于不确信性知识C：不确信性知识是通过处置过的知识D：不确信性知识的事实与结论的关系不是简单的“是”或“不是：TOC\o"1-5"\h\z29：知识获取的目的是将人类专家的知识转换为专家系统知识库中的知识，知识获取的方式通常有 种。A：2B：3C：4 D：530：专家系统的推理机的最大体的方式是 oA：直接推理和间接推理 B：正向推理和反向推理C：逻辑推理和非逻辑推理 D：准确推理和模糊推理31：专家系统的正向推理是以 作为起点，依照必然的策路，应用知识库中的知识，推断出结论的进程。A：需要解决的问题 B：已知事实C：证明结论 D：表示目标的谓词或命题32:以下关于不精准推理进程的表达错误的选项是 。A：不精准推理进程是从不确信的事实动身B：不精准推理进程最终能够推出确信的结论C：不精准推理进程是运用不确信的知识D：不精准推理进程最终推出不确信性的结论33：以下不属于专家系统的说明功能的要紧作用是 。A：对用户说明什么缘故取得那个结论 B：对用户说明如何得到这个结论C：提髙专家系统的信任程度 D：对用户说明专家系统的知识结构34：在重排九宫问题的状态树中（如以下图），以下选项中满是分支节点的是 .A：B二、C二D二、E2C：B3、C五、D7、E7A：B二、C二D二、E2C：B3、C五、D7、E7B：B4.C二、D3、D8D：C六、D—.E五.E14IqB1/283164832147§528371465C223T4s2831645C1283645D88381322328:12312323423i24821』247471<247841818\1 376[76561S6576565765767652348DQ832232832228:246641616:16(74617575475<75283157J6EiO35：在重排九宫问题中，启发函数H(x)+D(x)中的D(x)表示 。A：节点x与目标状态位置不同的棋子个数 B：节点x与目标状态位置相同的棋子个数C：节点x的子节点数 D：节点x所在的层数36：有一个农夫带一匹狼、一只羊和一棵白菜过河(从河的北岸到南岸)。若是没有农夫看管，那么狼要吃羊，羊要吃白菜。可是船很小，只够农夫带一样东四过河。用0和1表示狼、羊、白菜別离运到南岸的状态，0表示不在南岸，1表示在南岸，(如：100表示只有狼运到南岸)。初始时，南岸状态为000,表示狼、羊、白菜都没运到南岸，最终状态为111.表示狼、羊、白菜都运到了南岸。用状态空间为农夫找出过河方式，以下狼、羊、白菜在南岸显现的序列可能是 oA：000-01 B：