人工智能引论复习题

（完整word版）⼈⼯智能复习题1 判断下列公式是否为可合⼀，若可合⼀，则求出其最⼀般合⼀。

(1) P(a, b), P(x, y)(2) P(f(x), b), P(y, z)(3) P(f(x), y), P(y, f(b))(4) P(f(y), y, x), P(x, f(a), f(b))解：(1) 可合⼀，其最⼀般和⼀为：σ={a/x, b/y}。

(2) 可合⼀，其最⼀般和⼀为：σ={y/f(x), b/z}。

(3) 可合⼀，其最⼀般和⼀为：σ={ f(b)/y, b/x}。

(4) 不可合⼀。

2 把下列谓词公式化成⼦句集：(1)(?x)(?y)(P(x, y)∧Q(x, y))(2)(?x)(?y)(P(x, y)→Q(x, y))(3)(?x)(?y)(P(x, y)∨(Q(x, y)→R(x, y)))(4)(?x) (?y) (?z)(P(x, y)→Q(x, y)∨R(x, z))解：(1) 由于(?x)(?y)(P(x, y)∧Q(x, y))已经是Skolem标准型，且P(x, y)∧Q(x, y)已经是合取范式，所以可直接消去全称量词、合取词，得{ P(x, y), Q(x, y)}再进⾏变元换名得⼦句集：S={ P(x, y), Q(u, v)}(2) 对谓词公式(?x)(?y)(P(x, y)→Q(x, y))，先消去连接词“→”得：(?x)(?y)(?P(x, y)∨Q(x, y))此公式已为Skolem标准型。

再消去全称量词得⼦句集：S={?P(x, y)∨Q(x, y)}(3) 对谓词公式(?x)(?y)(P(x, y)∨(Q(x, y)→R(x, y)))，先消去连接词“→”得：(?x)(?y)(P(x, y)∨(?Q(x, y)∨R(x, y)))此公式已为前束范式。

再消去存在量词，即⽤Skolem函数f(x)替换y得：(?x)(P(x, f(x))∨?Q(x, f(x))∨R(x, f(x)))此公式已为Skolem标准型。

人工智能导论 1、(单选，4分)当前最流行的深度学习属于（）A、连接主义B 、符号注意C 、行为主义D 、经验主义答案：A 2、(单选，4分) AI 是（）的英文缩写A 、Automatic?Intelligence B 、Artificial Intelligence C 、Automatice?Information D 、Artifical?Information 答案：B 3、(单选，4分)下列哪个不是人工智能的研究领域()A 、机器学习B 、图像处理C 、自然语言处理D 、编译原理答案：D 4、(单选，4分)（）最早提出了机器智能的测试模型，并提出了人工智能的含义A、爱因斯坦 B 、霍金 C 、波尔D 、图灵答案：D 5、(单选，4分)人工智能的目的是让机器能够( ),以实现某些脑力劳动的机械化。

A 、具有完全的智能B 、和人脑一样考虑问题 C 、完全代替人D 、模拟、延伸和扩展人的智能答案：D6、(单选，4分)下列关于人工智能的叙述不正确的有( )A 、人工智能技术它与其他科学技术相结合极大地提高了应用技术的智能化水平。

B 、人工智能是科学技术发展的趋势。

C 、因为人工智能的系统研究是从上世纪五十年代才开始的,非常新,所以十分重要。

D 、人工智能有力地促进了社会的发展。

答案：C 7、(单选，4分)自然语言理解是人工智能的重要应用领域,下面列举中的()不是它要实现的目标。

A 、理解别人讲的话。

B 、对自然语言表示的信息进行分析概括或编辑。

C 、欣赏音乐。

D 、机器翻译。

答案：C 8、(单选，4分)一般来讲,下列语言不常直接用于人工智能开发的是()。

A、Python B 、Go C 、R D 、汇编语言答案：D 9、(单选，4分) 确定性知识是指()知识。

A 、可以精确表示的B 、正确的C 、在大学中学到的知识D 、能够解决问题的 答案：A10、(单选，4分)阿尔法狗打败柯洁，用的是（）A 、人工思维B 、机器思维C 、人工智能D 、博弈论 答案：C11、(单选，4分)下列( )不属于艾莎克.阿莫西夫提出的“机器人三定律”内容?A 、机器人不得伤害人,或任人受到伤害而无所作为B 、机器人应服从人的一切命令,但命令与A相抵触时例外C 、机器人必须保护自身的安全,但不得与A,B 相抵触D 、机器人必须保护自身安全和服从人的一切命令。

