人工智能复习题库文档格式.docx

1、31. 在谓词公式中，紧接于量词之后被量词作用谓词公式称为该量词辖域 ，而在一种量词辖域中与该量词指引变元相似变元称为 约束变元 ，其她变元称为 自由变元 32.假言推理（AB）A B ，假言三段论（AB）（BC） AC 33.几种惯用归结方略： 删除方略 、支持集方略、线形归结方略、输入归结方略、单元归结方略34.在诸如走迷宫、下棋、八数码游戏等游戏中，惯用到一种人工智能核心技术称为 图搜索 技术，解此类问题时，常把在迷宫位置、棋布局、八数码所排成形势用图来表，这种图称为 状态空间图（或状态图） 35.在启发式搜索当中，通惯用 启发函数 来表达启发性信息。36. 在二人博弈问题中，最惯用一种

2、分析技术是 极大极小分析法 ，这种办法思想是先生成一棵博弈树，然后再计算其倒推值。但它效率较低，因而人们在此基本上，又提出了 -剪枝技术 37.某产生式系统中一条规则：A（x）B（x），则前件是 A（x） ，后件是 B（x） 38.在框架和语义网络两种知识表达办法中， 框架 适合于表达构造性强知识，而 语义网络 则适合表达某些复杂关系和联系知识。 面向对象 不但仅是一种知识表达办法，也是一种流行软件设计和开发技术。39.不拟定性类型按性质分：随机性，模糊性，不完全性，不一致性。40.在删除方略归结过程中删除如下子句：具有纯文字子句;具有永真式 子句;子句集中被别子句 类含子句。对证据可信度CF

3、（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（A）=-CF（A）、CF（A1A2 ）= minCF（A1）,CF（A2）、CF（A1A2 ）=maxCF（A1）,CF（A2）41.合一算法：求非空有限具备相似谓词名原子公式集最普通合一42.产生式系统推理过程中，从可触发规则中选取一种规则来执行，被执行规则称为被触发规则。43.P（B|A） 表达在规则AB中，证据A为真作用下结论B为真概率。44.惯用二种盲目搜索办法是_随机碰撞式搜索_和_完全式搜索_；引入启发式知识来指引OPEN表中节点排序可划分为二种方式_全局择优搜索 和_局部择优搜索。45.产生式系统推理可以分为_正向推理_

4、和_反向推理_两种基本方式。46.知识表达性能应从如下二个方面评价：_和_；后者又分二个方面_和 _。47.人工智能体现形式至少有_、_、_、_和_几种。48.当前所用知识表达形式有_框架 语义网络 面向对象_等。49.框架系统特性继承功能可通过组合应用槽三个侧面来灵活实现，它们是_、_和_。50.产生式系统是由_综合数据库 知识库_和_推理机_三某些构成.51._就是所考察判断事物或对象集合，记为_。它子集构成_。52.证据理论是典型概率论一种扩充形式，构成这一理论函数有_基本概念全分函数_、_信任函数_和_似真函数_。53.对于模糊不拟定性，普通采用_模糊集合_或_模糊逻辑_来刻划。54.

5、归结法中，可以通过-修改证明树-办法得到问题解答。55.从已知事实出发，通过规则库求得结论产生式系统推理方式是 正向推理 56.人工智能远期目的是 制造智能机器，近期目的是实现机器智能。57.运用归结原理证明定理时，若得到归结式为 空集 ，则结论成立。58.在启发式搜索当中，通惯用 启发函数 来表达启发性信息。二、选取题选取题：（13小题，共13分）1.人工智能含义最早由一位科学家于1950年提出，并且同步提出一种机器智能测试模型，请问这个科学家是（C）。 A. 明斯基 B. 扎德 C. 图灵 D. 冯.诺依曼2.下列哪个不是人工智能研究领域（D ） A.机器证明 B.模式辨认 C. 人工生命

6、 D. 编译原理3.神经网络研究属于下列（B ）学派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是4.已知初始问题描述，通过一系列变换把此问题最后变为一种子问题集合；这些子问题解可以直接得到，从而解决了初始问题。这是知识表达法叫（B ） A. 状态空间法 B. 问题归约法 C. 谓词逻辑法 D. 语义网络法5.在公式中yxp（x,y），存在量词是在全称量词辖域内，咱们容许所存在x也许依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在那个x。这种函数叫做（B ） A. 依赖函数 B. Skolem函数 C. 决定函数 D. 多元函数6.子句PQ和P通过消解后来，

