人工智能与知识工程课程复习题

合集下载

人工智能复习提纲

人工智能复习提纲

人工智能复习题(09-10学年)编者:刘建华福建师范大学数学与计算机学院智能计算教研室基础题一.选择题:1.人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是()A.明斯基 B. 扎德 C. 图林 D . 冯.诺依曼2.要想让机器具有智能,必须让机器具有知识。

因此,在人工智能中有一个研究领域,主要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫()。

A. 专家系统B. 机器学习C. 神经网络D. 模式识别3.设论域U={u1,u2,u3},两个模糊集为:A=0.3/u1+0.5/u2+0.2/u3B=0.5/u1+0.8/u2+0.4/u3利用海明距离公式算得两个模糊集的匹配度为( )A. 0.233B. 0.237C. 0.6D. 0.34.对论域U={0,1, 2,3, 4,5},定义:“大”=0.01/1+0.1/2+0.4/3+0.81/4+1/5,则在‘有点大’中,4的隶属度为()A. 0.6561B. 0.729C. 0.9D. 0.815.人工智能学家夏克提出了概念依赖理论,其基本思想是:把人类生活中各类故事情节的基本概念抽取出来,构成一组原子概念,确定这些原子概念间的相互依赖关系,然后把所有故事情节都用这组原子概念及其依赖关系表示出来。

基于这个理论提出的一个知识表示方法是()A.框架表示法B.语义网络表示法C.脚本表示法D.产生表示法6.下列哪个不是进化算法(evolutionary computation)()。

A. 遗传算法B. 进化编程C. 粒子群优化算D. 神经网络7. 将知识的表示与如何使用这些知识的控制均表述在求解问题中,这种知识表示法叫做()A、语义网络法B、过程表示法C、剧本表示法D、框架表示法8.已知问题的初始描述,通过一系列变换把此问题最终变为一个子问题集合;子问题再变成子子问题,至到有些子问题的解可以直接得到,从而解决了初始问题。

ai复习题及答案

ai复习题及答案

ai复习题及答案一、选择题1. AI(人工智能)的英文全称是什么?A. Artificial IntelligenceB. Automatic InformationC. Artificial IntelligencesD. Artificially Intelligent答案:A2. 下列哪项不是人工智能的分支领域?A. 机器学习B. 自然语言处理C. 深度学习D. 量子计算答案:D3. 人工智能的发展历程中,以下哪个事件被认为是一个重要里程碑?A. 1950年图灵测试的提出B. 1969年阿波罗登月C. 1975年个人电脑的诞生D. 1984年苹果公司发布Macintosh电脑答案:A二、填空题4. 人工智能的三大支柱技术包括_______、_______和_______。

答案:机器学习、自然语言处理、计算机视觉5. 深度学习是机器学习的一个子领域,它主要依赖于一种称为_______的神经网络结构。

答案:多层神经网络(或深度神经网络)三、简答题6. 请简述人工智能在医疗领域的应用。

答案:人工智能在医疗领域的应用包括辅助诊断、患者监护、药物研发、手术机器人等。

通过图像识别技术,AI可以帮助医生分析医学影像,提高诊断的准确性;在患者监护方面,AI可以监测患者的生命体征,及时预警;在药物研发中,AI可以加速新药的筛选和测试过程;手术机器人则可以提高手术的精确度和安全性。

7. 什么是深度学习,它与传统机器学习有何不同?答案:深度学习是一种基于人工神经网络的学习算法,它能够自动提取数据特征,并通过多层的非线性变换来学习复杂的模式。

与传统机器学习相比,深度学习能够处理更加复杂的数据结构,如图像、语音和文本等,且通常不需要人工进行特征工程。

四、论述题8. 论述人工智能对现代社会的影响。

答案:人工智能对现代社会的影响是深远的。

首先,它极大地提高了生产效率,通过自动化和智能化,许多重复性或危险的工作可以由机器来完成。

人工智能复习试题和答案及解析

人工智能复习试题和答案及解析

一、单选题1. 人工智能的目的是让机器能够( D ),以实现某些脑力劳动的机械化。

