人工智能答案1
人工智能技术及应用习题答案第1章

习题1一、名词解释1.弱人工智能弱人工智能是擅长于单个方面的人工智能。
比如有能战胜象棋世界冠军的人工智能,但是它只会下象棋,你要问它怎样更好地在硬盘上储存数据,它就不知道怎么回答你了。
2.强人工智能强人工智能系统包括了学习、语言、认知、推理、创造和计划,目标是使人工智能在非监督学习情况下处理前所未见的细节,并同时与人类开展交互式学习。
强人工智能目标:会自己思考的电脑。
3.感知智能感知智能,即视觉、听觉、触觉等感知能力,当下十分热门的语音识别、语音合成、图像识别。
4.认知智能认知智能则为理解、解释的能力。
5.计算智能计算智能即快速计算、记忆和储存能力6.符号主义符号主义,又称为逻辑主义、心理学派或计算机学派,其原理主要为物理符号系统(即符号操作系统)假设和有限合理性原理7.联结主义联结主义,又称为仿生学派或生理学派,其原理主要为神经网络及神经网络间的连接机制与学习算法8.行为主义行为主义,又称进化主义或控制论学派,其原理为控制论及感知-动作型控制系统。
二、选择题1、根据机器智能水平由低到高,( A )是正确的是。
A.计算智能、感知智能、认知智能B.计算智能、感应智能、认知智能C.机器智能、感知智能、认知智能D.机器智能、感应智能、认知智能2、三大流派的演化正确的是( C )。
A.符号主义->知识表示->机器人B.联结主义->控制论->深度学习C.行为主义->控制论->机器人D.符号主义->神经网络->知识图谱3、人工智能发展有三大流派,下列属于行为主义观点的包括(D)。
A.行为主义又叫心理学派、计算机主义B.行为主义又叫进化主义、仿生学派C.行为主义立足于逻辑运算和符号操作,把一些高级智能活动涉及到的过程进行规则化、符号化的描述,变成一个形式系统,让机器进行推理解释.D.基本思想是一个智能主体的智能来自于他跟环境的交互,跟其他智能主体之间的交互,提升他们的智能.4、( B )不是人工智能学派。
(完整word版)人工智能课后习题答案(清华大学出版社)

