《人工智能导论》试卷库-20
人工智能导论考核试卷
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.目标域数据过拟合
(完整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.要想让机器具有智能，必须让机器具有知识。
《人工智能导论》试卷
一、填空：1.人工智能的研究途径有（1）、（2）和行为模拟。
2.任意列举人工智能的四个应用性领域（3）、（4）、（5）、（6）。
3.人工智能的基本技术包括（7）、（8）、（9）归纳技术、联想技术。
4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。
5.谓词逻辑中，重言式（tautlogy）的值是（11）。
6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（12）。
7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着13 ，CF（A）=-1，则意味着（14），CF（A）=1，则意味着（15）。
8.谓词公式G是不可满足的，当且仅当对所有的解释（16）。
9.谓词公式与其子句集的关系是（17）。
10.利用归结原理证明定理时，若得到的归结式为（18），则结论成立。
11.若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= （19）。
12.若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= （20）。
13.有谓词公式G，置换δ，则G·ε= （21），δ·ε= （22）。
14.有子句集S=｛P(x),P(y)｝，其MGU= （23）。
15.在归结原理中，几种常见的归结策略并且具有完备性的是（24），（25），（26）。
16.状态图启发式搜索算法的特点是（27）。
17.广度优先搜索算法中，OPEN表的数据结构实际是一个（28），深度优先搜索算法中，OPEN表的数据结构实际是一个（29）。
18.产生式系统有三部分组成（30），（31）和推理机。
其中推理可分为（32）和（33）。
19.专家系统的结构包含人机界面、（34），（35），（36），（37）和解释模块。
20.在MYCIN推理中，对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）= （38），CF（A1∧A2 ）= （39），CF（A1∨A2 ）= （40）。
人工智能导论期末试题及答案
人工智能导论期末试题及答案1、【判断题】《人工智能》课程为理工类通选课,本课程给予学生的主要是思想而不是知识。
答案：√1.2图灵是谁？1、【单选题】图灵曾协助军方破解()的著名密码系统Enigma。
A、英国B、美国C、德国D、日本答案：A2、【判断题】电影《模仿游戏》是纪念图灵诞生90周年而拍摄的电影。
答案：X3、【判断题】图灵使用博弈论的方法破解了Enigma。
答案：√1.3为什么图灵很灵？1、【单选题】1937年,图灵在发表的论文()中,首次提出图灵机的概念。
A、《左右周期性的等价》B、《论可计算数及其在判定问题中的应用》C、《可计算性与λ可定义性》D、《论高斯误差函数》答案：B2、【单选题】1950年,图灵在他的论文()中,提出了关于机器思维的问题。
A、《论数字计算在决断难题中的应用》B、《论可计算数及其在判定问题中的应用》C、《可计算性与λ可定义性》D、《计算和智能》答案：D3、【判断题】存在一种人类认为的可计算系统与图灵计算不等价。
答案：X4、【判断题】图灵测试是指测试者与被测试者(一个人和一台机器)隔开的情况下,通过一些装置(如键盘)向被测试者随意提问。
如果测试者不能确定出被测试者是人还是机器,那么这台机器就通过了测试,并被认为具有人类智能。
答案：√1.4为什么图灵不灵？1、【单选题】以下叙述不正确的是()。
A、图灵测试混淆了智能和人类的关系B、机器智能的机制必须与人类智能相同C、机器智能可以完全在特定的领域中超越人类智能D、机器智能可以有人类智能的创造力答案：B2、【单选题】在政府报告中,()的报告使用“机器智能”这个词汇。
A、中国B、英国C、德国D、美国答案：D3、【多选题】机器智能可以有自己的“人格”体现主要表现在()。
A、模型间的对抗—智能进化的方式B、机器智能的协作—机器智能的社会组织C、机器智能是社会的实际生产者D、机器智能可以有人类智能的创造力答案：ABC4、【判断题】图灵测试存在的潜台词是机器智能的极限可以超越人的智能,机器智能可以不与人的智能可比拟。
2020公需科目《人工智能导论》答案
冯?诺依曼计算机的五个组成部分不包括（）A、运算器B、控制器C、处理器D、存储器答案：C2、(单选，10分)以下对强人工智能的描述不准确的是（）A、机器具有类人或者超越人的智慧B、人脑与AI界限模糊C、计算机可表现出不低于人类智能水平的外部智能行为D、计算机与人类特征连结答案：C3、(单选，10分)当前主流人工智能研究的三个重要特征不包括：（）A、关注智能体的外部行为，而不是产生该行为的内部过程B、关注如何模拟人类纯粹智能活动，而不是脑力活动C、将人工智能问题视为计算问题，通过数学建模进行求解D、最终目标是得到能够适应人类生存环境的智能体答案：C4、(单选，10分)以下哪个方法不属于检测人工智能的手段（）A、威诺格拉德模式挑战B、机器的标准化测试C、物理图灵测试D、中国餐馆测试答案：D5、(单选，10分)2016年3月15日，AlphaGo首次战胜的人类围棋世界冠军是：（）A、李世石B、柯洁C、古力D、樊麾答案：A以下哪个部件不是AlphaGo的组成部分（）A、策略网络B、评估网络C、蒙特卡罗树搜算法D、纳什均衡博弈算法答案：D7、(单选，10分)AlphaGo的评估网络的设计思想源于（）A、机器学习B、增强学习C、深度学习D、无监督学习答案：B8、(单选，10分)AlphaGo的策略网络所采用的学习算法模型是（）A、深度卷积神经网络B、循环神经网络C、递归神经网络D、深度博弈网络答案：A9、(单选，10分)以AlphaGo为代表的智能博弈机器人是典型的强人工智能。
A、正确B、错误答案：B10、(单选，10分)图灵测试与人工智能研究的最终目标都是得到可以通过图灵测试的计算机。
A、正确B、错误答案：BAI（人工智能）的英文缩写是（）A、Arifical InformationB、Automatic IdentificationC、Adobe IllustratorD、Artifical Intelligence答案：D2、(单选，5分)人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是（）A、马文?明斯基B、阿兰?图灵C、邓恩?埃德蒙D、冯?诺依曼答案：B3、(单选，5分)历史上人工智能经历过几次低谷期（）A、1次B、2次C、3次D、4次答案：B4、(单选，5分)下列哪部分不是专家系统的组成部分（）A、用户B、综合数据库C、推理机D、知识库答案：A5、(单选，5分)2017年，谷歌发起的围棋人机之战，其人工智能程序AlphaGo战胜的世界冠军是（）A、柯洁B、李昌镐C、李世石D、古力答案：A6、(单选，5分)不属于人工智能的三大学派是（）A、连接主义B、符号主义C、机会主义D、行为主义答案：C7、(单选，5分)神经网络研究属于下列（）学派A、连接主义B、符号主义C、行为主义D、以上都不是答案：A8、(单选，5分)符号主义代表人物不包括（）A、约翰?霍普菲尔德B、马文?明斯基C、纽厄尔D、西蒙答案：A9、(单选，5分)1997年5月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）。
人工智能导论期末测试题及答案
一、单选题1、人工智能的目的是让机器能够（），以实现某些脑力劳动的机械化。
A.具有完全的智能B.和人脑一样考虑问题C.完全代替人D.模拟、延伸和扩展人的智能正确答案：D2、符号主义认为人工智能源于（）。
A.数理逻辑B.神经网络C.信息检索D.遗传算法正确答案：A3、神经网络研究属于下列（）学派。
A.符号主义B.连接主义C.行为主义D.都不是正确答案：B4、行为主义认为智能取决于（）。
A.表示和推理B.感知和行动C.以上都不是D. 推理和计算正确答案：B5、有一个农夫带一匹狼、一只羊和一棵白菜过河（从河的北岸到南岸）。
如果没有农夫看管，则狼要吃羊，羊要吃白菜。
但是船很小，只够农夫带一样东西过河。
用0和1表示狼、羊、白菜分别运到南岸的状态，0表示不在南岸，1表示在南岸，（如：100表示只有狼运到南岸）。
初始时，南岸状态为000，表示狼、羊、白菜都没运到南岸，最终状态为111，表示狼、羊、白菜都运到了南岸。
用状态空间为农夫找出过河方法，以下狼、羊、白菜在南岸出现的序列可能是（）。
A.000-010-001-101-111B.000-100-110-111C.000-001-011-111D.000-001-011-110正确答案：A6、在图搜索算法中，设规定每次优先从OPEN表的顶端取一个节点进行考察，则在宽度优先搜索中，新扩展出的子代节点应该放在OPEN 表的（）。
A.前端B.末端C.任意位置D.中间位置正确答案：B7、深度优先搜索中起始节点的深度是（）。
A.0B.1C.2D.3正确答案：A8、在等代价搜索算法中，总是选择（）节点进行扩展。
A.代价最小B.深度最小C.深度最大D.代价最大正确答案：A9、在A＊算法中，希望估价函数的f是f＊的一个估计，可由下式给出：f(n)=g(n)+h(n)其中，g是g＊的估计，h为启发式函数，h是h＊的估计，那么此定义中包含了（）。
A.q tB.A tC. A pD. A t正确答案：C10、三圆盘的梵塔难题采用问题规约表示，设初始问题描述为（111），第一个“1”表示最大圆盘在第一个柱子（最下部），第三个“1”表示最小的圆盘在第一个柱子（最上部）。
《人工智能导论》试卷库-20
安徽理工大学《人工智能》试卷库（二）一、选择题：（13小题，共13分）1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（）。
A. 明斯基B. 扎德C. 图灵D. 冯.诺依曼2.下列哪个不是人工智能的研究领域（）A.机器证明B.模式识别C. 人工生命D. 编译原理3.神经网络研究属于下列（）学派A. 符号主义B. 连接主义C. 行为主义D. 都不是4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。
这是知识表示法叫（）A. 状态空间法B. 问题归约法C. 谓词逻辑法D. 语义网络法5.在公式中∀y∃xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。
令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。
这种函数叫做（）A. 依赖函数B. Skolem函数C. 决定函数D. 多元函数6.子句~P∨Q和P经过消解以后，得到（）A. PB. QC. ~PD.P∨Q7,8.A∧（A∨B）⇔A 称为（），~（A∧B）⇔~A∨~B称为（）A.结合律B.分配律C.吸收律D.摩根律9,10.如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解，（）可以认为是“智能程度相对比较高”的算法。
A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.启发式搜索11.产生式系统的推理不包括（）A. 正向推理B. 逆向推理C. 双向推理D. 简单推理12.下列哪部分不是专家系统的组成部分（）A. 用户B. 综合数据库C. 推理机D. 知识库13. 要想让机器具有智能，必须让机器具有知识。
因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。
A. 专家系统B. 机器学习C. 神经网络D. 模式识别！二、填空题：（12小题，共30分）1.人工智能三大学派是。
人工智能复习题库
一、填空：1.人工智能的研究途径有心理模拟、生理模拟和行为模拟。
2.任意列举人工智能的四个应用性领域难题求解、定理证明、智能控制、机器翻译。
3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术。
4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。
5.谓词逻辑中，重言式（tautlogy）的值是真。
6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（12）。
7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着13 ，CF（A）=-1，则意味着（14），CF（A）=1，则意味着（15）。
8.谓词公式G是不可满足的，当且仅当对所有的解释G都为假。
9.谓词公式与其子句集的关系是包含。
10.利用归结原理证明定理时，若得到的归结式为空集，则结论成立。
11.若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= ┐P∨P或┐Q∨Q。
12.若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= （20）Q（a）∨R（y）13.有谓词公式G，置换δ，则G·ε= （21），δ·ε= （22）。
14.有子句集S=｛P(x),P(y)｝，其MGU= {y/x} 。
15.在归结原理中，几种常见的归结策略并且具有完备性的是删除策略支持集策略线性归结策略16.状态图启发式搜索算法的特点是（27）。
17.广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个单链表。
18.产生式系统有三部分组成综合数据库，知识库和推理机。
其中推理可分为正向推理和反向推理。
19.专家系统的结构包含人机界面、知识库，推理机，动态数据库，知识库答理系统和解释模块。
20.在MYCIN推理中，对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）= ~CF（A），CF（A1∧A2 ）= min{CF（A1），CF（A2）} ，CF（A1∨A2 ）= max{CF（A1），CF（A2）} 。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
安徽理工大学《人工智能》试卷库（二）一、选择题：（13小题，共13分）1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（）。
A. 明斯基B. 扎德C. 图灵D. 冯.诺依曼2.下列哪个不是人工智能的研究领域（）A.机器证明B.模式识别C. 人工生命D. 编译原理3.神经网络研究属于下列（）学派A. 符号主义B. 连接主义C. 行为主义D. 都不是4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。
这是知识表示法叫（）A. 状态空间法B. 问题归约法C. 谓词逻辑法D. 语义网络法5.在公式中∀y∃xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。
令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。
这种函数叫做（）A. 依赖函数B. Skolem函数C. 决定函数D. 多元函数6.子句~P∨Q和P经过消解以后，得到（）A. PB. QC. ~PD.P∨Q7,8.A∧（A∨B）⇔A 称为（），~（A∧B）⇔~A∨~B称为（）A.结合律B.分配律C.吸收律D.摩根律9,10.如果问题存在最优解，则下面几种搜索算法中，（）必然可以得到该最优解，（）可以认为是“智能程度相对比较高”的算法。
A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.启发式搜索11.产生式系统的推理不包括（）A. 正向推理B. 逆向推理C. 双向推理D. 简单推理12.下列哪部分不是专家系统的组成部分（）A. 用户B. 综合数据库C. 推理机D. 知识库13. 要想让机器具有智能，必须让机器具有知识。
因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（）。
A. 专家系统B. 机器学习C. 神经网络D. 模式识别！二、填空题：（12小题，共30分）1.人工智能三大学派是。
2.化成子句形式为：。
3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是4.AI的英文缩写是5.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的，而在一个量词的辖域中与该量词的指导变元相同的变元称为，其他变元称为6、假言推理（A→B）∧A⇒，假言三段论（A→B）∧（B→C）⇒7、几种常用的归结策略：、支持集策略、线形归结策略、输入归结策略、单元归结策略8、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为9.在启发式搜索当中，通常用来表示启发性信息。
10.在二人博弈问题中，最常用的一种分析技术是，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。
但它的效率较低，因此人们在此基础上，又提出了11.某产生式系统中的一条规则：A（x）→B（x），则前件是，后件是12.在框架和语义网络两种知识表示方法中，适合于表示结构性强的知识，而则适合表示一些复杂的关系和联系的知识。
不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。
三、简答题：（3小题，共27分）1.将下列自然语言转化为谓词表示形式：(1)所有的人都是要呼吸的。
(2)每个学生都要参加考试。
(3)任何整数或是正的或是负的。
（9分）2.何谓“图灵实验”？简单描述之（5分）3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(8分)(1)深度优先搜索(2)广度优先搜索4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副教授、教授）（5分）四、应用题：（2小题，共30分）1.设有A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者？A 答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个是说谎者”。
求谁是老实人，谁是说谎者？（15分）2. 设已知:(1)能阅读者是识字的;(2)海豚不识字;(3)有些海豚是聪明的;求证:有些聪明者并不能阅读. (15分)答案：一、选择题：（13小题，共13分）1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（C）。
A. 明斯基B. 扎德C. 图灵D. 冯.诺依曼2.下列哪个不是人工智能的研究领域（D）A.机器证明B.模式识别C. 人工生命D. 编译原理3.神经网络研究属于下列（B）学派A. 符号主义B. 连接主义C. 行为主义D. 都不是4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。
这是知识表示法叫（B）A. 状态空间法B. 问题归约法C. 谓词逻辑法D. 语义网络法5.在公式中∀y∃xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。
令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。
这种函数叫做（B）A. 依赖函数B. Skolem函数C. 决定函数D. 多元函数6.子句~P∨Q和P经过消解以后，得到（B）A. PB. QC. ~PE.P∨Q7,8.A∧（A∨B）⇔A 称为（C），~（A∧B）⇔~A∨~B称为（D）B.结合律 B.分配律C.吸收律D.摩根律9,10.如果问题存在最优解，则下面几种搜索算法中，（A）必然可以得到该最优解，（D）可以认为在这几种算法中是“智能程度相对比较高”的算法。
E.广度优先搜索F.深度优先搜索G.有界深度优先搜索H.启发式搜索11.产生式系统的推理不包括（D）A. 正向推理B. 逆向推理C. 双向推理D. 简单推理12.下列哪部分不是专家系统的组成部分（A）A. 用户B. 综合数据库C. 推理机D. 知识库13. 要想让机器具有智能，必须让机器具有知识。
因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。
A. 专家系统B. 机器学习C. 神经网络D. 模式识别！二、填空题：（12小题，共30分）3.人工智能三大学派是符号主义、联结主义、行为主义。
4.化成子句形式为：。
3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是正向推理4.AI的英文缩写是Artifical Inteligence5.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的辖域，而在一个量词的辖域中与该量词的指导变元相同的变元称为约束变元，其他变元称为自由变元6、假言推理（A→B）∧A⇒ B ，假言三段论（A→B）∧（B→C）⇒A→C7、几种常用的归结策略：删除策略、支持集策略、线形归结策略、输入归结策略、单元归结策略8、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为图搜索技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为状态空间图（或状态图）9.在启发式搜索当中，通常用启发函数来表示启发性信息。
10.在二人博弈问题中，最常用的一种分析技术是极大极小分析法，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。
但它的效率较低，因此人们在此基础上，又提出了α-β剪枝技术11.某产生式系统中的一条规则：A（x）→B（x），则前件是A（x），后件是B（x）12.在框架和语义网络两种知识表示方法中，框架适合于表示结构性强的知识，而语义网络则适合表示一些复杂的关系和联系的知识。
面向对象不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。
三、简答题：（3小题，共27分）1.将下列自然语言转化为谓词表示形式：(4)所有的人都是要呼吸的。
(5)每个学生都要参加考试。
(6)任何整数或是正的或是负的。
（9分）解：设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))V-x(I(x)→R(x)∨N(x)))2.何谓“图灵实验”？简单描述之（5分）答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。
实验由三个封闭的房间组成，分别放置主持人、参与人和机器。
主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。
如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器”。
3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(8分)(3)深度优先搜索(4)广度优先搜索解：（１）深度优先搜索：１－２－５－６－１０－１１－３－７－１２－１３－４－８－９（２）广度优先搜索：１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副教授、教授）（5分）解：框架名：<大学教师>类属：<教师>学历：(学士、硕士、博士)专业：（计算机、电子、自动化、…..）职称：（助教、讲师、副教授、教授）四、应用题：（2小题，共30分）1.设有A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者？A 答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个是说谎者”。
求谁是老实人，谁是说谎者？（15分）解：设用Ｔ(x)表示x说真话。
如果Ａ说的是真话，则有如果Ａ说的是假话，则有：对Ｂ和Ｃ说的话作相同的处理，可得：把上面这些公式化成子句集，得到Ｓ：下面首先求谁是老实人。
把并入Ｓ得到。
即比Ｓ多如下一个子句：应用消解原理对Ｓ１进行消解：所以，Ｃ是老实人，即Ｃ从不说假话除此之外，无论如何对进行消解，都推不出ANSWER(B)和ANSWER(A)。
下面来证明Ａ和Ｂ不是老实人。
设Ａ不是老实人，则有把它否定并入Ｓ中，得到子句集，即比Ｓ多如下一个子句：应用消解原理对Ｓ2进行消解：所以，Ａ不是老实人。
同理，可以证明Ｂ也不是老实人。
2. 设已知:(1)能阅读者是识字的;(2)海豚不识字;(3)有些海豚是聪明的;求证:有些聪明者并不能阅读. (15分) 证:定义如下命题:R(x):x能阅读;L(x):x识字;I(x):x是聪明的;D(x):x是海豚;把已知条件及求证结论翻译成谓词公式为x(R(x)→L(x))...已知x(D(x)→～L(x))...已知x(D(x)∧I(x))...已知x(I(x)∧～R(x))...求证结论将已知条件,求证结论的反化成子句集①～R(x)∨L(x)②～D(y)∨～L(y)③D(a)④I(a)⑤～I(z)∨R(z)⑥～L(a)......2,3归结｛a/y｝⑦～R(a)......1,6归结｛a/x｝⑧R(a)......4,5归结｛a/z｝⑨□......7,8归结得证.。