A. 具有完全的智能B. 和人脑一样考虑问题C. 完全代替人D. 模拟、延伸和扩展人的智能2. 下列关于人工智能的叙述不正确的有( C )。

A. 人工智能技术它与其他科学技术相结合极大地提高了应用技术的智能化水平。

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

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

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

3. 自然语言理解是人工智能的重要应用领域,下面列举中的( C)不是它要实现的目标。

A. 理解别人讲的话。

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

C. 欣赏音乐。

D. 机器翻译。

4. 下列不是知识表示法的是()。

A. 计算机表示法B. 谓词表示法C. 框架表示法D. 产生式规则表示法5. 关于“与/或”图表示知识的叙述,错误的有( D )。

A. 用“与/或”图表示知识方便使用程序设计语言表达,也便于计算机存储处理。

B. “与/或”图表示知识时一定同时有“与节点”和“或节点”。

C. “与/或”图能方便地表示陈述性知识和过程性知识。

D. 能用“与/或”图表示的知识不适宜用其他方法表示。

6. 一般来讲,下列语言属于人工智能语言的是( D )。

A. VJB. C#C. FoxproD. LISP7. 专家系统是一个复杂的智能软件,它处理的对象是用符号表示的知识,处理的过程是( C )的过程。

A. 思考B. 回溯C. 推理D. 递归8. 确定性知识是指(A )知识。

A. 可以精确表示的B. 正确的C. 在大学中学到的知识D. 能够解决问题的9. 下列关于不精确推理过程的叙述错误的是( B )。

A. 不精确推理过程是从不确定的事实出发B. 不精确推理过程最终能够推出确定的结论C. 不精确推理过程是运用不确定的知识D. 不精确推理过程最终推出不确定性的结论10. 我国学者吴文俊院士在人工智能的( A )领域作出了贡献。

人工智能与知识工程课程复习题

人工智能与知识工程课程复习题

“人工智能与知识工程”课程复习题一、辨析题1 .人工智能作为一门学科,在1956年诞生于美国Dartmouth 大学。

(正确)2 .英国数学家图灵1950年在思想(mind )杂志上发表的论文“计算机与智力”是人工 智能学科正式诞生的标志。

(错误)3 .人工智能是一门新兴的学科,对它的研究有逻辑学派、认知学派、知识工程学派等 许多学派。

(正确)4 .关于人工智能研究的途径目前主要有两种观点,一种观点被称为符号主义,另一种 观点被称为联结主义。

(正确)5 .谓词演算与命题演算在问题的描述和求解方面的能力是相同的。

(错误)6 .谓词逻辑只是在命题逻辑的基础上增加了谓词。

(错误)7 .如果两个谓词公式等价,则表明它们只是在形式上不同,其逻辑意义完全相同。

(正 确)8 .由推理规则产生的谓词演算公式不是永真的。

(正确)9 .由文字组成的子句未必是逻辑命题。

(错误)10 . 一个谓词演算公式与它的Skolem 标准型在逻辑上是等价的。

(错误)11 .知识表示包括一个系统,该系统提供到知识体的通路和对知识体访问的手段(亦即 计算处理过程),知识体是存放在存储器中的数据结构。

(正确)12 .蕴涵式和产生式在表示规则性知识时,虽然形式上相同,但功能上完全不同。

(正确) 13 .产生式规则就是命题逻辑或谓词逻辑中的蕴涵式。

(错误)14 .产生式知识表示方法属于陈述性知识表示的观点。

(错误)15 .产生式系统中只有规则库是用来表示知识的。

(错误)16 .产生式系统的推理机不包含知识。

