人工智能复习题库2841292.docx

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

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

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

3、句集S=P(x),P(y)，其MGUU= yy/x 。15. 在归结原理中，几几种常见的归归结策略并且且具有完备性性的是 删删除策略 支持集策略略 线性归结结策略16. 状态图启发式搜搜索算法的特特点是 （227）。17. 广度优先搜索算算法中，OPPEN表的数数据结构实际际是一个 二二叉树，深度度优先搜索算算法中，OPPEN表的数数据结构实际际是一个单链链表 。18. 产生式系统有三三部分组成 综合数据库库， 知识库和推推理机。其中中推理可分为为 正向推理理和反向推理。 19. 专家系统的结构构包含人机界界面、 知识识库 ， 推理机 ， 动态数据据库 ， 知识库答答理系统 和和解释模块。20

4、. 在MYCIN推推理中，对证证据的可信度度CF（A）、CCF（A1）、CCF（A2）之之间，规定如如下关系：CCF（A）= CF（AA） ，CCF（A1A2 ）= minCF（A11），CF（AA2） ，CF（AA1A2 ）= maxxCF（AA1），CFF（A2） 。21. 开发专家系统所所要解决的基基本问题有三三个，那就是是知识的获取取、知识的表表示和知识的的运用，知识识表示的方法法主要有 逻逻辑表示法（谓谓词表示法） ， 框架， 产生式和语语义网络等，在在语义网络表表示知识时，所所使用的推理理方法有 AKO 和 ISA 22. MYCIN系统统中使用不确确定推理，规规则AB由专家指指定

5、其可信度度CF（B，AA），若A真真支持B真，则则指定CF（BB，A）（与与零比较）应应 （477） ；若若A真不支持持B真，则指指定CF（BB，A）应 （48） 。23. 机器学习的含义义是 指机机器面对自行行为的修正或或性能的改善善和机器对客客观规律和发发展 。24. 自然语言理解不不仅包括计算算机能正确理理解人们用自自然语言输入入的信息，能能正确回答输输入信息中的的有关问题，而而且还包括 语法分析析 、 语用分分析 、 语句分析析 。25. 设U=a,bb,c,d，A=aa,b，BB=a,bb,c，mm(A)=00.6，m(U)=0.4，U的其其它子集的基基本概率分配配函数m值均均为0，

6、则BBel(A)= （53） ，Bel(BB)= （54） 。26. 证据理论中集合合A的信任区区间为1，11，则其语语意解释为 （55） 。27. 人工智能三大学学派是符号主主义、联结主主义、行为主主义28. 化成子句形式为为： 。29. 从已知事实出发发，通过规则则库求得结论论的产生式系系统的推理方方式是 正向推理理 30. AI的英文缩写写是 Arrtificcal Innteliggence 31. 在谓词公式中中，紧接于量量词之后被量量词作用的谓谓词公式称为为该量词的辖辖域 ，而而在一个量词词的辖域中与与该量词的指指导变元相同同的变元称为为 约束束变元 ，其其他变元称为为 自由由变元

7、 32. 假言推理（ABB）A B ，假假言三段论（AAB）（BC） AAC 33. 几种常用的归结结策略： 删除策略 、支持集集策略、线形形归结策略、输输入归结策略略、单元归结结策略34. 在诸如走迷宫、下下棋、八数码码游戏等游戏戏中，常用到到的一种人工工智能的核心心技术称为 图搜索 技术，解解这类问题时时，常把在迷迷宫的位置、棋棋的布局、八八数码所排成成的形势用图图来表，这种种图称为 状态空间图图（或状态图图） 35. 在启发式搜索当当中，通常用用 启发函函数 来表表示启发性信信息。36. 在二人博弈问问题中，最常常用的一种分分析技术是 极大极小小分析法 ，这这种方法的思思想是先生成成一棵