一、选择题1.被誉为“人工智能之父”的科学家是（C ）。

A. 明斯基B. 图灵C. 麦卡锡D. 冯.诺依曼2. AI的英文缩写是( B )A. Automatic IntelligenceB. Artificial IntelligenceC. Automatic InformationD. Artificial Information3. 下列那个不是子句的特点（D ）A.子句间是没有合取词的(∧)B子句通过合取词连接句子(∧) C子句中可以有析取词(∨)D子句间是没有析取词的(∨)4. 下列不是命题的是（C ）。

A.我上人工智能课B. 存在最大素数C.请勿随地大小便D. 这次考试我得了101分5. 搜索分为盲目搜索和（A ）A启发式搜索B模糊搜索C精确搜索D大数据搜索6. 从全称判断推导出特称判断或单称判断的过程，即由一般性知识推出适合于某一具体情况的结论的推理是（ B ）A. 归结推理B. 演绎推理C. 默认推理D. 单调推理7. 下面不属于人工智能研究基本内容的是（C ）A. 机器感知B. 机器学习C. 自动化D. 机器思维8. S={P∨Q∨R, ┑Q∨R, Q, ┑R}其中, P 是纯文字，因此可将子句（A ）从S中删去A. P∨Q∨RB. ┑Q∨RC. QD. ┑R9. 下列不属于框架中设置的常见槽的是（B ）。

A. ISA槽B. if-then槽C. AKO槽D. Instance槽10. 常见的语意网络有（D ）。

A. A-Member - of联系B. Composed–of联系C. have 联系D. 以上全是1.在深度优先搜索策略中，open表是（B ）的数据结构A. 先进先出B. 先进后出C. 根据估价函数值重排D. 随机出2.归纳推理是（B ）的推理A. 从一般到个别B. 从个别到一般C. 从个别到个别D. 从一般到一般3. 要想让机器具有智能，必须让机器具有知识。