(错误)二、单项选择题1 .与谓词演算公式」(D x )(才)(P (x , y ) A Q (x , y ))等价的公式是(B )A. (3x )(3y )(l P (x , y ) v 」Q (x , y ))B. (3x )(V y )(l P (x , y ) v 」Q (x , y ))C. (3x )(V y )(「P (x ,y )A 」Q (x ,y ))D. (V x )(3y )(「P (x ,y )v 」Q (x ,y ))2 .与谓词演算公式(3x )(P (x )) v (3y )(Q (y ))等价的命题是(C )B. (V x )(P (x )) A (V y )(Q (y ))3.谓词演算公式P (x , a , y )和P (z , z , b )的最一般合一式是(B )A. (V x )(P (x ) A Q (x )) C. (3x )(P (x ) v Q (x ))D. (3x )(P (x ) A Q (x ))A. %/'z , by }B. L.x , a-z , by }C.k;z,by}D.不可合一,所以没有最一般合一式4.谓词演算公式P(f (X), y)和P(y, f (a))的最一般合一式是(C)B.f (x),/y, a/x}C.f (a)/y, a. x}D.不可合一,所以没有最一般合一式5.一个子句集在删除其中被包孕的子句后所得到的新子句集,与原子句集在不可满足的意义下(A)A.等价B.不等价C.有时等价,有时不等价D.是否等价不能确定6.一个子句集在删除其中的重言式后所得到的新子句集,与原子句集在不可满足的意义下(A)A.等价B.不等价C.有时等价,有时不等价D.是否等价不能确定7,子句集S = L R(x) v T(x,d),R(c) v「T(c,d)},(B)A.是不可满足的B.是可满足的C.有时可满足,有时不可满足D.是否可满足不能确定8.对两个子句「R(x) v T(x,d)和R(c) v「T(c,d)进行消解,得到的结果是(B)A.空子句B.「R(c) v R(c)C. T(x, d)D, 「T(c, d)9.设J和C2是可以归结的两个子句,在某解释下C 1的真值为T,而C2的真值为F,则其归结式C在该解释下的真值(D)A.为TB.为FC.既不为T,也不为FD.不能确定10.设C1和C2是可以消解的两个子句,在某解释下C1和C2的真值都为T,则其消解式C 在该解释下的真值(A)A.为TB.为FC.既不为T,也不为FD.不能确定11. “黑色Buick车的引擎不能转动,并且电瓶内有电。

人工智能复习题汇总(附答案)

人工智能复习题汇总(附答案)

一、选择题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为真。

人工智能试题库含参考答案

人工智能试题库含参考答案

人工智能试题库含参考答案一、单选题(共103题,每题1分,共103分)1.某人回到家说了一声“灯光”,房间的灯就亮了,这主要应用了人工智能中的()A、语音识别技术B、指纹识别技术C、光学字符识别D、文字识别技术正确答案:A2.下面对梯度下降方法描述不正确的是A、梯度下降算法用来优化深度学习模型的参数B、梯度方向是函数值下降最快方向C、梯度反方向是函数值下降最快方向D、梯度下降算法是一种使得损失函数最小化的方法正确答案:B3.当训练数据较少时更()发生过拟合。

A、不会B、容易C、不容易正确答案:B4.以下选项中,不是Python中文件操作的相关函数是()A、write ()B、read ()C、open ()D、load ()正确答案:D5.以下哪一个关于卷积神经网络的说法是错误的A、AlexNet 是一个八层的卷积神经网络&B、&卷积神经网络中的建模学习,学习对象是每一层神经元的值&C、&目标检测网络 SSD 的网络结构中包含卷积层&D、&典型的卷积神经网络,由卷积层、池化层、激活层、全连接层等组成正确答案:B6.关于OLAP的特性,下面正确的是:()(1)快速性(2)可分析性(3)多维性(4)信息性(5)共享性A、(1)(2)(3)B、(2)(3)(4)C、(1)(2)(3)(4)D、(1)(2)(3)(4)(5)正确答案:D7.下列属于无监督学习的是:()A、k-meansB、SVMC、最大熵D、CRF正确答案:A8.()是空语句,一般用做占位语句,不做任何事情。

A、continueB、printC、breakD、pass正确答案:D9.列表a=[1,2,[3,4]],以下的运算结果为True的是()。

A、length(a)==3B、len(a)==3C、length(a)==4D、len(a)==4正确答案:B10.在分布式隐私保护机器学习系统中,()可为其提供算力支持。

【2024版】人工智能导论复习

【2024版】人工智能导论复习