8、博弈树树，然后再计计算其倒推值值。但它的效效率较低，因因此人们在此此基础上，又又提出了 a-b剪枝技术 37. 某产生式系统中中的一条规则则：A（x）B（x），则前件是 A（x） ，后件是 B（x） 38. 在框架和语义网网络两种知识识表示方法中中， 框架架 适合于于表示结构性性强的知识，而而 语义网络 则适合表示示一些复杂的的关系和联系系的知识。 面向对象象 不仅仅仅是一种知识识表示方法，也也是一种流行行的软件设计计和开发技术术。39. 不确定性类型按按性质分：随机性，模模糊性，不完完全性，不一一致性。40. 在删除策略归结结的过程中删删除以下子句句：含有纯纯文字的的子句;含有有永真式式 的

9、子句;子句集中被被别的子句 类含的子子句。对证据据的可信度CCF（A）、CCF（A1）、CCF（A2）之之间，规定如如下关系：CCF（A）=-CF(AA)、CF（AA1A2 ）= minnCF(AA1),CFF(A2)、CFF（A1A2 ）=maxCF(A11),CF(A2)41. 合一算法：求非非空有限具有有相同谓词名名的原子公式式集的最一般合合一42. 产生式系统的推推理过程中，从从可触发规则则中选择一个个规则来执行行，被执行的的规则称为被触发发规则。43. P(B|A) 表示在规则则AB中，证据据A为真的作作用下结论BB为真的概概率。44. 常用的二种盲目目搜索方法是是_随机碰撞式式搜索

10、_和_完全式式搜索_；引引入启发式知知识来指导OOPEN表中中节点的排序序可划分为二二种方式_全局择优搜搜索 和_局部择择优搜索。45. 产生式系统的推推理可以分为为_正向推理理_和_反向推理_两种基本本方式。46. 知识表示的性能能应从以下二二个方面评价价：_和_；后者又分二二个方面_和 _。47. 人工智能的表现现形式至少有有_、_、_、_和_几种种。48. 目前所用的知识识表示形式有有_框架架 语义网络络 面向对象象_等。49. 框架系统的特性性继承功能可可通过组合应应用槽的三个个侧面来灵活活实现，它们们是_、_和和_。50. 产生式系统是由由_综合数数据库 知识库_和_推理机_三部分组

11、成成的.51. _就是所所考察判断的的事物或对象象的集合，记记为_。它的子集集构成_。52. 证据理论是经典典概率论的一一种扩充形式式，构成这一一理论的函数数有_基本概念念全分函数_、_信任函数_和_似真函函数_。53. 对于模糊不确定定性，一般采采用_模糊集集合_或_模糊逻辑辑_来刻划。54. 归结法中，可以以通过-修改证明明树-的方法得得到问题的解解答。55. 从已知事实出发发，通过规则则库求得结论论的产生式系系统的推理方方式是 正向推理理 56. 人工智能的远期期目标是 制造智能机机器，近期目标标是实现机机器智能。57. 利用归结原理证证明定理时，若若得到的归结结式为 空集 ，则结结论成

12、立。58. 在启发式搜索当当中，通常用用 启发发函数 来表示示启发性信息息。二、选择题选择题：（133小题，共113分）1.人工智能的的含义最早由由一位科学家家于19500年提出，并并且同时提出出一个机器智智能的测试模模型，请问这这个科学家是是（C）。 A. 明斯基 B. 扎德 C. 图灵 D. 冯.诺依依曼2.下列哪个不不是人工智能能的研究领域域（D ） A.机器证明 B.模式识别 C. 人工生命 D. 编译原理理3.神经网络研研究属于下列列（B ）学学派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是4.已知初始问问题的描述，通通过一系列变变换把此问题题最终变为一一个子问题集

13、集合；这些子子问题的解可可以直接得到到，从而解决决了初始问题题。这是知识识表示法叫（BB ） A. 状态空间法法 B. 问题归约法法 C. 谓词逻辑法法 D. 语义网络络法5.在公式中yy$xp(x,y)，存存在量词是在在全称量词的的辖域内，我我们允许所存存在的x可能能依赖于y值值。令这种依依赖关系明显显地由函数所所定义，它把把每个y值映映射到存在的的那个x。这这种函数叫做做（B ） A. 依赖函数 B. Skoleem函数 C. 决定函数 D. 多元函数数6.子句PQQ和P经过消消解以后，得得到（ B） A. P B. Q C. PD. PQ7,8.A（AAB）A 称为为（ C ），（AB）