因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B ）A.专家系统B.机器学习C.神经网络D.模式识别4. 下列哪个不是人工智能的研究领域（D ）A.机器证明B.模式识别C.人工生命D.编译原理6. 在主观Bayes方法中，几率O(x)的取值范围为（D ）A. [-1, 1]B. [0, 1]C. [-1, ∞）D. [0, ∞）7. 仅个体变元被量化的谓词称为( A )A. 一阶谓词B. 原子公式C. 二阶谓词D. 全称量词8. 在可信度方法中，CF（H，E）的取值为（C ）时，前提E为真不支持结论H为真。

可编辑修改精选全文完整版《人工智能导论》期末复习一、题型：填空题、简答题、计算题、论述题二、复习重点：第一章：1．什么是人工智能？人工智能的三种观点分别是什么？2．实现人工智能的技术路线是哪四种？3．人工智能要研究的三个主要问题是什么？4．人工智能有哪些主要研究领域？第二章：1．什么是知识？何谓知识表示？2．用谓词逻辑表示法表示猴子摘香蕉问题。

3．产生式系统推理机的推理形式有哪三种？4．产生式系统一般由哪三个基本部分组成？5．用语义网络表示：“苹果树枝繁叶茂，上结了很多苹果，有大的，也有小的，有红的，也有绿的” 。

6．用与 / 或树方法表示三阶Hanoi 塔问题。

第三章：1．推理的含义是什么？2．应用归结原理求解下列问题：任何兄弟都有同一个父亲， John 和Peter 是兄弟，且 John 的父亲是 David ，问 Peter 的父亲是谁？第四章：1．可信度方法：例 4.1 ，例 4.22．主观 Bayes 方法：例 4.8 ，例 4.93．证据理论中描述证据和结论的不确定性采用哪两个函数度量？第五章：1．什么叫搜索？搜索的两层含义是什么？2．用全局最佳优先搜索方法求解以下八数码问题。

3．用代价树的深度优先搜索求解下面的推销员旅行问题。

第六章：1．什么是机器学习？机器学习研究的目标是什么？研究机器学习的意义何在？2．机器学习有哪些主要学习策略？3．机器学习系统的基本模型包含哪四个基本环节？4．实例学习的含义是什么？它包含哪两个空间模型？对规则空间进行搜索的方法有几种？第七章：1．什么是自然语言理解？自然语言理解过程有哪些层次？各层次的功能如何？2．对汉语语料库加工的方法是什么？汉语自动分词的方法有哪些？其难点何在？第八章：1．什么是专家系统？它有哪些基本特点？一般专家系统由哪些基本部分构成？2．知识获取的主要任务是什么？3．有哪几类专家系统开发工具？各有什么特点？第九章：1．解答 B-P 学习算法的流程图，并说明其优缺点。

人工智能试卷四一、选择题(每题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、根据美国教育家、心理学家霍华德·加德纳（Howard Gardner）提出的多元智能理论，人类的智能可以分成七个范畴，以下哪项不属于这七大范畴？CA、音乐智能B、空间智能C、计算智能D、语言智能2、“计算机之父”及“人工智能之父”是_________？BA、尼尔森（N.J.Nilsson）B、艾伦·图灵（Alan.M.Turing）C、马文·闵斯基（Marvin Lee Minsky）D、约翰·麦卡锡（John McCarthy）3、人工智能发展过程中的三大学派不包括：DA、符号主义B、连接主义C、行为主义D、逻辑主义4、“一个概念用一组数字，向量，矩阵或张量表示，各个节点并不表示特定的概念。

”描述了哪个学派？BA、符号主义B、连接主义C、行为主义D、逻辑主义5、人工智能的四要素是数据、算力、算法、场景。

其中______是基础。

DA、算力B、算法C、场景D、数据6、下列哪项不属于人工智能主要的三个技术方向？DA、计算机视觉B、语音处理C、自然语言处理D、大数据分析7、根据美国汽车工程师协会（SAE）将自动驾驶按照车辆行驶对于系统依赖程度的级别划分，在全场景下车辆行驶完全实现对系统的依赖属于哪一级别？BA、L4B、L5C、L6D、L78、计算机视觉的主要应用领域中，不包含以下哪一个？AA、文本挖掘B、智能交通C、文字处理D、公安安防9、智能医疗主要应用的人工智能中的哪一项技术？AA、计算机视觉B、语音处理C、自然语言处理D、大数据分析10、下面哪一项主要应用自然语言处理技术？CA、文字识别B、信号处理C、情感分析D、目标检测判断题1、数理逻辑智能是指准确感知视觉空间及周围一切事物，并且能把所感觉到的形象以图画的形式表现出来的能力。

False2、人工智能是研究、开发用于模拟、延伸和扩展人的智能理论、方法、技术及应用系统的一门新的技术科学，它是计算机科学的一个分支。

精选全文完整版（可编辑修改）人工智能导论测试题库及答案1、在关联规则分析过程中，对原始数据集进行事务型数据处理的主要原因是。

A、提高数据处理速度B、节省存储空间C、方便算法计算D、形成商品交易矩阵答案：C2、计算机视觉可应用于下列哪些领域()。

A、安防及监控领域B、金融领域的人脸识别身份验证C、医疗领域的智能影像诊断D、机器人/无人车上作为视觉输入系统E、以上全是答案：E3、1943年，神经网络的开山之作《A logical calculus of ideas immanent in nervous activity》,由()和沃尔特.皮茨完成。

A、沃伦.麦卡洛克B、明斯基C、唐纳德.赫布D、罗素答案：A4、对于自然语言处理问题，哪种神经网络模型结构更适合?()。

A、多层感知器B、卷积神经网络C、循环神经网络D、感知器答案：C5、图像的空间离散化叫做：A、灰度化B、二值化C、采样D、量化答案：C6、()越多，所得图像层次越丰富，灰度分辨率高，图像质量好。

A、分辨率B、像素数量C、量化等级D、存储的数据量答案：C7、一个完整的人脸识别系统主要包含人脸图像采集和检测、人脸图像特征提取和人脸识别四个部分。

A、人脸分类器B、人脸图像预处理C、人脸数据获取D、人脸模型训练答案：B8、下列不属于人工智能学派的是()。

A、符号主义B、连接主义C、行为主义D、机会主义答案：D9、关于正负样本的说法正确是。

A、样本数量多的那一类是正样本B、样本数量少的那一类是负样本C、正负样本没有明确的定义D、想要正确识别的那一类为正样本答案：D10、以下不属于完全信息博弈的游戏有()。

A、井字棋B、黑白棋C、围棋D、桥牌答案：D11、下列关于人工智能的说法中，哪一项是错误的。

A、人工智能是一门使机器做那些人需要通过智能来做的事情的学科B、人工智能主要研究知识的表示、知识的获取和知识的运用C、人工智能是研究机器如何像人一样合理思考、像人一样合理行动的学科D、人工智能是研究机器如何思维的一门学科答案：D12、认为智能不需要知识、不需要表示、不需要推理；人工智能可以像人类智能一样逐步进化；智能行为只能在现实世界中与周围环境交互作用而表现出来。

（人工智能）人工智能导论试卷库
1. 人工智能的发展史及其里程碑事件。

2. 人工智能为什么是热门话题并且未来的前景。

3. 机器学习的基本原理和分类方法。

4. 深度学习的基本原理和应用场景。

5. 自然语言处理的基本技术和应用领域。

6. 人工智能对社会和人类有哪些影响，可能带来哪些风险和挑战。

7. 人工智能在生活、医疗、金融、教育、工业等领域的具体应用案例。

8. 人工智能伦理和法律问题的探讨。

9. 未来人工智能发展的趋势和方向。

10. 如何提高人工智能算法的性能和效率，以及如何应对数据安全和隐私问题。

人工智能复习题集及答案在此提供一份人工智能复习题集及答案，帮助大家巩固相关知识。

请注意，以下题目并非出自真实考试，仅供复习之用。

一、选择题（每题2分，共30分）1. 人工智能（AI）是指：A. 人类的智能表现B. 计算机的智能表现C. 机器具有的类似人类智能的能力D. 机器的高速计算能力2. 下列哪个不属于人工智能的应用领域？A. 自动驾驶B. 语音识别C. 股票交易D. 图像识别3. 以下哪个算法被认为是人工智能的"父亲"？A. 卷积神经网络（CNN）B. 决策树（Decision Tree）C. 逻辑回归（Logistic Regression）D. 感知机（Perceptron）4. 人工智能的发展受到计算能力和以下哪个因素的制约？A. 数据量B. 算法复杂度C. 硬件性能D. 领域专家5. 在机器学习中，监督学习是指：A. 给模型提供明确的输入和输出标签B. 让模型自行学习数据的模式C. 通过奖励和惩罚教导模型D. 在模型训练过程中提供实时反馈6. 以下哪个不是强化学习中的组成部分？A. 环境B. 代理（Agent）C. 奖励信号（Reward Signal）D. 训练数据7. 在自然语言处理中，词嵌入（Word Embedding）用于：A. 将文本转化为离散的词汇序列B. 将文本转化为连续向量表示C. 生成语法正确的句子D. 实现机器翻译功能8. AlphaGo是一款成功击败人类围棋大师的人工智能程序，其核心技术是：A. 深度强化学习B. 迁移学习C. 遗传算法D. 逻辑推理9. 机器学习中的交叉验证是用来评估模型的：A. 泛化能力B. 训练速度C. 拟合程度D. 特征选择能力10. 在图像识别中，卷积神经网络（CNN）的核心操作是：A. 卷积B. 加法运算C. 乘法运算D. 激活函数二、填空题（每题2分，共20分）11. 人工智能的发展密切相关的一个领域是__________。

人工智能试卷四一、选择题(每题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.人工智能（AI）的核心目标是：
A.替代人类进行所有工作
B.模拟、延伸和扩展人的智能（正确答案）
C.仅用于科学研究
D.取代人类情感交流
2.下列哪项不属于人工智能的主要研究领域？
A.机器学习
B.自然语言处理
C.量子物理学（正确答案）
D.计算机视觉
3.机器学习中的“监督学习”是指：
A.让模型自己探索数据并发现模式
B.提供带有标签的数据集供模型学习（正确答案）
C.不使用任何数据进行训练
D.仅使用无标签数据进行训练
4.下列哪项技术是深度学习的基础？
A.决策树
B.神经网络（正确答案）
C.遗传算法
D.支持向量机
5.自然语言处理（NLP）的主要任务不包括：
A.文本分类
B.机器翻译
C.语音识别与合成
D.宇宙探索（正确答案）
6.人工智能在医疗领域的一个应用实例是：
A.自动驾驶汽车
B.智能家居控制
C.疾病诊断与预测（正确答案）
D.游戏开发
7.下列哪项不是人工智能伦理考量的重点？
A.数据隐私保护
B.人工智能的决策透明度
C.人工智能的艺术创作能力（正确答案）
D.人工智能对人类就业的影响
8.强化学习与传统监督学习的主要区别在于：
A.强化学习不需要环境反馈
B.强化学习通过试错来学习，依赖环境给予的奖励或惩罚（正确答案）
C.强化学习仅适用于游戏领域
D.强化学习不使用神经网络模型。

一、选择题每题1分,共15分1、人工智能是一门DA数学和生理学B心理学和生理学C语言学D综合性的交叉学科和边缘学科2、语义网络表达知识时,有向弧AKO 链、ISA 链是用来表达节点知识的 C;A 无悖性B 可扩充性C 继承性3、A->B∧A => B是CA附加律B拒收律C假言推理DUS4、命题是可以判断真假的DA祈使句B疑问句C感叹句D陈述句5、仅个体变元被量化的谓词称为AA一阶谓词B原子公式C二阶谓词D全称量词6、MGU是AA 最一般合一 B最一般替换 C 最一般谓词D基替换最一般合一7、下列不在人工智能系统的知识包含的4个要素中DA 事实B 规则C 控制D 关系8、当前归结式是时,则定理得证;CA 永真式B 包孕式subsumedC 空子句9、或图通常称为DA框架网络B语义图C博亦图D状态图10、不属于人工智能的学派是BA符号主义 B 机会主义C行为主义D连接主义;11、所谓不确定性推理就是从 A 的初始证据出发,通过运用的知识,最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程;A不确定性, 不确定性 B确定性, 确定性C确定性, 不确定性 D 不确定性确定性12.要想让机器具有智能,必须让机器具有知识;因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫B ;A专家系统B机器学习C神经网络D模式识别13、下列哪部分不是专家系统的组成部分 AA.用户B综合数据库C推理机D知识库14、产生式系统的推理不包括DA正向推理B逆向推理C双向推理D简单推理15、CB|A 表示在规则A->B中,证据A为真的作用下结论B为真的BA可信度B信度C信任增长度D概率二、填空题每题1分,共30分1、人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是图灵2、从已知事实出发,通过规则库求得结论的产生式系统的推理方式是正向推理;3、AI的英文缩写是Artifical Intelligence ;4、不确定性类型按性质分：不确定性, 模糊性,不完全性, 不一致性;6、对证据的可信度CFA、CFA1、CFA2之间,规定如下关系：CF~A= 、CFA1∧A2 = 、CFA1∨A2 = ;-CFA,min{CFA1,CFA2},max{CFA1,CFA2}7、图：指由节点和有向边组成的网络;按连接同一节点的各边的逻辑关系又可分为和或图与或图;8、合一算法：求非空有限具有相同谓词名的原子公式集的MGU ;9、1997年５月,着名的“人机大战”,最终名为“深蓝”的计算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败;10、人工智能的远期目标是制造智能机器,近期目标是实现机器智能;三、简答及计算题每题5分,共25分1、解释下列模糊性知识：1 张三,体型,胖,;张三比较胖2 患者,症状,头疼, ∧患者,症状,发烧, →患者,疾病,感冒, 答：如果患者头疼并且发烧,则患者感冒了2、简单阐述产生式系统的组成：答：产生式规则系统推理机动态数据库3、补齐产生式系统与图搜索的对比表答：4、已知W={Pfx,gA,y,z,Pfx,z,z},求MGU解：k=0;S0=S;δ0=ε;S0不是单元素集,求得差异集D0={gA,y},z},其中z是变元,gA,y是项,且z不在gA,y中出现;k=k+1=1有δ1=δ0·｛gA,y/z｝=ε·｛gA,y/z｝=｛gA,y/z｝,S1=S0·｛gA,y/z｝={Pfx,gA,y,gA,y},S1是单元素集;根据求MGU算法,MGU=δ1=｛gA,y/z｝5、证明G是否是F1、F2的逻辑结论；))()(())()((2))()(()((1xRxSxGxSxPxFxRxQxPxF∧∃∧∃∧→∀：：：证:5、证:①┓Px∨Qx ．．．从F1变换②┓Py∨Ry ` ．．．从F1变换③Pa ．．．从F2变换④Sa ．．．从F2变换⑤┓Sz∨┓Rz ．．．结论的否定⑥Ra ．．．②③归结｛a/y｝⑦┓Ra．．．④⑤归结｛a/z｝⑧□．．．⑥⑦归结得证.四、应用题共30分1、将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表示答：1、答：谓词公式表示：xstudentx∧readx,三国演义语义网络表示如图：2、2、图示博弈树,其中末一行的数字为假设的估值,请利用α-β剪枝技术剪去不必要的分枝;在节点及边上直接加注释3、利用谓词逻辑表示下列知识包括已知和结论,然后化成子句集：1凡是清洁的东西就有人喜欢；2人们都不喜欢苍蝇求证：苍蝇是不清洁的;证：现定义如下谓词Lx,y------某人x喜欢某物y；Py------ 某物y是清洁的东西1 ∀y∃xPy→Lx,y ==> ┓Py∨Lfy,y2 ∀x┓Lx,Fly ==> ┓Lx,Fly3 PFly ．．．结论的反4 LfFly, Fly ．．．13归结,置换{Fly/y}5 □．．．24归结,{fFly/x}得证;。