7、得到（ B） A. P B. Q C. PD.PQ7,8.A（AB）A 称为（ C ），（AB）AB称为（D ）A.结合律 B.分派律 C.吸取律 D.摩根律9,10.如果问题存在最优解，则下面几种搜索算法中，（ A ）必然可以得到该最优解，（ D）可以以为是“智能限度相对比较高”算法。A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.启发式搜索11.产生式系统推理不涉及（D ） A. 正向推理 B. 逆向推理 C. 双向推理 D. 简朴推理12.下列哪某些不是专家系统构成某些（A ） A. 顾客 B. 综合数据库 C. 推理机 D. 知识库 13. 要想让机器具备智能，必要让机器具备知

8、识。因而，在人工智能中有一种研究领域，重要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B ）。 A. 专家系统 B. 机器学习 C. 神经网络 D. 模式辨认！14、AI英文缩写是BA）Automatic Intelligence B）Artifical IntelligenceC）Automatice Information D）Artifical Information15、反演归结（消解）证明定理时，若当前归结式是（C ）时，则定理得证。A）永真式 B）包孕式（subsumed） C）空子句16、从已知事实出发，通过规则库求得结论产生式系统推理方式是（ A）A）正

9、向推理 B）反向推理 C）双向推理17、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识（C ）。A）无悖性 B）可扩充性 C）继承性18、（AB）A = B是CA）附加律 B）拒收律 C）假言推理 D）US19、命题是可以判断真假DA）祈使句 B）疑问句 C）感叹句 D）陈述句20、仅个体变元被量化谓词称为 AA）一阶谓词 B）原子公式 C）二阶谓词 D）全称量词21、MGU是AA）最普通合一 B）最普通替代 C）最普通谓词 D）基替代22、1997年月，知名“人机大战”，最后计算机以3.5比2.5总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A ）A）深蓝 B

10、）IBM C）深思 D）蓝天23、下列不在人工智能系统知识包括4个要素中DA）事实 B）规则 C）控制和元知识 D）关系24、谓词逻辑下，子句，C1=LC1，C2= LC2, 若是互补文字（最普通）合一置换，则其归结式C=（ A ）A） C1C2 B）C1C2 C）C1C2 D）C1 C225、或图普通称为DA）框架网络 B）语义图 C）博亦图 D）状态图26、不属于人工智能学派是BA）符号主义 B）机会主义 C）行为主义 D）连接主义。27、人工智能是一门DA）数学和生理学 B）心理学和生理学 C）语言学D）综合性交叉学科和边沿学科 D28、下列不在人工智能系统知识包括4个要素中DA） 事实

11、 B） 规则 C） 控制 D） 关系29、当前归结式是（C）时，则定理得证。A） 永真式 B 包孕式（subsumed） C） 空子句30、或图普通称为D31、所谓不拟定性推理就是从（ B ）初始证据出发，通过运用（ ）知识，最后推出具备一定限度不拟定性但却是合理或者近乎合理结论思维过程。A）不拟定性，不拟定性 B）拟定性，拟定性C）拟定性，不拟定性 D） 不拟定性 拟定性32、C（B|A） 表达在规则A-B中，证据A为真作用下结论B为真BA）可信度 B）信度 C）信任增长度 D）概率33. 谓词逻辑下，子句，C1=LC1，C2= 二、简答题1.将下列自然语言转化为谓词表达形式：（1）所有人都

12、是要呼吸。（2）每个学生都要参加考试。（3）任何整数或是正或是负。解：设 M（x）：x是人,H（x）：x要呼吸。 P（x）：x是学生， Q（x）：x要参加考试。 J（x）：x是整数， R（x）：x是正数，N（x）：x是负数。则上述三题就记为：（1） V-x（M（x）H（x）（2） V-x（P（x）Q（x）（3） V-x（I（x）R（x）N（x）2.何谓“图灵实验”？简朴描述之答：所谓“图灵实验”，是为了判断一台机器与否具备智能实验。实验由三个封闭房间构成，分别放置主持人、参加人和机器。主持人向参加人和机器提问，通过提问成果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具