14、AB称为为（D ）A. 结合律 B.分配律 C.吸收律律 D.摩摩根律9,10.如果果问题存在最最优解，则下下面几种搜索索算法中，（ A ）必然然可以得到该该最优解，（ D）可以以认为是“智能程度相相对比较高”的算法。A. 广度优先搜索B. 深度优先搜索C. 有界深度优先搜搜索D. 启发式搜索11.产生式系系统的推理不不包括（D ） A. 正向推理 B. 逆向推理 C. 双向推理 D. 简单推理理12.下列哪部部分不是专家家系统的组成成部分（AA ） A. 用户 B. 综合数据库库 C. 推理机 D. 知识库 13. 要想让让机器具有智智能，必须让让机器具有知知识。因此，在在人工智能中中有一个

15、研究究领域，主要要研究计算机机如何自动获获取知识和技技能，实现自自我完善，这这门研究分支支学科叫（BB ）。 A. 专家系统 B. 机器学习 C. 神经网络 D. 模式识别别！14、AI的英英文缩写是BBA)Autommatic Intellligennce B)Arttificaal InttelliggenceC)Autommaticee Infoormatiion D)Arttificaal Infformattion15、反演归结结（消解）证证明定理时，若若当前归结式式是（C ）时时，则定理得得证。A)永真式B)包孕式式（subssumed）C)空子句16、从已知事事实出发，通通过规则

16、库求求得结论的产产生式系统的的推理方式是是（ A）A)正向推理B)反向推理理C)双向推理理17、语义网络络表达知识时时，有向弧AAKO 链、IISA 链是是用来表达节节点知识的（CC ）。A)无悖性 B)可扩充充性 C)继承性性18、(ABB)A = B是CA)附加律B)拒收律律C)假言推推理D)US19、命题是可可以判断真假假的DA)祈使句B)疑问句句C)感叹句句D)陈述句句20、仅个体变变元被量化的的谓词称为AA)一阶谓词B)原子公公式C)二阶谓谓词D)全称量量词21、MGU是是AA)最一般合一一B)最一般般替换C)最一般般谓词D)基替换换22、19977年月，著著名的“人机大战”，最终计

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

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

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

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

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