可编辑修改精选全文完整版《人工智能导论》期末复习一、题型:填空题、简答题、计算题、论述题二、复习重点:第一章: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 学习算法的流程图,并说明其优缺点。

人工智能复习题

人工智能复习题

人工智能复习题人工智能复习题人工智能(Artificial Intelligence,简称AI)是近年来备受关注的热门话题。

随着科技的发展,AI在各个领域都有着广泛的应用。

下面是一些关于人工智能的复习题,希望能够帮助大家进一步了解这个领域。

1. 什么是人工智能?简要解释人工智能的概念,并列举一些人工智能的应用领域。

2. 人工智能的发展历程是怎样的?从早期的符号主义到现在的深度学习,介绍人工智能的发展历程和里程碑。

3. 人工智能的技术基础有哪些?介绍人工智能的技术基础,包括机器学习、神经网络、自然语言处理等。

4. 机器学习和深度学习有什么区别?解释机器学习和深度学习的概念,并比较它们之间的区别。

5. 人工智能在医疗领域的应用有哪些?举例说明人工智能在医疗领域的应用,如辅助诊断、药物研发等。

6. 人工智能在交通领域的应用有哪些?介绍人工智能在交通领域的应用,如自动驾驶、智能交通管理等。

7. 人工智能在金融领域的应用有哪些?讨论人工智能在金融领域的应用,如风险评估、智能投资等。

8. 人工智能的发展对社会和经济有何影响?探讨人工智能的发展对社会和经济带来的影响,包括就业、隐私等方面。

9. 人工智能的伦理问题有哪些?分析人工智能发展过程中涉及的伦理问题,如道德责任、隐私保护等。

10. 人工智能的未来发展趋势是什么?展望人工智能的未来发展趋势,如智能机器人、量子计算等。

以上是一些关于人工智能的复习题,希望能够帮助大家回顾和巩固相关知识。

人工智能作为一门新兴的科学领域,将对我们的生活和社会产生深远的影响。

在学习和应用人工智能的过程中,我们也需要关注其中的伦理和社会问题,共同推动人工智能的可持续发展。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

“人工智能与知识工程”课程复习题一、辨析题1.人工智能作为一门学科,在1956年诞生于美国Dartmouth大学。

(正确)2.英国数学家图灵1950年在思想(mind)杂志上发表的论文“计算机与智力”是人工智能学科正式诞生的标志。

(错误)3.人工智能是一门新兴的学科,对它的研究有逻辑学派、认知学派、知识工程学派等多学派。

(正确)4.关于人工智能研究的途径目前主要有两种观点,一种观点被称为符号主义,另一种观点被称为联结主义。

(正确)5.谓词演算与命题演算在问题的描述和求解面的能力是相同的。

(错误)6.谓词逻辑只是在命题逻辑的基础上增加了谓词。

(错误)7.如果两个谓词公式等价,则表明它们只是在形式上不同,其逻辑意义完全相同。

(正确)8.由推理规则产生的谓词演算公式不是永真的。

(正确)9.由文字组成的子句未必是逻辑命题。

(错误)10.一个谓词演算公式与它的Skolem标准型在逻辑上是等价的。

(错误)11.知识表示包括一个系统,该系统提供到知识体的通路和对知识体访问的手段(亦即计算处理过程),知识体是存放在存储器中的数据结构。

(正确)12.蕴涵式和产生式在表示规则性知识时,虽然形式上相同,但功能上完全不同。

(正确)13.产生式规则就是命题逻辑或谓词逻辑中的蕴涵式。

(错误)14. 产生式知识表示法属于述性知识表示的观点。

(错误)15. 产生式系统中只有规则库是用来表示知识的。

(错误)16. 产生式系统的推理机不包含知识。