13、备智能，即所谓“智能机器”。3.写出图中树结点两个访问序列，规定分别满足如下两个搜索方略：（1）深度优先搜索（2）广度优先搜索（）深度优先搜索：（）广度优先搜索：4.试实现一种“大学教师”框架，大学教师类属于教师，涉及如下属性：学历（学士、研究生、博士）、专业（计算机、电子、自动化、）、职称（助教、讲师、副专家、专家）框架名：类属：教师学历：（学士、研究生、博士）专业：（计算机、电子、自动化、.）职称：（助教、讲师、副专家、专家）5.用谓词逻辑形式化下列描述“不存在最大整数”定义谓词G（x）：x为整数D（x,y）：x不不大于y形式化为：或者6.用语义网络表达“苹果”知识。7. 什么是产生式？产

14、生式规则语义是什么？产生式规则基本形式：PQ 或者 IF P THEN QP 是产生式前提（前件），用于指出该产生式与否可用条件Q 是一组结论或操作（后件），用于指出当前提 P 所批示条件满足时，应当得出结论或应当执行操作产生式规则语义：如果前提P被满足，则可推出结论 Q 或执行 Q 所规定操作8. 谓词公式G通过个环节所得子句集合S，称为G子句集。请写出这些环节。（1）消去蕴含式和等价式， （2）缩小否定词作用范畴，直到其作用于原子公式：（3）恰当改名，使量词间不含同名指引变元和约束变元。（4.）消去存在量词（形成Skolem原则型） （5）消去所有全称量词（6） 化成合取范式（7）.恰当改

15、名，使子句间无同名变元（ 8）. 消去合取词，用逗号代替，以子句为元素构成一种集合S9. （1）已知S=P（f（x）,y,g（y）,P（f（x）,z,g（x），求MGU（2）已知W=P（f（x,g（A,y）,z）,P（f（x,z）,z），求MGU （1）k=0;S0=S;0=;S0不是单元素集，求得差别集D0=y,z,其中y是变元，z是项，且y不在z中浮现。k=k+1=1有1=0z/y=z/y=z/y，S1=S0z/y=P（f（x）,z,g（z）,P（f（x）,z,g（x）,S1不是单元素集，求得差别集D1=z,x,k=k+1=2;2=1z/x=z/y,z/x,S2=S1z/x=P（f（z）,

16、z,g（z）是单元素集。依照求MGU算法，MGU=2=z/y,z/x（2）k=0;S0不是单元素集，求得差别集D0=g（A,y）,z,其中z是变元，g（A,y）是项，且z不在g（A,y）中浮现。g（A,y）/z=g（A,y）/z=g（A,y）/z，g（A,y）/z=P（f（x,g（A,y）,g（A,y）,S1是单元素集。依照求MGU算法，MGU=1=g（A,y）/z10.（1） 证明G与否是F逻辑结论；证:P（x） 从F变换Q（a）Q（x） 从F变换P（y）Q（y） 结论否定Q（x） 归结,x/y 归结,置换a/x得证。（2）证明G与否是F1、F2逻辑结论；P（x）Q（x） 从F1变换P（y）

17、R（y） 从F1变换P（a） 从F2变换S（a） 从F2变换S（z）R（z） 结论否定R（a） 归结a/yR（a） 归结a/z 归结得证.11. 1、用语义网络表达下列信息：（1）胡途是思源公司经理，她35岁，住在飞天胡同68号 （3）清华大学与北京大学进行蓝球比赛，最后以89：102比分结束。（3）将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表达谓词公式表达：x（student（x）read（x,三国演义）语义网络表达如图：（4）把语句“每个学生都喜欢教师上一门课。”表达为语义网络。（5）请把下列命题表达事实用一种语义网络表达出来。 1）树和草都是植物； 2）树和草都是有根有叶；

