福州大学人工智能导论试卷
人工智能导论考核试卷
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值。
《人工智能导论》试卷库10
《人工智能导论》试卷库10试题部分：一. 选择题（15小题，共15分）1、97年5月，闻名的“人机大战”，最终运算机以3.5比2.5的总比分将世界国际象棋棋王 卡斯帕罗夫击败，这台运算机被称为（）A ）深蓝B ） IBMC ）深思D ）蓝天2、下列不在人工智能系统的知识包含的4个要素中 A ）事实 B ）规则 C ）操纵和元知识D ）关系 3、谓词逻辑下，子^C1=LVC1\C2=-LVC2\若。
是互补文字的（最一样）合一宜换. 则其归结式C=（）6、人工智能的含义最早由一位科学家于1950年提出，同时同时提出一个机器智能的测试模7、要想让机器具有智能，必须让机器具有知识。
因此，在人工智能中有一个研究领域，要 紧研究运算机如何自动猎取知识和技能，实现自我完善，这门研究分支学科叫（）。
8、下列哪部分不是专家系统的组成部分（）A ）可信度B ）信度C ）信任增长度D ）概率11、 AI 的英文缩写是A ）Automatic IntelligenceB ）Artifical IntelligenceC ）Automatice InformationD ）Artifical Information 12、 反演归结（消解）证明立理时，若当前归结式是（）时，则圧理得证。
A ）永真式 B ）包孕式（subsumed ）C ）空子句 13、 在公式中Vy3xp （x,y ））,存在戢词是在全称量词的辖域内，我们承诺所存在的x 可能依靠 于y 值。
令这种依靠关系明显地由函数所左义，它把每个y 值映射到存在的那个x 。
这种函 数叫做（）A. 依靠函数B. Skolem 函数C. 决泄函数D. 多元函数14、 子句~PvQ 和P 通过消解以后，得到（）A. PD. PvQA ）CroVC2 o4、或图通常称为A ）框架网络B)C1，VC2> C)ClaAC2 a B)语义图 C)博亦图 5、不属于人工智能的学派是 A ）符号主义 B ）机会主义 C ）行为主义D ）cr KCTD ）状态图 型，请问那个科学家是A ）明斯基B ） •扎徳C ）图林D ）冯•诺依曼A ）专家系统B ）机器学习C ）神经网络D ）模式识别A.）用户 B ）综合数据库 C ）推理机 D ）知识库 9、 产生式系统的推理不包括（）A ）正向推理B ）逆向推理 10、C （BIA ）表示在规则A->BC ）双向推理D ）简单推理证据A 为确实作用下结论B 为确实 B. Q15、假如问题存在最优解，则下而几种搜索算法中，()必迫能够得到该最优解。
人工智能导论测试题库及答案
人工智能导论测试题库及答案一、人工智能导论测试题库一、选择题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、人工智能的目的是让机器能够（），以实现某些脑力劳动的机械化。
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”表示最小的圆盘在第一个柱子（最上部）。
人工智能导论考试答案
人工智能导论考试答案一、选择题（每题5分，共25分）1. 以下哪项不属于人工智能的主要研究领域？A. 机器学习B. 自然语言处理C. 量子计算D. 计算机视觉答案：C2. 以下哪种算法不属于深度学习的范畴？A. 卷积神经网络（CNN）B. 循环神经网络（RNN）C. 决策树D. 长短时记忆网络（LSTM）答案：C3. 在机器学习中，以下哪项技术不属于监督学习？A. 线性回归B. 逻辑回归C. K-均值聚类D. 决策树答案：C4. 以下哪项不属于人工智能在现实生活中的应用？A. 智能语音助手B. 自动驾驶汽车C. 无人飞机D. 机器人手术答案：D5. 以下哪个国家在人工智能领域的发展处于领先地位？A. 美国B. 中国C. 英国D. 日本答案：A二、填空题（每题5分，共25分）1. 人工智能的英文缩写是______。
答案：AI2. 机器学习中的监督学习主要包括回归和______。
答案：分类3. 深度学习的核心技术是______。
答案：神经网络4. 人工智能在医疗领域的应用主要包括辅助诊断、______和医疗机器人。
答案：智能药物研发5. 以下哪项是人工智能发展的重要里程碑事件（______年）？答案：图灵测试（1950年）三、简答题（每题10分，共30分）1. 简述人工智能的三个基本层次。
答：人工智能的三个基本层次分别为：（1）计算智能：通过计算机程序实现人类智能的模拟。
（2）认知智能：研究人类大脑的工作原理，从而实现人工智能。
（3）情感智能：研究人类情感，使人工智能具备情感理解和表达能力。
2. 简述机器学习中的监督学习和无监督学习。
答：监督学习：通过输入训练数据和对应的标签，训练模型进行预测。
主要包括回归和分类任务。
无监督学习：通过输入未标记的数据，让模型自动发现数据中的规律和特征。
主要包括聚类、降维和关联规则学习等。
3. 简述深度学习中的卷积神经网络（CNN）的基本原理。
答：卷积神经网络（CNN）是一种特殊的神经网络结构，主要用于图像识别和图像处理。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
福州大学2014～2015学年第2学期考试A卷
课程名称人工智能导论考试日期2015-6-14
考生姓名学号专业或类别
题号一二三四总分累分人
签名题分100
得分
考生注意事项：1、本试卷共8 页，请查看试卷中是否有缺页。
2、考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。
一、填空题(每空1分，共20分)
得分评卷人
1. 人工智能三大学派是、和。
2. 在知识表示方法中，与谓词逻辑表示为ISA（LIMING ，MAN）等效的语义网络形式
为。
3.状态空间表示法的两个基本概念是和。
4. 产生式系统由3个部分组成：一个总数据库、、。
5. ANN中文意义是。
6. 反向传播（back-propagation,BP）算法过程是从输出节点开始，
，所以称为“反向传播”。
7. 消解反演证明定理时，若当前归结式是，则定理得证。
8. 子句和P经过消解以后，得到。
9．基于规则的正向演绎系统，其规则形式为，其中前项要满足的条件是。
10. 语义网络下的推理是通过和实现的。
11. 被成为人工智能之父，曾提出一个机器智能的测试模型。
12. 谓词公式(∀x)(∀y)(∃z)(P(x,y)∨Q(y,z)W(z))消去存在量词后，可以化为。
13. 设E
1=P(a,v,f(g(y))),E
2
=P(z,f(a),f(u)),则E
1
和E
2
的mgu（最一般合一）为。
14. 进化策略是在父矢量x
i
，i=1,2,……p中，通过加入一个
变量以及预先选择x的标准偏差来产生子代矢量x。
二、选择题(每小题2分，共20分)
得分评卷人
1. 在图搜索中，选择最有希望的节点作为下一个要扩展的节点，这种搜索方法叫做( )
A. 宽度搜索
B. 深度搜索
C. 有序搜索
D. 广义搜索
2. 下列人工神经网络属于反馈网络的是（）
A. Hopfield网
B. BP网络
C. 多层感知器
D. LVQ网络
3. 使用一组槽来描述事件的发生序列，这种知识表示法叫做( )
A. 语义网络法
B. 过程表示法
C. 剧本表示法
D. 框架表示法
4. 产生式系统的推理不包括( )
A. 正向推理
B. 逆向推理
C. 双向推理
D. 简单推理
5. 启发式搜索是寻求问题（）解的一种方法
A. 最优
B. 一般
C. 满意
D. 最坏
6. 语义网络表达知识时，有向弧AKO链、ISA链表达节点知识的（）
A. 无悖性
B. 可扩充性
C. 继承性
D. 完整性
7. 下面表达式对中（）是能够合一的。
A. P（q（f（v）），g（u））和P（x，x）
B. P（x，f（x））和P（y，y）
C. P（y，y，B）和P（z，x，z）
D. P（f（A），x），P（x，A）
8. 在遗传算法中，变量x的定义域为 [-2，5]，要求其精度为10-6，现用二进制进行编码，
则码长为（）
A. 20
B. 21
C. 22
D. 23
9. 在下列人工神经学习算法中，哪种是能够根据期望的和实际的网络输出之间的差来调整
神经元之间连接的强度或权。
（）
A. 有师学习
B. 无师学习
C. 强化学习
D. 都不是
10.下列哪种不属于进化计算（）
A. 遗传算法
B. 认知机
C. 进化编程
D. 进化策略
三、简答题(第1-4每小题5分，第5小题6分，共26分)
得分评卷人
1. 人工智能的主要研究和应用领域有哪些？(至少列出7个)其中，哪些是新的研究热点？（至少列出3个）
2. 请给出表示包含下面句子含义的语义网络：孙老师从2月至7月给软件工程专业讲授“人
工智能”课程。
3. 人工神经网络的构成与特性是什么？
4. 简述简单遗传算法的基本原理。
5. 设有下列语句，分别用相应的谓词公式把它们表示出来：
（1）并不是每一个人都想出国留学；
（2）欲穷千里目，更上一层楼；
四、综合题(第1-3小题每题8分，第4小题每题10分，共34分)
得分评卷人
1. 某问题的状态空间图如下图所示，其中括号内标明的是各节点的h值，弧线边的数字是该弧线的耗散值，试用A算法求解从初始节点S到目标节点T的路径。
要求给出搜索图，标明各节点的f值，及各节点的扩展次序，并给出求得的解路径。
2. 下图为一简单迷宫示意图及其平面坐标表示。
从入口到出口有若干条通路，请用启发式
搜索方法求从入口到出口处最短路径的走法，并画出状态空间图。
3.下图所示博弈树，按从左到右的顺序进行α-β剪枝搜索，试标明各生成节点的倒推值，何处发生剪枝（用“/”在图上标记），及应选择的走步。
4. 假设：所有不贫穷而且聪明的人是快乐的，读书的人不愚蠢，约翰能读书而且很富有，快乐的人过着幸福的生活。
请通过消解反演推理方法求证：能找到过着幸福生活的人。
2006～2007学年第2学期考试A 卷 参考答案
一、1. 符号主义，连接主义，行为主义 2.
3.状态，操作符
4.一套规则，一个控制策略
5.人工神经元网络
6.将误差信号沿原来的连接通路返回，通过修改各层神经元的连接权值，使误差信号减至最小
7.空子句
9. L→W 或L1∨L2→W，L 为单文字 10.继承，匹配 11.图灵 12. 13.
14. 零均方差的高斯随机 二、CBCDCCADAB
三、1.
（1）自然语言理解 （2）人工神经元网络
数据库智能检索 智能控制
专家咨询系统 智能调度和指挥 定理机器证明 智能决策支持系统 博弈 知识发现和数据发掘 机器人学 分布式人工智能 自动程序设计 组合调度问题 感知问题 模式识别
2.
LIMING
MAN
讲课事件 软件工程
专业学生 老师 孙老师
2月 7月 人工智能 讲课 Start End ISA Subject Object Action Course ISA
3.构成：略
特征：（1）能较好的模拟人的形象思维。
（2）具有大规模并行协同处理能力。
（3）具有较强的学习能力。
（4）具有较强的容错能力和联想能力。
（5）是一个大规模自组织、自适应的非线性动力系统。
4.遗传算法是一种随机搜索算法。
该算法将优化问题看作是自然界生物的进化过程。
模拟大自然生物进化的遗传规律来达到寻优的目的。
5.设A(x):想出国留学
P(x):欲穷千里目
Q(x):更上一层楼
（1）∃x（~A（x））
（2）（∀x）（Q（x） P（x））
四、1.
得到的解路径为：S-B-F-J-T
2.启发式搜索图：
状态空间图：
3.
4.证明：
R1：所有不贫穷且聪明的人都快乐：∀x（~Poor（x）∧Smart（x）→Happy（x））
R2：那些读书的人是聪明的：∀x（read（x）→Smart（x））
R3：约翰能读书且不贫穷：read（John）∧ ~Poor（John）
R4：快乐的人过着幸福的生活：∀x（Happy（x）→Blest（x））结论：约翰过着幸福的生活的否定：~ Blest（John）
将上述谓词公式转化为子句集并进行归结如下：
由R1可得子句：
Poor（x）∨~Smart（x）∨Happy（x）
由R2可得子句：
~read（y）∨Smart（y）
由R3可得子句：
read（John）
~Poor（John）
由R4可得子句：
~ Happy（z）∨Blest（z）
由结论的否定可得子句：
~ Blest（John）
根据以上6条子句，归结如下：
~ Happy（John）⑤⑥ John/z
Poor（John）∨~Smart（John）⑦① John/x
~Smart（John）⑧④
~ read（John）⑨② John/y
□⑩③
由上可得原命题成立。