(错误)二、 单项选择题1. 与谓词演算公式)),(),()()((y x Q y x P y x ∧∃∀⌝等价的公式是(B )A. )),(),()()((y x Q y x P y x ⌝∨⌝∃∃B. )),(),()()((y x Q y x P y x ⌝∨⌝∀∃C. )),(),()()((y x Q y x P y x ⌝∧⌝∀∃D. )),(),()()((y x Q y x P y x ⌝∨⌝∃∀2. 与谓词演算公式))()(())()((y Q y x P x ∃∨∃等价的命题是(C )A. ))()()((x Q x P x ∧∀B. ))()(())()((y Q y x P x ∀∧∀C. ))()()((x Q x P x ∨∃D. ))()()((x Q x P x ∧∃3. 谓词演算公式),,(y a x P 和),,(b z z P 的最一般合一式是(B ) A. {}y b z a , B. {}y b z a x a ,, C. {}y b z x , D. 不可合一,所以没有最一般合一式4. 谓词演算公式)),((y x f P 和))(,(a f y P 的最一般合一式是(C ) A. {}y a f x f y )(,)( B. {}x a y x f ,)( C. {}x a y a f ,)( D. 不可合一,所以没有最一般合一式5. 一个子句集在删除其中被包孕的子句后所得到的新子句集,与原子句集在不可满足的意义下(A )A. 等价B. 不等价C. 有时等价,有时不等价D. 是否等价不能确定6. 一个子句集在删除其中的重言式后所得到的新子句集,与原子句集在不可满足的意义下(A )A. 等价B. 不等价C. 有时等价,有时不等价D. 是否等价不能确定7. 子句集{}),()(),,()(d c T c R d x T x R S ⌝∨∨⌝=,(B )A. 是不可满足的B. 是可满足的C. 有时可满足,有时不可满足D. 是否可满足不能确定8. 对两个子句),()(d x T x R ∨⌝和),()(d c T c R ⌝∨进行消解,得到的结果是(B )A. 空子句B. )()(c R c R ∨⌝C. ),(d x TD. ),(d c T ⌝9. 设1C 和2C 是可以归结的两个子句,在某解释下1C 的真值为T ,而2C 的真值为F ,则其归结式C 在该解释下的真值(D )A. 为TB. 为FC. 既不为T ,也不为FD. 不能确定10. 设1C 和2C 是可以消解的两个子句,在某解释下1C 和2C 的真值都为T ,则其消解式C在该解释下的真值(A )A. 为TB. 为FC. 既不为T ,也不为FD. 不能确定11. “黑色Buick 车的引擎不能转动,并且电瓶有电。

”为了能够用一个产生式系统检测这辆汽车的故障,应当把这些已知事实加入系统的(A )A. 综合数据库B. 规则库C. 综合数据库、规则库D. 推理机12. “蒙蒙是学龄儿童,身上有红色斑点,并且发烧。

”为了能够用产生式系统诊断蒙蒙所患的疾病,应当把这些事实加入系统的(C )A. 综合数据库和规则库B. 规则库C. 综合数据库D. 推理机三、 设F: ))),()()(())(),()()(((y x T y R y y Q y x P y x ∧∃→∧∃∀ G: ))(),()()(()()(y Q y x P y x x R x ⌝→∀∀→∃⌝求证:G 是F 的逻辑结论。

证明:首先将F 和G 的否定化为子句集F 的子句集为))}(,()(),()),(()(),({1x f x T y Q y x P x f R y Q y x P S ∨∨⌝∨∨⌝=G 的否定的子句集为)}(),,(),({2b Q b a P z R S ⌝=然后对子句集21S S S Y =按以下过程进行归结(1) ))(()(),(x f R y Q y x P ∨∨⌝ (2) ))(,()(),(x f x T y Q y x P ∨∨⌝(3) )(z R ⌝ (4) ),(b a P (5) )(b Q(6) )(),(y Q y x P ∨⌝ (1)与(3)归结 })({z x f =σ(7) )(b Q (4)与(6)归结 },{y b x a =σ(8) NIL (5)与(7)归结由于归结出空子句,从而证明G 是F 的逻辑结论。

四、设F 1: ))),()()(()()((y x L y Q y x P x ⌝→∀→∀F 2: ))),()()(()()((y x L y R y x P x →∀∧∃G: ))()()((x Q x R x ⌝→∀求证:G 是F 1,F 2的逻辑结论。

证明:首先将F 1,F 2和G 的否定化为子句集F 1的子句集为)},()()({1y x L y Q x P S ⌝∨⌝∨⌝=F 2的子句集为{}),()(),(2z a L z R a P S ∨⌝=G 的否定的子句集为{})(),(3b Q b R S =然后对子句集321S S S Y Y 按以下过程进行归结,从中归结出空子句(1) ),()()(y x L y Q x P ⌝∨⌝∨⌝ (2) )(a P (3) ),()(z a L z R ∨⌝ (4) )(b R(5))(b Q (6) ),()(y a L y Q ⌝∨⌝ (1)与(2)归结 }{x a =σ(7) ),(b a L (3)与(4)归结 }{z b =σ (8) )(b Q ⌝ (7)与(6)归结 }{y b =σ(9) NIL (8)与(5)归结从而证明G 是F 1,F 2的逻辑结论。

五、证明:))()()(())()()(()))()(()()((x R x T x x T x P x x R x Q x P x ∧∃⇒∧∃∧∧→∀证明:第一步:先对结论否定并与前提合并得谓词公式GG :))()()(())()()(()))()(()()((x R x T x x T x P x x R x Q x P x ∧∃⌝∧∧∃∧∧→∀第二步:将公式G 化为子句集,可将G 看作以下三项的合取G 1:)))()(()()((x R x Q x P x ∧→∀G 2:))()()((x T x P x ∧∃G 3:))()()((x R x T x ∧∃⌝对每一项分别求子句集G 1的子句集为)}()(),()({1x R x P x Q x P S ∨⌝∨⌝=G 2的子句集为)}(),({2a T a P S =G 3的子句集为)}()({3x R x T S ⌝∨⌝=从而得到G 的子句集)}()(),(),(),()(),()({321x R x T a T a P x R x P x Q x P S S S S ⌝∨⌝∨⌝∨⌝==Y Y第三步:应用归结原理,对子句集中的子句进行归结(1) )()(x Q x P ∨⌝ (2) )()(x R x P ∨⌝ (3) )(a P (4) )(a T (5) )()(x R x T ⌝∨⌝(6) )(a R (2)与(3)归结 }{x a =σ (7) )(a R ⌝ (4)与(5)归结 }{x a =σ(8) NIL (6)与(7)归结由此得出子句集是不可满足的,即G 是不可满足的,从而命题得证。

六、证明:))()()(())()()(()))()(()()((y C y D y y D y Q y y C y B y Q y ∧∃⇒∧∃∧∧→∀证明:第一步:对结论否定并与前提合并得谓词公式G :))()()(())()()(()))()(()()((y C y D y y D y Q y y C y B y Q y ∧∃⌝∧∧∃∧∧→∀ 第二步:将公式G 化为子句集,可将G 看作三项的合取,G 1:)))()(()()((y C y B y Q y ∧→∀G 2:))()()((y D y Q y ∧∃G 3:))()()((y C y D y ∧∃⌝对每一项分别求子句集G 1的子句集为)}()(),()({1y C y Q y B y Q S ∨⌝∨⌝=G 2的子句集为)}(),({2a D a Q S =G 3的子句集为)}()({3y C y D S ⌝∨⌝=从而得到G 的子句集)}()(),(),(),()(),()({321x C x D a D a Q y C y Q y B y Q S S S S ⌝∨⌝∨⌝∨⌝==Y Y 第三步:应用归结原理,对子句集中的子句进行归结(1) )()(y B y Q ∨⌝ (2) )()(y C y Q ∨⌝ (3) )(a Q (4) )(a D(5) )()(x C x D ⌝∨⌝ (6) )(a C (2)与(3)归结 }{y a =σ (7) )(a C ⌝(4)与(5)归结为 }{x a =σ (8) NIL (6)与(7)归结由此得出子句集是不可满足的,即G 是不可满足的,从而命题得证。

七、已知:(1) John 是贼;(2) Paul 喜欢酒和奶酪;(3) 如果Paul 喜欢某物,则John 也喜欢某物;(4) 如果某人是贼,而且他喜欢某物,则他就可能会偷窃某物。

相关文档
最新文档