18、 3）水草是草，且长在水中； 4）果树是树，且会成果； 5）樱桃树是一种果树，它结樱桃。（6）用语义网络表达下列事实姚明是一位年近半百男教师，中档身材，她在本年第二学期给计算机专业学生讲授“人工智能”课程。该课程是一门选修课，比较难。13. 图示博弈树，其中末一行数字为假设估值，请运用-剪枝技术剪去不必要分枝。（在节点及边上直接加注释）14. 设有如下关系：（1）如果x是y爸爸，y又是z爸爸，则x是z祖父；（2）老李是大李爸爸；（3）大李是小李爸爸；问上述人员中谁和谁是祖孙关系？解:现定义如下谓词F（x,y）- x是y爸爸;G（x,z）- x是y祖父;用谓词逻辑表达已知与求解:（1） F（x,

19、y）F（y,z）G（x,z）（2） F（L,D）（3） F（D,X）（4） G（u,v）,u=?,v=?其中,L表达老李,D表达大李,X表达小李。先证存在祖孙关系 F（x,y）F（y,z）G（x,z）从（1）变换 F（L,D） 从（2）变换 F（D,X） 从（3）变换 G（u,v） 结论否定 F（D,z）G（L,z） 归结,置换L/x,D/y G（L,X） 归结,置换X/z 归结,置换L/u,X/v得证,阐明存在祖孙关系。为了求解用一种重言式 G（u,v）G（u,v） 用重言式代替结论否定,重言式恒为真 G（L,X） 归结,置换L/u,X/v得成果:L是X祖父，即老李是小李祖父。15解释下列模

20、糊性知识：1） 张三，体型，（胖，0.9）。2） （患者，症状，（头疼，0.95） ） （患者，症状，（发热，1.1） ） （患者，疾病，（感冒，1.2） ）（1）表达：命题“张三比较胖” （2）解释为：如果患者有些头疼并且发高烧，则她患了重感冒。16. 简朴阐述产生式系统构成。（1）产生式规则库：描述相应领域知识产生式规则集（2）数据库：（事实集合）存储问题求解过程中当前信息数据构造（初始事实、外部数据库输入事实、中间成果事实和最后成果事实）（3）推理机：（控制系统）是一种程序，控制协调规则库与数据库运营，包括推理方式和控制方略。17. 试用线性消解方略证明：子句集S= PQ，PR，QR，R

21、 是可消解。18广度优先搜索与深度优先搜索各有什么特点？19.语义网络可以表达事物之间哪些关系？20.假设已知下列事实：（1）超市（Supermarket）卖（Sail）商品（Goods）便宜（Cheap）。（2）王（Wang）买（Buy）需要（Want）便宜商品。（3）自行车（Bicycle）是商品且超市卖自行车。（4）王需要自行车。（5）赵（Zhao）跟随王买同样商品。请应用归结反演证明办法回答如下问题：（1）王买自行车吗？（2）赵买什么商品？21.已知一种使用可信度办法推理网络如图所示，其证据可信度均标示在图中。推理规则可信度分别为：ABH，0.7 CDH，0.9 EH，0.3试按照可信

22、度办法求解环节计算每个证据节点对假设H推理可信度，并据此推算所有证据（复合证据）对于H推理可信度。22. 求子句R（x，y）Q（B，y）W（x，f（y） 和R（x，C）Q（y，C） 归结式。23. 何谓估价函数？启发式图搜索A算法和A*算法最明显区别是什么？24. 什么是置换？置换是可互换吗？通惯用有序对集合st1/v1，t2/v2，tn/vn来表达任一置换，置换集元素ti/vi含义是表达式中变量vi处处以项ti来替代，用s对表达式E作置换后例简记为Es。普通来说，置换是不可互换，即两个置换合成成果与置换使用顺序关于。25. 给19九个数字排一种序列，使得该序列前n（n=1,.,9） 个数字构成整数能被n整除。（1）、讨论哪些知识可以协助该问题求解。（2）、用产生式系统描述该问题.答；如下知识可以协助求解该问题：（1）序列中，偶数在偶数位置，奇数在奇数位置；（2）第五个数为5。综合数据库：用一种1到9序列表达：N = x，其中x为1到9数字之一。规则集：r1：IF len（N）=4 THEN x5r2：IF len（N）为偶数and n=In（1，3，7，9） THEN x