福州大学《人工智能导论》试卷
人工智能导论考核试卷
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.目标域数据过拟合
《人工智能导论》试卷
人工智能试卷四一、选择题(每题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年５月，著名的“人机大战”，最终计算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（）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.要想让机器具有智能，必须让机器具有知识。
(完整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图灵是谁？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、【判断题】图灵测试存在的潜台词是机器智能的极限可以超越人的智能,机器智能可以不与人的智能可比拟。
人工智能导论测试题库及答案
人工智能导论测试题库及答案一、人工智能导论测试题库一、选择题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. 监督学习：从标记好的训练数据中学习，以预测新的、未标记的数据。
福州大学人工智能导论试卷
福州大学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. 设E1=P(a,v,f(g(y))),E2=P(z,f(a),f(u)),则E1和E2的mgu（最一般合一）为。
14. 进化策略是在父矢量xi，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. 下面表达式对中（）是能够合一的。
人工智能导论试卷(2)
课程名称人工智能导论考试日期 2007-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经过消解以后，得到 Q 。
9．基于规则的正向演绎系统，其规则形式为，其中前项要满足的条件是。
→W或L1∨L2→W，L为单文字2006～2007学年第2学期考试A卷13. 设E1=P(a,v,f(g(y))),E2=P(z,f(a),f(u)),则E1和E2的mgu（最一般合一）为。
14. 进化策略是在父矢量xi，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. 下面表达式对中（）是能够合一的。
人工智能导论试卷加答案
人工智能导论试卷加答案一、选择题（每题2分，共20分）1. 以下哪项不是人工智能的主要研究领域？A. 机器学习B. 自然语言处理C. 量子计算D. 计算机视觉答案：C2. 以下哪种算法不属于深度学习？A. 卷积神经网络（CNN）B. 循环神经网络（RNN）C. 决策树D. 长短时记忆网络（LSTM）答案：C3. 在机器学习领域，以下哪项技术不属于监督学习？A. 线性回归B. 逻辑回归C. K-均值聚类D. 决策树答案：C4. 以下哪种编程语言在人工智能领域应用最广泛？A. PythonB. JavaC. C++D. Ruby答案：A5. 在自然语言处理领域，以下哪种技术不属于词嵌入？A. Word2VecB. Doc2VecC. Sentiment AnalysisD. GloVe答案：C二、填空题（每题2分，共20分）6. 人工智能的三要素是：算法、数据和______。
答案：计算能力7. 机器学习可以分为监督学习、无监督学习和______。
答案：半监督学习8. 在深度学习中，卷积神经网络主要用于解决______问题。
答案：图像识别9. 强化学习中的智能体通过与环境的交互来学习达到______。
答案：最大回报10. 在自然语言处理领域，词嵌入技术可以将单词映射到______空间。
答案：高维三、判断题（每题2分，共20分）11. 人工智能就是让计算机像人类一样思考。
（）答案：错误12. 深度学习是机器学习的一个子领域。
（）答案：正确13. 监督学习需要大量的标注数据进行训练。
（）答案：正确14. 量子计算是人工智能的一个主要研究领域。
（）答案：错误15. 机器学习算法可以分为有监督学习和无监督学习两大类。
（）答案：正确四、简答题（每题10分，共30分）16. 简述机器学习的主要应用领域。
答案：机器学习的主要应用领域包括：（1）图像识别与处理：如人脸识别、物体识别、图像分割等；（2）自然语言处理：如机器翻译、情感分析、语音识别等；（3）推荐系统：如个性化推荐、广告推送等；（4）金融领域：如股票预测、信用评分、风险管理等；（5）生物信息学：如基因序列分析、蛋白质结构预测等；（6）其他领域：如无人驾驶、机器人、智能家居等。
- 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.空子句 8.Q
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
□⑩③
由上可得原命题成立。