22、为：或者6.用语义网络络表示“苹果”知识。7. 什么是产产生式？产生生式规则的语语义是什么？答：产生式规则则基本形式：PQ 或者者 IF P TTHEN QP 是产生式的的前提（前件件），用于指指出该产生式式是否可用的的条件Q 是一组结论论或操作（后后件），用于于指出当前提提 P 所指指示的条件满满足时，应该该得出的结论论或应该执行行的操作产生式规则的语语义：如果前前提P被满足足，则可推出出结论 Q 或执行 QQ 所规定的的操作8. 谓词公式式G通过个个步骤所得的的子句集合SS，称为G的的子句集。请请写出这些步步骤。答：(1）消去蕴蕴含式和等价价式， (2）缩小否否定词的作用用范围，直到到其作

23、用于原原子公式: (3）适当改改名，使量词词间不含同名名指导变元和和约束变元。(4.）消去存在量词（形成Skolem标准型） (5）消去所有全称量词(6) 化成合取范式(7).适当改名，使子句间无同名变元( 8).消去合取词，用逗号代替，以子句为元素组成一个集合S9. （1）已已知S=PP(f(x),y,g(y),PP(f(x),z,g(x)，求求MGU（2）已知W=P(f(x,g(AA,y),z),P(f(x,zz),z)，求MGUU解：（1）k=0;S0=S;0=;S0不是是单元素集，求求得差异集DD0=y,z,其中中y是变元，zz是项，且yy不在z中出出现。k=kk+1=1有1=0z/y

24、=z/yy=z/y，S1=S0z/y=P(f(x),z,g(z),P(f(x),z,g(xx),SS1不是单元元素集，求得差异集D11=z,xx,k=kk+1=2;2=1z/x=z/yy,z/x,S2=S1z/x=P(f(z),z,gg(z)是单单元素集。根据求MGU算算法，MGUU=2=z/y,z/xx（2）k=0;S0=S;0=;S0不是是单元素集，求求得差异集DD0=g(A,y),z,其其中z是变元元，g(A,y)是项，且且z不在g(A,y)中中出现。k=k+1=11有1=0g(A,y)/z=g(AA,y)/zz=g(A,y)/z，S1=S0g(A,yy)/z=P(f(x,g(AA,y)

25、,g(A,yy),SS1是单元素素集。根据求MGU算算法，MGUU=1=g(A,y)/z10.（1） 证明G是否否是F的逻辑辑结论；证:P(x)从FF变换Q(a)QQ(x)从FF变换P(y)Q(y)结论论的否定Q(x)归结,x/y归结,置置换a/xx得证。（2）证明G是是否是F1、FF2的逻辑结结论；证:P(xx)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归结得证.11. 1、用用语义网络表表示下列信息息：(1)胡途是思思源公司的经经理，他355岁，住在飞飞天胡同688号(3) 清

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

27、在本本学年第二学学期给计算机机专业学生讲授“人工智能”课程。该课课程是一门选选修课，比较较难。13. 图示博博弈树，其中中末一行的数数字为假设的的估值，请利利用-剪枝技术剪剪去不必要的的分枝。（在在节点及边上上直接加注释释）14. 设有如如下关系：（11）如果x是是y的父亲，yy又是z的父父亲，则x是是z的祖父；（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(

28、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,X

29、X)归结,置置换L/uu,X/v得结果:L是XX的祖父，即即老李是小李李的祖父。15解释下列模模糊性知识：1) 张三，体体型，（胖，00.9）。2) (患者，症症状，(头疼疼，0.955) ) (患者，症症状，(发烧烧，1.1) ) (患者，疾疾病，(感冒冒，1.2) )答：（1）表示示：命题“张三比较胖胖” （2）解解释为：如果果患者有些头头疼并且发高高烧，则他患患了重感冒。16. 简单阐阐述产生式系系统的组成。答：（1）产生生式规则库：描述相应领领域知识的产产生式规则集集（2）数据库：（事实的集集合）存放问问题求解过程程中当前信息息的数据结构构（初始事实实、外部数据据库输入的事事实、中间结

30、结果事实和最最后结果事实实）（3）推理机：（控制系统统）是一个程程序，控制协协调规则库与与数据库的运运行，包含推推理方式和控控制策略。17. 试用线线性消解策略略证明：子句句集S= PQ, PR, QR, R 是可消消解的。18广度优先搜搜索与深度优优先搜索各有有什么特点？19.语义网络络可以表达事事物之间的哪哪些关系？20.假设已知知下列事实： （1）超市（SSupermmarkett）卖（Saiil）的商品品(Goodds)便宜(Cheeap)。 （2）王（Waang）买（Buyy）需要的（WWant）便便宜商品。 （3）自行车（BBicyclle）是商品品且超市卖自自行车。 （4）王需要

31、自自行车。 （5）赵（Zhhao）跟随随王买同样的的商品。 请应用归结反演演证明方法回回答以下问题题： （1）王买自行行车吗？ （2）赵买什么么商品？ 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. 何谓估估价函数？启启发式图搜索索

32、的A算法和A*算法最显显著的区别是是什么？24. 什么是是置换？置换换是可交换的的吗？答: 通常用有有序对的集合合st11/v1，tt2/v2，tn/vn来表示任一置换，置换集的元素ti/vi的含义是表达式中的变量vi处处以项ti来替换，用s对表达式E作置换后的例简记为Es。一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。25. 给19九个数字字排一个序列列，使得该序序列的前n(n=1,.,9) 个数字组组成的整数能能被n整除。(1)、讨论哪些知识可以帮助该问题的求解。(2)、用产生式系统描述该问题.答；如下的知识识可以帮助求求解该问题：（1）序列列中，偶数在在偶数位置，

33、奇奇数在奇数位位置；（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整除26. .剪枝的条条件是什么？答: 剪枝：若任一极小小值层节点的的值小于或或等于它任一一先辈极

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

35、为基础础，通过数值值计算进行问问题求解而实实现的智能，包包括人工神经经网络，进化化计算，模糊糊技术等。三、 1、（1）将下下列谓词公式式化成子句集集答：（2）把下列谓谓词公式分别别化成相应的的子句集：xx(yP(xx,y)y(Q(xx,y)RR(x,y)解：x(yP(x,y)y(Q(x,y)R(x,yy)=x(yP(xx,y)yy(Q(x,y)R(x,yy)=x(yPP(x,y)y(Q(x,y)R(x,y)=x(yyP(x,yy)y(QQ(x,y)R(xx,y)=x(yP(x,yy)y(QQ(x,y)R(xx,y).改名）=x(yP(x,yy)z(QQ(x,z)R(xx,z)=x(yP(x,y

36、y)z(QQ(x,z)R(xx,z).y=f(x),z=g(x)消消去存在量词词y,z=x(PP(x,f(x)(Q(x,gg(x)R(x,g(x)=x(P(x,ff(x)(Q(x,g(x)(P(xx,f(x)R(x,g(xx)从而谓词公式的的子句集是P(x,ff(x)(Q(x,g(x)，P(x,ff(x)R(x,g(x)2.若谓词公式式E=P(xx,f(y),z),置置换s1=f(x,yy)/z,zz/w，ss2=a/x,b/yy,w/z，求E（ss1s2），EE（s2s1）。ABEDC4532343.用加权图的的启发式搜索索算法（不能能用Dijkkstra算算法）求解下下列问题：下下图是一个

37、交交通图，设AA是出发地，EE是目的地，边边上的数字表表示两城市之之间的交通费费。求从A到到E最小费用用的旅行路线线，画出搜索索树，画出CClosedd表和Opeen表的变化化过程。4.用标准逻辑辑（经典逻辑辑，谓词逻辑辑）的子句集集表示下述刑刑侦知识，并并用反演归解解的线性策略略证明结论现定义如下谓词词（其项变量量X，Y，ZZ，皆为全称称量词）。Thief(XX)-某人X是是贼；Likes(XX,Y)-某某人X喜欢某某物Y；May-steeal(X,Y)-某人人X可能会偷偷窃某物Y。5.用子句集表表达下述刑侦侦知识：I. Johnn是贼。II. Pauul喜欢酒（wwine）III. Paa

38、ul( 也也)喜欢奶酪酪（cheeese）IV. 如果PPaul喜欢欢某物则Joohn 也喜喜欢某物。V. 如果某人人是贼，而且且他喜欢某物物，则他就可可能会偷窃该该物。 6.求证结论:John可可能会偷窃了了什么？即求求证目标：mmay-stteal(JJohn,ZZ), Z=?（要求将将求证目标作作为顶子句，按按线性策略进进行归结推理理，注明每次次求归结式所所进行的置换换及其父子句句的编号）7.（1）已知知一组规则和和证据（事实实）：R1：A1BB1,CF（BB1，A1）=0.8R2：A2BB1,CF（BB1，A2）=0.5R3：B1AA3-B22，CF（BB2，B1A3）=00.8初始证

39、据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； r4：(C311C32)C33 H 0.8； CF(C11) = 0.88， CF(C12) = 0.99，CF(C221) = 0.3，CF(C222) = 0.6， CF(C

40、31) = 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分）解：设用(xx)表示x说说真话。如果说的的是真话，则则有如果说的的是假话，则则有：对和说说的话作相同同的处理，可可得：把上面这些些公式化成子子句集，得到到：下面首先求求谁是老实人人。把并入得到。即比多如如下一个子句句：应用消解原原理对进进行消解：所以，是是老实人，即即从不说假假话除此之外，无无论如何对进进行消解，都