第1章1.1 解图如下:(1) 1->2(2) 1->3(3) 2->3(6) 3->2(5) 3->1(4) 2->1 8数码问题启发函数为不在位的将牌数启发函数为不在位的将牌数距离和S(4)S(5)第2章2.1 解图:第3章3。
18(1)证明:待归结的命题公式为()P Q P ∧→,合取范式为:P Q P ∧∧,求取子句集为{,,}S P Q P =,对子句集中的子句进行归结可得:① P ② Q ③ P④①③归结由上可得原公式成立。
(2)证明:待归结的命题公式为())(()())P Q R P Q P R →→∧→→→(,合取范式为:()()P Q R P Q P R ∨∨∧∨∧∧,求取子句集为{,,,}S P Q R P Q P R =∨∨∨,对子句集中的子句进行归结可得:①P Q R ∨∨ ②P Q ∨③ P④ R ⑤ Q ②③归结 ⑥P R ∨①④归结 ⑦ R ③⑥归结 ⑧④⑦归结由上可得原公式成立。
(3)证明:待归结的命题公式为()(())Q P Q P Q →∧→→,合取范式为:()()Q P Q P Q ∨∧∨∧,求取子句集为{,,}S Q P Q P Q =∨∨,对子句集中的子句进行归结可得: ①Q P ∨②Q③Q P∨④P①②归结⑤P②③归结⑥④⑤归结由上可得原公式成立。
3.19 答案(1){/,/,/}=mgu a x b y b z(2){(())/,()/}=mgu g f v x f v u(3)不可合一(4) {/,/,/}=mgu b x b y b z3.23 证明R1:所有不贫穷且聪明的人都快乐:(()()())∀∧→x Poor x Smart x Happy x R2:那些看书的人是聪明的:(()())∀→x read x Smart xR3:李明能看书且不贫穷:()()∧read Li Poor LiR4:快乐的人过着激动人心的生活:(()())∀→x Happy x Exciting x 结论李明过着激动人心的生活的否定:()Exciting Li将上述谓词公式转化为子句集并进行归结如下:由R1可得子句:①()()()∨∨Poor x Smart x Happy x由R2可得子句:②()()read y Smart y∨由R3可得子句:③()read Li④()Poor Li由R4可得子句:⑤()()∨Happy z Exciting z有结论的否定可得子句:⑥()Exciting Li根据以上6条子句,归结如下:⑦()Happy Li⑤⑥Li/z⑧()()Poor Li Smart Li∨⑦①Li/x⑨()Smart Li⑧④⑩()read Li⑨②Li/y⑪⑩③由上可得原命题成立。
人工智能考试题及答案

人工智能考试题及答案一、选择题(每题2分,共20分)1. 人工智能的英文缩写是:A. AIB. IAC. IID. AII答案:A2. 下列哪项不是人工智能的主要分支?A. 机器学习B. 计算机视觉C. 神经网络D. 电子工程答案:D3. 深度学习是人工智能领域中的一种:A. 算法B. 编程语言C. 硬件D. 操作系统答案:A4. 以下哪个是人工智能的典型应用?A. 搜索引擎B. 电子邮件C. 社交网络D. 以上都是答案:D5. 以下哪个不是人工智能的关键技术?A. 自然语言处理B. 语音识别C. 量子计算D. 图像识别答案:C6. 人工智能之父是:A. 艾伦·图灵B. 约翰·麦卡锡C. 马文·明斯基D. 以上都是答案:B7. 人工智能中的“机器学习”主要指的是:A. 机器自己编写代码B. 机器通过经验改善性能C. 机器进行自我复制D. 机器执行预设任务答案:B8. 以下哪个不是人工智能的伦理问题?A. 数据隐私B. 自动化失业C. 机器歧视D. 机器自我意识答案:D9. 人工智能在医疗领域的应用不包括:A. 辅助诊断B. 药物研发C. 手术治疗D. 心理治疗答案:D10. 以下哪个是人工智能的发展趋势?A. 单一任务执行B. 通用人工智能C. 人工情感D. 人工意识答案:B二、简答题(每题10分,共30分)1. 请简述人工智能的定义及其主要应用领域。
答案:人工智能是指使机器模拟人类智能行为的科学,包括学习、推理、感知、语言理解和创造力等。
其主要应用领域包括医疗、教育、交通、金融、制造业等。
2. 描述一下人工智能在自动驾驶汽车中的应用。
答案:在自动驾驶汽车中,人工智能技术通过机器学习和计算机视觉等技术,使汽车能够识别道路、交通信号、行人和其他车辆,实现自动导航、避障和决策,提高驾驶安全性和效率。
3. 人工智能在教育领域的应用有哪些?答案:人工智能在教育领域的应用包括个性化学习推荐、智能辅导、自动评分、学习行为分析等,可以提高教学效率,实现个性化教学,促进学生全面发展。
人工智能课后答案[参考]
![人工智能课后答案[参考]](https://img.taocdn.com/s3/m/cd29484fbf23482fb4daa58da0116c175e0e1e57.png)
第一章课后习题1、对N=5、k≤3时,求解传教士和野人问题的产生式系统各组成部分进行描述(给出综合数据库、规则集合的形式化描述,给出初始状态和目标条件的描述),并画出状态空间图。
2、对量水问题给出产生式系统描述,并画出状态空间图。
有两个无刻度标志的水壶,分别可装5升和2升的水。
设另有一水缸,可用来向水壶灌水或倒出水,两个水壶之间,水也可以相互倾灌。
已知5升壶为满壶,2升壶为空壶,问如何通过倒水或灌水操作,使能在2升的壶中量出一升的水来。
3、对梵塔问题给出产生式系统描述,并讨论N为任意时状态空间的规模。
相传古代某处一庙宇中,有三根立柱,柱子上可套放直径不等的N个圆盘,开始时所有圆盘都放在第一根柱子上,且小盘处在大盘之上,即从下向上直径是递减的。
和尚们的任务是把所有圆盘一次一个地搬到另一个柱子上去(不许暂搁地上等),且小盘只许在大盘之上。
问和尚们如何搬法最后能完成将所有的盘子都移到第三根柱子上(其余两根柱子,有一根可作过渡盘子使用)。
求N=2时,求解该问题的产生式系统描述,给出其状态空间图。
讨论N为任意时,状态空间的规模。
4、对猴子摘香蕉问题,给出产生式系统描述。
一个房间里,天花板上挂有一串香蕉,有一只猴子可在房间里任意活动(到处走动,推移箱子,攀登箱子等)。
设房间里还有一只可被猴子移动的箱子,且猴子登上箱子时才能摘到香蕉,问猴子在某一状态下(设猴子位置为a,箱子位置为b,香蕉位置为c),如何行动可摘取到香蕉。
5、对三枚钱币问题给出产生式系统描述及状态空间图。
设有三枚钱币,其排列处在"正、正、反"状态,现允许每次可翻动其中任意一个钱币,问只许操作三次的情况下,如何翻动钱币使其变成"正、正、正"或"反、反、反"状态。
6、说明怎样才能用一个产生式系统把十进制数转换为二进制数,并通过转换141.125这个数为二进制数,阐明其运行过程。
7、设可交换产生式系统的一条规则R可应用于综合数据库D来生成出D',试证明若R存在逆,则可应用于D'的规则集等同于可应用于D的规则集。
国开电大人工智能导论形考任务一参考答案

·题目、
智能助手是以()为导向的聊天机器人?
·选项、
任务
过程
行业
目标
【答案】
任务
·题目、
语音识别:完成语音到()的转换。
·选项、
图像
文本
视频
以上所有
【答案】
文本
·题目、
通常一个聊天机器人由哪几个模块组成?()
·选项、
语音识别、自然语言理解、对话管理、自然语言生成
语音识别、自然语言理解、自然语言生成、语音合成
语音识别、自然语言理解、对话管理、自然语言生成、语音合成自然语言理解、对话管理、自然语言生成、语音合成
【答案】
语音识别、自然语言理解、对话管理、自然语言生成、语音合成
·题目、
语音合成是()。
人工智能导论单元练习题1及答案

一、单选题1、人工智能的目的是让机器能够____,以实现某些脑力劳动的机械化。
A.具有完全的智能B.和人脑一样考虑问题C.完全代替人D.模拟、延伸和扩展人的智能正确答案:D2、盲人看不到一切物体,他们可以通过辨别人的声音识别人,这是智能的____方面。
A.行为能力B.感知能力C.思维能力D.学习能力正确答案:B3、连接主义认为人的思维基元是____。
A.符号B.神经元C.数字D.图形正确答案:B4、第一个神经元的数学模型-MP模型是____年诞生的。
A.1943B.1958C.1982D.1986正确答案:A5、符号主义认为人工智能源于____。
A.数理逻辑B.神经网络C.信息检索D.遗传算法正确答案:A6、被誉为“人工智能之父”的科学家是____。
A.明斯基B.麦卡锡C.图灵D.香农正确答案:C7、在等代价搜索算法中,总是选择____节点进行扩展。
A.代价最小B.深度最小C.深度最大D.代价最大正确答案:A8、八数码问题中, 启发函数f(x)=g(x)+h(x)中的常使用____来定义g(x)。
A.节点x与目标状态位置不同的棋子个数B.节点x的子节点数C.节点 x 与目标状态位置相同的棋子个数D.节点x所在层数正确答案:D9、在图搜索算法中,设规定每次优先从OPEN表的前端取一个节点进行考察,则在宽度优先搜索中,新扩展出的子代节点应该放在OPEN 表的____。
A.前端B.末端C.任意位置D.后端正确答案:B10、在图搜索算法中,设规定每次优先从OPEN表的前端取一个节点进行考察,则在深度优先搜索中,新扩展出的子代节点应该放在OPEN 表的____。
A.前端B.末端C.任意位置D.后端正确答案:A11、如果问题存在最优解,则下面几种搜索算法中,____必然可以得到该最优解。
A.宽度优先搜索B.深度优先搜索C.有界深度优先搜索D.A*算法正确答案:A12、在启发式搜索中,____提供一个评定侯选扩展节点的方法,以便确定哪个节点最有可能在通向目标的最佳路径上。
人工智能选择题(1)

人工智能选择题(1)1.下列关于人工智能说法不正确的是() [单选题] *A 人工智能是关于知识的学科——怎样表示知识以及怎样获得知识并使用知识的科学B 人工智能就是研究如何使计算机去做过去只有人才能做的智能工作C 自1946年以来,人工智能学科经过多年的发展,已经趋于成熟,得到充分应用(正确答案)D 人工智能不是人的智能,但是像人那样思考,甚至也可能超过人的智能。
2.人工智能经常被称为世界三大尖端技术之一,下列说法错误的是() [单选题] *A 空间技术、能源技术、人工智能B 管理技术、工程技术、人工智能(正确答案)C 基因工程、纳米科学、人工智能D 人工智能已成为一个独立的学科分支,无论在理论上和实践上都已自成系统。
3.人工智能与思维科学的关系是实践与理论的关系。
从思维观点看,人工智能不包括() [单选题] *A 直觉思维(正确答案)B 逻辑思维C 形象思维D 灵感思维4.强人工智能强调人工智能的完整性,下列()不属于强人工智能 [单选题] *A (类人)机器的思考和推理就像人的思维一样B (非人类)机器产生了和人完全不一样的知觉和意识C 看起来像智能的,其实并不真正拥有智能,也不会有自主意识(正确答案)D 有可能制造出真正能推理和解决问题的智能机器5.电子计算机的出现使信息存储和处理的各个方面都发生了革命。
下列说法不正确的是() [单选题] *A 计算机是用于操纵信息的设备B 计算机在可改变的程序的控制下运行C 人工智能技术是后计算机时代的先进工具(正确答案)D 计算机这个用电子方式处理数据的发明,为实现人工智能提供了一种媒介6.人工智能在计算机的实现方法有很多种,但下列()不属于其中。
[单选题] *A 传统的编程技术,使系统呈现智能的效果B 多媒体拷贝复制和剪贴的方法C 传统开发方法而不考虑所用方法是否人或动物机体所用的方法相同(正确答案)D 模拟法,不仅要看效果,还要求是实现方法也和人类或生物机体所用的方法相同或相类似7.人工智能可分成运算资源基础、核心技术发展与应用领域等层次,深度学习是属于() [单选题] *A 运算资源基础B 核心技术发展(正确答案)C 应用领域D 以上ABC都有8.人工智能可分成运算资源基础、核心技术发展与应用领域等层次,智能机器人是属于() [单选题] *A 运算资源基础B 核心技术发展C 应用领域(正确答案)D 以上ABC都有9.所谓“智慧城市”,就是() [单选题] *A 运用信息和通信技术手段感测、分析、整合城市运行核心系统的各项关键信息B 对民生、环保、公共安全、城市服务、共商业活动等各种需求做出智能响应C 利用先进的信息技术,实现城市智慧式管理和运行,为城市人创造更美好生活D 上述所有(正确答案)10.“智慧城市”的概念源于()的理念 [单选题] *A 2008年IBM公司提出的“智慧地球”(正确答案)B 1995年微软公司提出的“Windows95”C 1987年华为公司提出的“构建万物互联的智世界”D 2010年谷歌公司提出的“工作赋予挑战,挑战带来快乐”11.对城市居民而言,智慧城市的基本要件就是能轻松找到最快捷的()供水供电有保障,且街道更加安全。
智慧树知到《人工智能基础》章节测试答案

智慧树知到《⼈⼯智能基础》章节测试答案智慧树知到《⼈⼯智能基础》章节测试答案第⼀章1、第⼀个击败⼈类职业围棋选⼿、第⼀个战胜世界围棋冠军的⼈⼯智能机器⼈是由⾕歌公司开发的()。
A.AlphaGoB.AlphaGoodC.AlphaFunD.Alpha答案: AlphaGo2、⽆需棋谱即可⾃学围棋的⼈⼯智能是()A.AlphaGo FanB.AlphaGo LeeC.AlphaGo MasterD.AlphaGo Zero答案: AlphaGo Zero3、世界上第⼀次正式的AI会议于()年召开,John McCarthy 正式提出“Artificial Intelligence”这⼀术语A.1954B.1955C.1956D.1957答案: 19564、以下哪些不是⼈⼯智能概念的正确表述()A.⼈⼯智能是为了开发⼀类计算机使之能够完成通常由⼈类所能做的事B.⼈⼯智能是研究和构建在给定环境下表现良好的智能体程序C.⼈⼯智能是通过机器或软件展现的智能D.⼈⼯智能将其定义为⼈类智能体的研究答案: ⼈⼯智能将其定义为⼈类智能体的研究5、下⾯不属于⼈⼯智能研究基本内容的是()。
A.机器感知B.机器学习C.⾃动化D.机器思维答案: ⾃动化6、⼈⼯智能是研究、开发⽤于模拟、延伸和扩展⼈的()的理论、⽅法、技术及应⽤系统的⼀门新的技术科学。
A.智能B.⾏为C.语⾔D.计算能⼒答案: 智能7、图灵测试的含义是()A.图灵测试是测试⼈在与被测试者(⼀个⼈和⼀台机器)隔开的情况下,通过⼀些装置(如键盘)向被测试者随意提问。
问过⼀些问题后,如果被测试者超过30%的答复不能使测试⼈确认出哪个是⼈、哪个是机器的回答,那么这台机器就通过了测试,并被认为具有⼈类智能。
B.所谓的图灵测试就是指⼀个抽象的机器,它有⼀条⽆限长的纸带,纸带分成了⼀个⼀个的⼩⽅格,每个⽅格有不同的颜⾊。
有⼀个机器头在纸带上移来移去。
机器头有⼀组内部状态,还有⼀些固定的程序。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
廉师友<<人工智能>>作业一参考答案1.已知前提:(1)如果x与y是同班同学,则x的老师也是y的老师;(2)小李和小张是同班同学;(3)王先生是小李的老师,运用自然演绎推理证明: 王先生也是小张的老师。
证明:首先定义谓词:Teacher x是y的老师x,)(yx(yClassmates x和y是同班同学,)则已知的前提可以符号化为:(1)))ClassmatesTeacheryyx∀y∀∀∧x→z())(z,,,x(zTeacher((2))TeacherWang,(Xiaoli(3))XiaoliClassmates(Xiaozhang,要证的结论为:)TeacherWang,(Xiaozhang推导过程如下:①))FxzFy∀∀P规则∀yx→y∧,(),z)(,xG(z(②ClassmatesXiaoliXiaozhangXiaoliTeacher→∧WangWangTeacher(,(Xiaozhang,))(,)①UI规则③)WangTeacher P规则(Xiaoli,④)XiaoliClassmates P规则,(Xiaozhang⑤)ClassmatesXiaoliXiaoliTeacher∧Wang,(Xiaozhang)(,③④合取引入⑥)Teacher②⑤假言推理Wang,(Xiaozhang(补充)利用自然演绎推理证明(,)W a b∀∀→和(,)⌝⌝是((,)(,))x y P x y W x yP a b的逻辑结果。
证明:①((,)(,))x y P x y W x y∀∀→P规则②)bP→①全称固化(UI规则)aaW,(),(b③)⌝P规则Wa(b,④(,)⌝②③拒取式规则P a b得证:(,)W a b∀∀→和(,)⌝的逻辑结论。
P a b⌝是((,)(,))x y P x y W x y2.教材P85页第1 题(6)uzwPQxywvwuzyx∧∃∀∀∃∃∃Rzuyx⌝∨vv,,,()(,,,x,(),))) )()()()(,(w)(z,,,)((解:①fzzvQabzazRvgzvP∨z⌝∧∀g ∀vazvfzbg,),((,,,,)),))))z,(,((,,()(((v,)(((,))),,②vbzzfgaagzRvzbP⌝a∨∧zzfzvgvzQ,,(),(,,))(,)))),(,,,(,,(),,(()),((v③vgzfzzvgzzaRbabxaP⌝∨fxyQxgy∧(v(,,),())(,))))(,,,,(),,,,,((,()),(求得子句集为{}))vgzfzzvzgzaRbabxaP⌝∨。
fxyxgyQ((,,),()),(v,(,,(),,(,,,,,()),(,(补充1)()()((,)((,)(,)))∀∃∨→x y P x y Q x y R x y解:①)))xyxyPQx∨∀R∃∨⌝y(,()(x),)()((y,(②)))QxxRfxf⌝∨∀xx∨Px((,))(f(,))(x()((,③))fxRQxP∨∨x⌝xfx(x))(,((,,())(f求得子句集为{}))xfxRQx⌝P∨xfx∨。
))((,(,((x,())f(补充2)))xPyQxzy∀∀∃→x∨Ry(),)(,((zx)()()(,解:①))PzxyxQyx∨∀∀∃⌝∨y,(),)(,((zx)()()(R②)))yxQxRyPyx∀⌝∨x∨∀,,()(f,)(,x)((y()(③))xRQx∨f⌝P∨xyy(,(,),(y,)(x求得子句集为{}))xyRxQy∨P∨xf⌝。
)(,(,,((y,)x3. 教材P85 页 第3 题:(3){()()(,),(),()(,),(),()}S P x Q y L x y P a R z L a z R b Q b =⌝∨⌝∨⌝⌝∨ 解: ①),()()(y x L x Q x P ⌝∨⌝∨⌝ ②)(a P③),()(z a L z R ∨⌝ ④)(b R ⑤)(b Q⑥),()(y a L y Q ⌝∨⌝ ①② }{x a / ⑦),(b a L ⌝ ⑤⑥ }{y b /⑧),(b a L③④ }{z b / ⑨NIL⑦⑧所以,原子句集是不可满足的。
(4){()()(),()(),(),()}S P x Q x R x P y R y Q a R b =∨∨⌝∨⌝⌝解:①)()()(x R x Q x P ∨∨ ②)()(y R y P ∨⌝③)(a Q ⌝ ④)(b R ⌝ ⑤)()(y R y Q ∨ ①② }{x y /⑥)(a R③⑤ }{y a /无法归结出空子句,所以原子句集是可满足的。
(5){()(),()(),()(),()}S P x Q x Q y R y P z Q z R u =∨⌝∨⌝∨⌝ 解: ①)()(x Q x P ∨②)()(y R y Q ∨⌝③)()(z Q z P ∨⌝ ④)(u R ⌝ ⑤)(u Q ⌝ ②④ }{y u /⑥)(u P①⑤ }{x u / ⑦)(u P ⌝ ③⑤ }{x u / ⑧NIL⑥⑦所以,原子句集是不可满足的。
(补充1){()(),()(),(),(),()()}S P x Q x P y R y P a S a S z R z =⌝∨⌝∨⌝∨⌝ 解: ①)()(x Q x P ∨⌝ ②)()(y R y P ∨⌝ ③)(a P ④)(a S⑤)()(z R z S ⌝∨⌝ ⑥)(a R ②③ }{y a / ⑦)(a R ⌝ ④⑤ }{x a /⑧NIL⑥⑦所以,原子句集是不可满足的。
(补充2){()((),),(())((()),)()}S P x Q f x a P h y Q f h y a P z =⌝∨⌝∨∨⌝ 解: ①)),(()(a x f Q x P ∨⌝②)())),((())((z P a y h f Q y h P ⌝∨∨⌝ ③))),((())((a y h f Q y h P ∨⌝ ② }{z y h /)(④))),((())((a y h f Q y h P ∨⌝① }{x y h /)(无法归结出空子句,所以原子句集是可满足的。
4、教材P86 页 第4 题: (3)1:()(()()(()(,)))F x P x y Q y L x y ∀→∀→⌝ 2:()(()()(()(,)))F x P x y R y L x y ∃∧∀→:()(()())G x R x Q x ∀→⌝解:首先将F 1,F 2和G ⌝化为子句集: F 1 : ① ),()()(y x L y Q x P ⌝∨⌝∨⌝F 2 :② )(a P③ ),()(z a L z R ∨⌝G ⌝ :④ )(b R⑤ )(b Q然后进行归结: ⑥ ),()(y a L y Q ⌝∨⌝ ①② }{x a / ⑦ ),(b a L ③④ }{z b / ⑧ ),(b a L ⌝ ⑤⑥ }{y b /⑨ NIL⑦⑧所以,G 是F 1和F 2的逻辑结论。
(补充1)1:()(()(()())):()(()())F x P x Q a Q bG x P x Q x ∀∧∨∃∧证明:首先将F 1和G ⌝化为子句集: F 1:① )(x P ② )()(b Q a Q ∨G ⌝:③ )()(y Q y P ⌝∨⌝然后进行归结: ④ )(x Q ⌝ ①③ }{y x / ⑤ )(b Q ②④ }{x a / ⑥ NIL④⑤ }{x b /所以,G 是F 1的逻辑结论。
(补充2)1:()(()()()((,)()))F x A x B x y D x y C y ∀∧⌝→∃∧ 2:()(()()()((,)()))F x E x A x y D x y E y ∃∧∧∀→3:()(()())F x E x B x ∀→⌝:()(()())G x E x C x ∃∧解:首先将F 1,F 2,F 3和G ⌝化为子句集: F 1 : ① ))(,()()(x f x D x B x A ∨∨⌝ ② ))(()()(y f C y B y A ∨∨⌝F 2 :③ )(b E ④ )(b A⑤ )(),(z E z b D ∨⌝F3 :⑥ )()(u B u E ⌝∨⌝G ⌝ :⑦ )()(v C v E ⌝∨⌝因为归结不出空子句,所以,G 不是F 1,F 2和F 3的逻辑结论。