人工智能导论模拟试卷
人工智能导论考核试卷
3. CNN通过卷积和池化操作提取图像特征，降低参数数量，提高模型泛化能力，从而提高图像识别准确性。
4.伦理问题：隐私保护、算法偏见、责任归属。解决策略：制定伦理准则、透明度提升、多样化团队、责任追溯机制。
1.人工智能包括以下哪些技术领域？()
A.机器学习
B.语音识别
C.量子计算
D.数据挖掘
E.虚拟现实
2.以下哪些属于监督学习算法？()
A.支持向量机
B.决策树
C. K-均值聚类
D.线性回归
E.随机森林
3.深度学习中的卷积神经网络（CNN）主要用于哪些任务？()
A.图像分类
B.语音识别
C.自然语言处理
D.视频分析
人工智能导论考核试卷
考生姓名：__________答题日期：__________得分：__________判卷人：__________
一、单项选择题（本题共20小题，每小题1分，共20分，在每小题给出的四个选项中，只有一项是符合题目要求的）
1.以下哪个不是人工智能的研究领域？()
A.机器学习
B.深度学习
D.随机森林
E.支持向量回归
9.以下哪些是推荐系统中的冷启动问题？()
A.用户冷启动
B.项目冷启动
C.模型冷启动
D.数据冷启动
E.系统冷启动
10.以下哪些是迁移学习的主要挑战？()
A.数据分布差异
B.标签空间不匹配
C.模型泛化能力不足
D.源域数据不足
E.目标域数据过拟合
大学智能导论考试题及答案
大学智能导论考试题及答案一、单项选择题（每题2分，共20分）1. 人工智能的英文缩写是？A. AIB. IAC. SID. AII答案：A2. 机器学习中的监督学习需要哪些数据？A. 训练数据B. 训练数据和标签C. 测试数据D. 训练数据和测试数据答案：B3. 下列哪个算法不是深度学习算法？A. 卷积神经网络B. 循环神经网络C. 决策树D. 长短期记忆网络答案：C4. 人工智能的三大支柱是什么？A. 数据、算法、硬件B. 数据、算法、计算力C. 数据、硬件、计算力D. 算法、硬件、计算力答案：B5. 以下哪个不是人工智能的应用领域？A. 医疗诊断B. 自动驾驶C. 语音识别D. 传统农业答案：D6. 人工智能的发展历程中，哪个阶段被称为“知识工程时代”？A. 第一代B. 第二代C. 第三代D. 第四代答案：B7. 人工智能中的“感知器”是由谁提出的？A. 马文·明斯基B. 艾伦·图灵C. 弗兰克·罗森布拉特D. 约翰·麦卡锡答案：C8. 以下哪个算法是用于聚类分析的？A. K-近邻算法B. K-均值算法C. 支持向量机D. 逻辑回归答案：B9. 人工智能中的“遗传算法”是基于哪种生物进化机制？A. 基因突变B. 自然选择C. 基因重组D. 所有上述选项答案：D10. 以下哪个是人工智能中的强化学习算法？A. Q学习B. 决策树C. 随机森林D. 梯度提升机答案：A二、多项选择题（每题3分，共15分）1. 人工智能的主要研究领域包括哪些？A. 机器学习B. 自然语言处理C. 机器人技术D. 计算机视觉答案：ABCD2. 以下哪些是人工智能的典型应用？A. 智能客服B. 推荐系统C. 语音助手D. 智能交通系统答案：ABCD3. 深度学习在哪些领域有显著应用？A. 图像识别B. 语音识别C. 自然语言处理D. 游戏答案：ABCD4. 以下哪些是人工智能面临的挑战？A. 数据隐私问题B. 算法偏见问题C. 技术失业问题D. 伦理道德问题答案：ABCD5. 人工智能的发展需要哪些关键要素？A. 大数据B. 高性能计算C. 先进的算法D. 跨学科研究答案：ABCD三、简答题（每题10分，共20分）1. 简述人工智能的定义及其发展历程。
(完整word版)《人工智能导论》试卷库
人工智能试卷四一、选择题(每题1分，共15分)1、AI的英文缩写是A)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information2、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
A)永真式B)包孕式（subsumed）C)空子句3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是A)正向推理B)反向推理C)双向推理4、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（）。
A)无悖性B)可扩充性C)继承性5、(A→B)∧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.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）A）深蓝B）IBM C）深思D）蓝天10、下列不在人工智能系统的知识包含的4个要素中A)事实B)规则C)控制和元知识D)关系11、谓词逻辑下，子句, C1=L∨C1‘, C2= ¬ L∨C2‘,若σ是互补文字的（最一般）合一置换，则其归结式C=（）A) C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’12、或图通常称为A）框架网络B)语义图C)博亦图D)状态图13、不属于人工智能的学派是A)符号主义B)机会主义C)行为主义D)连接主义。
14、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是A)明斯基B).扎德C)图林D)冯.诺依曼15.要想让机器具有智能，必须让机器具有知识。
《人工智能导论》试卷B
人工智能试卷（B）试题部分：一、选择题（15小题，共15分）1、97年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A）A）深蓝B）IBM C）深思D）蓝天2、下列不在人工智能系统的知识包含的4个要素中DA)事实B)规则C)控制和元知识D)关系3、谓词逻辑下，子句, C1=L∨C1‘, C2= ¬ L∨C2‘,若σ是互补文字的（最一般）合一置换，则其归结式C=（A ）A) C1’σ∨C2’σB)C1’∨C2’C)C1’σ∧C2’σD)C1’∧C2’4、或图通常称为DA）框架网络B)语义图C)博亦图D)状态图5、不属于人工智能的学派是BA)符号主义B)机会主义C)行为主义D)连接主义。
6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是CA)明斯基B).扎德C)图林D)冯.诺依曼7、要想让机器具有智能，必须让机器具有知识。
因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B ）。
A)专家系统B)机器学习C)神经网络D)模式识别8、下列哪部分不是专家系统的组成部分（A）A.）用户B）综合数据库C）推理机D）知识库9、产生式系统的推理不包括（D ）A）正向推理B）逆向推理C）双向推理D）简单推理10、C(B|A) 表示在规则A->B中，证据A为真的作用下结论B为真的BA)可信度B)信度C)信任增长度D)概率11、AI的英文缩写是BA)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information12、反演归结（消解）证明定理时，若当前归结式是（C）时，则定理得证。
A)永真式B)包孕式（subsumed）C)空子句13、在公式中∀y∃xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。
人工智能导论模拟试卷
北京语言大学网络教育学院《人工智能导论》模拟试卷一注意：1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。
请监考老师负责监督。
2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。
3.本试卷满分100分，答题时间为90分钟。
4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。
一、【单项选择题】(本大题共5小题，每小题2分，共10分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。
1、AI的英文缩写是（ B ）。
[A] Automatic Intelligence[B] Artificial Intelligence[C] Automatic Information[D] Artificial Information2、反演归结（消解）证明定理时，若当前归结式是（ C ）时，则定理得证。
[A] 永真式[B] 包孕式[C] 空子句[D] 恒等式3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（ A ）。
[A] 正向推理[B] 反向推理[C] 双向推理[D]简单推理4、仅个体变元被量化的谓词称为（ A ）。
[A] 一阶谓词[B] 原子公式[C] 二阶谓词[D]全称量词5、MGU是（ A ）。
[A]最一般合一[B] 最一般替换[C] 最一般谓词[D]基替换二、【判断题】(本大题共5小题，每小题2分，共10分)正确的填T，错误的填F，填在答题卷相应题号处。
6、人工智能是研究如何制造出人造的智能机器或智能系统，来模拟人类智能活动的能力，以延伸人们智能的科学。
（ T ）7、目前大多数的专家系统都采用产生式系统的结构来建造。
（ T ）8、规则表达的可以是与待求解的问题有关的经验方面的知识，也可以是对求解问题有帮助的策略方面的知识。
（ F ）9、如果一个路径的第一个节点为问题的目的状态，最后一个节点为问题的初始状态，则该路径称为解路径。
人工智能导论测试题库及答案
人工智能导论测试题库及答案一、人工智能导论测试题库一、选择题1. 以下哪项不是人工智能的主要研究领域？A. 机器学习B. 计算机视觉C. 数据挖掘D. 神经科学2. 以下哪种编程语言在人工智能领域应用最广泛？A. PythonB. JavaC. C++D. Ruby3. 以下哪种算法是监督学习算法？A. K-均值聚类B. 决策树C. 遗传算法D. 深度学习4. 以下哪个不属于人工智能的主要类型？A. 弱人工智能B. 强人工智能C. 通用人工智能D. 超级智能5. 以下哪个不属于机器学习的主要任务？A. 分类B. 回归C. 聚类D. 排序二、判断题6. 人工智能是计算机科学的一个分支。
（）7. 机器学习是一种无需编写明确规则，让计算机自动从数据中学习的算法。
（）8. 神经网络是一种模拟人脑神经元结构的算法。
（）9. 深度学习是一种基于神经网络的算法。
（）10. 计算机视觉的主要任务是让计算机能够理解和解释图像和视频。
（）三、填空题11. 人工智能的三大基石是________、________和________。
12. 在机器学习算法中，________和________是两种常用的分类算法。
13. 人工智能可以分为________、________和________三种类型。
四、简答题14. 请简要解释机器学习中的监督学习和无监督学习的区别。
15. 请简要介绍深度学习的概念及其在人工智能领域的应用。
二、答案及解析一、选择题1. D（神经科学是研究人脑结构和功能的学科，不属于人工智能研究领域）2. A（Python在人工智能领域应用广泛，因为它有丰富的库和框架支持）3. B（决策树是一种监督学习算法，用于分类和回归任务）4. D（超级智能是一种假设性的未来状态，目前还未实现）5. D（排序不属于机器学习的主要任务，而是数据结构的一种操作）二、判断题6. √（人工智能确实是计算机科学的一个分支，主要研究如何使计算机具有智能）7. √（机器学习确实是一种无需编写明确规则，让计算机自动从数据中学习的算法）8. √（神经网络确实是一种模拟人脑神经元结构的算法）9. √（深度学习确实是一种基于神经网络的算法）10. √（计算机视觉确实是一种让计算机能够理解和解释图像和视频的技术）三、填空题11. 数据、算法、计算能力12. 支持向量机、决策树13. 弱人工智能、强人工智能、通用人工智能四、简答题14. 监督学习：从标记好的训练数据中学习，以预测新的、未标记的数据。
人工智能导论模拟试题
人工智能导论模拟试题1、在机器学习中，机器可以自行通过样本总结规律，不需要人工干预，就可以总结规律的方向以及参数的维度。
[判断题] *对错(正确答案)2、知识图谱已经成为推动人工智能发展的唯一核心驱动力。
[判断题] *对错(正确答案)3. 快递无人车配送主要是根据雷达控制、GPS定位、图像识别、路径规划、道路监控来实现快递车的运行及环境感知。
[判断题] *对(正确答案)错4. 无人机航拍主要利用遥感操控平台。
[判断题] *对(正确答案)错5. 惯性导航系统测量运动载体的线加速度和角速率数据，再对这些数据对距离进行微分运算。
[判断题] *对错(正确答案)6. 全局路径规划的主要规划内容是避免碰撞和保持安全距离。
[判断题] *对错(正确答案)7. 2010年美国颁布了以IEEE802.11P作为底层通信协议和以IEEE1609系列规范作为高层通信协议的V2X网联通通信标准。
[判断题] *对(正确答案)错8. 无人车自主避障的第一阶段是规划合理路线。
[判断题] *对错(正确答案)9. 三维自动目标识别（ATR）是指从三维成像的传感器数据中自动检测并识别目标。
[判断题] *对(正确答案)错10. 无人船分为自主无人船、非自主无人船两种。
[判断题] *对错(正确答案)1、现阶段的机器感知是计算机通过（）来辨别周围世界。
*A. 图像(正确答案)B. 声音(正确答案)C. 感觉D. 信息2、图像识别经历的阶段有（） [单选题] *A. 文字识别B. 数字图像处理C. 识别、物体识别D. 以上都是(正确答案)3、机器学习包括（） *A. 监督学习(正确答案)B. 无监督学习(正确答案)C. 半监督学习(正确答案)D. 强化学习(正确答案)4、模式识别的主要目标就是（） [单选题] *用计算机来模拟人的各种识别能力(正确答案)用语言来模拟人的各种识别能力用机器来模拟人的各种识别能力用感觉来模拟人的各种识别能力5、图像识别是指利用计算机对图像进行（） [单选题] *分析、解决、感受处理、分析、理解(正确答案)认知、感受、分析6、( )是以数字图像处理与识别为基础并结合人工智能、系统学等学科的研究,其研究成果被广泛应用在各种工业及探测机器人上。
人工智能 模拟试卷
《人工智能导论》试卷一、选择1、比起极小-- 极大法来，α-β剪枝法增大了找不到最佳走步的危险性，但其效率较高。
A 对B 错2、在A算法中，满足单调条件的h必然满足A*算法的条件。
A 对B 错3、设有机器人走迷宫问题，其入口坐标为(x0, y0)，出口坐标为(xt, yt)，当前机器人位置为(x, y)，若定义，当从入口到出口存在通路时，用A算法求解该问题，定能找到从入口到出口的最佳路径。
A 对B 错答案：B A A二、填空题1、在修正的A算法中，fm的含义是2、对任意节点n，设m是n的子节点，当h满足条件时，称h是单调的。
答案1、在修正的A算法中，fm的含义是到当前为止，扩展的节点中，f的最大值2、对任意节点n，设m是n的子节点，当h满足条件h(n)-h(m) ≤C(n, m), h(t) = 0 时，称h是单调的。
三、问答题1、简述用A*算法求解问题时为什么会出现重复扩展节点问题，解决的方法有哪些？2、简述回溯策略与深度优先策略的不同点。
3、某问题由下列公式描述：(1)、试用归结法证明(x)R(x)；(2)、做出修改证明树，提取问题的回答。
4、下图所示博弈树，按从左到右的顺序进行α-β剪枝搜索，试标明各生成节点的到推值，何处发生剪枝，及应选择的走步。
5、某问题的状态空间图如下图所示，其中括号内标明的是各节点的h值，弧线边的数字是该弧线的耗散值，试用A算法求解从初始节点S到目标节点T的路径。
要求给出搜索图，标明各节点的f值，及各节点的扩展次序，并给出求得的解路径。
6、给1～9九个数字排一个序列，使得该序列的前n(n=1,...,9) 个数字组成的整数能被n整除。
(1)、讨论哪些知识可以帮助该问题的求解。
(2)、用产生式系统描述该问题。
(给出综合数据库，规则集，上述知识要在规则集中反映出来)问答题答案第1题答：当问题有解时，A*算法总是找到问题的最优解结束。
如果h函数定义的不合理，则当扩展一个节点时，不一定就找到了从初始节点到该节点的最优路径，对于这样的节点，就有可能被多次扩展。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
人工智能导论模拟试卷北京语言大学网络教育学院《人工智能导论》模拟试卷一注意：1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。
请监考老师负责监督。
2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。
3.本试卷满分100分，答题时间为90分钟。
4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。
一、【单项选择题】(本大题共5小题，每小题2分，共10分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。
1、AI的英文缩写是（ B ）。
[A] Automatic Intelligence[B] Artificial Intelligence[C] Automatic Information[D] Artificial Information2、反演归结（消解）证明定理时，若当前归结式是（ C ）时，则定理得证。
[A] 永真式[B] 包孕式[C] 空子句[D] 恒等式3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（ A ）。
[A] 正向推理[B] 反向推理[C] 双向推理[D]简单推理4、仅个体变元被量化的谓词称为（ A ）。
[A] 一阶谓词[B] 原子公式[C] 二阶谓词[D]全称量词5、MGU是（ A ）。
[A]最一般合一[B] 最一般替换[C] 最一般谓词[D]基替换精心整理，用心做精品1二、【判断题】(本大题共5小题，每小题2分，共10分)正确的填T，错误的填F，填在答题卷相应题号处。
6、人工智能是研究如何制造出人造的智能机器或智能系统，来模拟人类智能活动的能力，以延伸人们智能的科学。
（ T ）7、目前大多数的专家系统都采用产生式系统的结构来建造。
（ T ）8、规则表达的可以是与待求解的问题有关的经验方面的知识，也可以是对求解问题有帮助的策略方面的知识。
（ F ）9、如果一个路径的第一个节点为问题的目的状态，最后一个节点为问题的初始状态，则该路径称为解路径。
（ F ）10、某问题可能具有的状态的总数，称之为问题的规模。
（ T ）三、【填空题】（本大题共12小题，20个空，每空2分，共40分）请将答案填写在答题卷相应题号处。
11、产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为（被触发规则）。
精心整理，用心做精品212、P(B|A) 表示在规则（A→B）中，证据A为真的作用下结论B为真的（概率）。
13、归结法中，可以通过（修改证明树）的方法得到问题的解答。
14、谓词逻辑中，重言式（tautology）的值是（真）。
15、利用归结原理证明定理时，若得到的归结式为（空集），则结论成立。
16、在启发式搜索当中，通常用（启发函数）来表示启发性信息。
17、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为（图搜索）技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表示，这种图称为（状态图）。
18、在二人博弈问题中，最常用的一种分析技术是（极大极小分析法），这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。
但它的效率较低，因此人们在此基础上，又提出了（α-β剪枝技术）。
19、某产生式系统中的一条规则：A（x）→B（x），则前件是（A （x）），后件是（B（x））。
20、图：指由（节点和有向边）组成的网络。
按连接同一节点的各边的逻辑关系又可分为（或图）和（与或图）。
21、xOn(x,y)Above(x,y)）。
()(y)(On(x,y)Above(x,y))化成子句形式为（∨∀∀→精心整理，用心做精品322、开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有（逻辑表示法），（框架），（产生式）和语义网络等。
四、【问答题】（本大题共4小题，每小题10分，共40分）请将答案填写在答题卷相应题号处。
23、图示博弈树，其中末一行的数字为假设的估值，请利用α-β剪枝技术剪去不必要的分枝。
（在节点及边上直接加注释）24、数字重写问题的变换规则如下：6→3，34→3，1精心整理，用心做精品46→4，23→2，14→2，22→1，1问如何用这些规则把数字6变换成一个由若干个1组成的数字串。
试用算法AO*进行求解，并给出搜索图。
求解时设k-连接符的耗散值是k个单位，h函数值规定为：h（1）＝0，h（n）＝n（n≠1）。
精心整理，用心做精品525、用归结反演法证明下列公式的永真性：（x）（y）{[P（f（x））∧Q（f（B））]→[P（f（A））∧P（y）∧Q （y）]}精心整理，用心做精品6精心整理，用心做精品726、给定下述语句：John likes all kinds of food.Apples are food.Anything anyone eats and isn't killed by is food. Bill eats peanuts and is still alive.Sue eats everything Bill eats.（1）用归结法证明"John likes peanuts。
"（2）用归结法提取回答"What food does Sue eat?"精心整理，用心做精品8精心整理，用心做精品9北京语言大学网络教育学院《人工智能导论》模拟试卷二注意：1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。
请监考老师负责监督。
2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。
3.本试卷满分100分，答题时间为90分钟。
4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。
一、【单项选择题】(本大题共5小题，每小题2分，共10分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。
1、产生式系统的推理不包括（ D ）。
2、下列哪项不在人工智能系统的知识所包含的要素中（ D ）。
3、在公式中∀y ∃xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x 可能依赖于y 值。
令这种依赖关系明显地由函数所定义，它把每个y 值映射到存在的那个x 。
这种函数叫做（ B ）。
4、子句~P ∨Q 和P 经过消解以后，得到（ B ）。
5、如果问题存在最优解，则下面几种搜索算法中，（ A ）必然可以得到该最优解。
[A] 宽度优先搜索[B] 深度优先搜索 [C] 有界深度优先搜索[D] 启发式搜索二、【判断题】(本大题共5小题，每小题2分，共10分)正确的填T ，错误的填F ，填在答题卷相应题号处。
[A] 正向推理 [B] 逆向推理 [C] 双向推理 [D] 简单推理[A] 事实 [B] 规则 [C] 控制和元知识 [D] 关系[A] 依赖函数 [B] Skolem 函数 [C] 决定函数 [D] 多元函数[A] P [B] Q [C] ~P [D] P ∨Q6、产生式系统由综合数据库、一组产生式规则（规则集）和一个控制系统（控制策略）三部分组成，称为产生式系统的三要素。
（ T ）7、产生式规则是知识表示的一种形式，其形式如下： IF <前件> THEN <后件>。
（ T ）8、解路径也可以用规则的序列表示，如果从问题的初始状态依次应用这些规则，得到的节点连同初始状态刚好是一个解路径的话。
解路径又可以称为问题的解，或简称为解。
（ T ）9、不利用与问题有关的求解知识，按照某种固定的方法扩展节点的搜索方法，称为启发式搜索方法。
（ F ）10、从被触发规则中选择一个规则来执行，被执行的规则称为可触发规则。
（ F ）三、【填空题】（本大题共10小题，20个空，每空2分，共40分）请将答案填写在答题卷相应题号处。
11、一条路径的耗散值等于连接这条路径各节点间所有耗散值的总和。
用（C(ni,nj)）表示从ni到nj的路径的耗散值。
12、（深度优先搜索）是一种盲目搜索方法，该方法每次选择深度最深的节点优先进行搜索。
13、当问题有解时，宽度优先搜索方法一定能找到问题的（解）。
当问题为单位耗散时，宽度优先搜索一定能找到问题的（最优解）。
14、一个推销员要到n个城市去办理业务，城市间里程数已知，如何从某个城市出发，每个城市只允许访问一次，并且必须访问一次，最后又回到原来的城市，怎么走才能使得所行走的路线路程最短。
该问题称为（旅行商）问题，简称为（TSP）问题。
15、如果一种搜索算法，当问题有解时一定能找到问题的最优解，则称该算法是（可采纳）的，或者说该算法具有（可采纳性）。
16、在求解一个问题中所扩展的节点的总数，称为（扩展的节点数）。
一个节点无论被重复扩展了多少次，在计算时，都只计算（一次）。
17、能解节点定义如下：①（终节点）是能解节点；②若非终节点有（"或"）子节点时，当且仅当其子节点至少有一能解，该非终节点才能解；③若非终节点有（"与"）子节点时，当且仅当其子节点均能解，该非终节点才能解。
18、局部图的耗散值定义如下：①若n是局部图的一个叶节点，则k（n，N）=（h(n)），其中（h(n)）表示节点n到目标节点集的最佳解图耗散值的估计；②若n由一个外向连接符指向后继节点{n1，…，ni}，并设该连接符的耗散值为Cn，则k（n，N）= （Cn+ k（n1，N）+ … + k（ni，N））。
19、耗散值最小的解图称为（最佳）解图。
20、AO*算法是一种用于对（与或图）进行搜索的启发式搜索算法，该算法对目前找到的局部图进行评价，选择（耗散值最小）的局部图进行优先搜索，直到找到一个解图为止。
当启发函数h满足（单调）条件时，在问题有解的情况下，AO*算法一定能找到最佳解图结束。
四、【问答题】（本大题共4小题，每小题10分，共40分）请将答案填写在答题卷相应题号处。
21、用归结反演法证明下列公式的永真性：（x）（y）P（x，y）→（y）（x）P（x，y）22、已知事实公式为（（x）（y）（z）（Gt（x，y）∧Gt（y，z）→Gt（x，z））（u）（v）（Succ（u，v）→Gt（u，v）（x）（~Gt（x，x））求证Gt（5，2）试判断下面的归结过程是否正确？若有错误应如何改进：23、滑动积木块游戏的棋盘结构及某一种将牌的初始排列结构如下：其中B表示黑色将牌，W表示白色将牌，E表示空格。
游戏的规定走法是：（1）任意一个将牌可以移入相邻的空格，规定其耗散值为1；（2）任意一个将牌可相隔1个或2个其他的将牌跳入空格，规定其耗散值等于跳过将牌的数目；游戏要达到的目标是使所有白将牌都处在黑将牌的左边（左边有无空格均可）。