人工智能课后答案第三章

合集下载

人工智能原理与方法智慧树知到课后章节答案2023年下哈尔滨工程大学

人工智能原理与方法智慧树知到课后章节答案2023年下哈尔滨工程大学

人工智能原理与方法智慧树知到课后章节答案2023年下哈尔滨工程大学哈尔滨工程大学第一章测试1.下列关于智能说法错误的是()A:任何生命都拥有智能 B:目前,人类智能是自然只能的最高层次 C:细菌不具有智能 D:从生命的角度看,智能是生命适应自然界的基本能力答案:细菌不具有智能2.目前,智能的定义已经明确,其定义为:智能是个体能够主动适应环境或针对问题,获取信息并提炼和运用知识,理解和认识世界事物,采取合理可行的(意向性)策略和行动,解决问题并达到目标的综合能力。

()A:错 B:对答案:错3.传统人工智能领域将人工智能划分为强人工智能与弱人工智能两大类。

所谓强人工智能指的就是达到人类智能水平的技术或机器,否则都属于弱人工智能技术。

()A:错 B:对答案:对4.人类历史上第一个人工神经元模型为MP模型,由赫布提出。

()A:对 B:错答案:错5.下列关于数据说法错误的是()A:在当今社会,数据的本质是生产资料和资产 B:数据就是描述事物的符号记录,是可定义为有意义的实体 C:数据可以分为模拟数据和数字数据两类 D:我们通常所说的数据即能够直接作为计算机输入的数据是模拟数据答案:我们通常所说的数据即能够直接作为计算机输入的数据是模拟数据6.下列关于大数据的说法中正确的有()A:大数据带来的思维变革中,更多是指更多的随机样本B:“大数据时代”已经来临 C:大数据具有多样、高速的特征D:“大数据”是需要新处理模式才能具有更强的决策力、洞察发现力和流程优化能力的海量、高增长率和多样化的信息资产答案:“大数据时代”已经来临;大数据具有多样、高速的特征;“大数据”是需要新处理模式才能具有更强的决策力、洞察发现力和流程优化能力的海量、高增长率和多样化的信息资产第二章测试1.人工智能使人类改造自然、适应自然的各类技术发展到最高阶段,智能技术使得工具变得有智能,促使技术在以指数级增长速度加速进化(加速回报定律)。

()A:错 B:对答案:对2.联结主义认为人的思维基元是符号,而不是神经元;人的认知过程是符号操作而不是权值的自组织过程。

人工智能教程习题及答案第3章习题参考解答

人工智能教程习题及答案第3章习题参考解答

第三章确定性推理方法习题参考解答3.1 练习题3.1 什么是命题?请写出3个真值为T 及真值为F 的命题。

3.2 什么是谓词?什么是谓词个体及个体域?函数与谓词的区别是什么?3.3 谓词逻辑和命题逻辑的关系如何?有何异同?3.4 什么是谓词的项?什么是谓词的阶?请写出谓词的一般形式。

3.5 什么是谓词公式?什么是谓词公式的解释?设D= {1,2} ,试给出谓词公式( x)( y)(P(x,y) Q(x,y))的所有解释,并且对每一种解释指出该谓词公式的真值。

3.6对下列谓词公式分别指出哪些是约束变元?哪些是自由变元?并指出各量词的辖域。

(1)( x)(P(x, y) ( y)(Q(x, y) R(x, y)))(2)( z)( y)(P(z, y) Q(z, x)) R(u, v)(3)( x)(~ P( x, f (x )) ( z)(Q(x,z) ~ R(x,z)))(4)( z)(( y)(( t)(P(z, t) Q(y, t)) R(z, y))(5)( z)( y)(P(z, y) ( z)(( y)(P(z, y) Q(z, y) ( z)Q(z, y))))什么是谓词公式的永真性、永假性、可满足性、等价性及永真蕴含?3.7什么是置换?什么是合一?什么是最一般的合一?3.8判断以下公式对是否可合一;若可合一,则求出最一般的合一:3.9(1)P(a,b) ,P(x, y)(2)P(f(z),b) ,P(y, x)(3)P(f(x), y) ,P(y, f(a))(4)P(f(y), y,x) ,P(x, f(a), f(b))(5)P(x, y) ,P(y, x)什么是范式?请写出前束型范式与SKOLEM 范式的形式。

3.10什么是子句?什么是子句集?请写出求谓词公式子句集的步骤。

3.113.12谓词公式与它的子句集等值吗?在什么情况下它们才会等价?3.13 把下列谓词公式分别化为相应的子句集:(1)( z)( y)(P(z, y) Q(z, 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))(5)( x)( y)( z)( u)( v)( w)(P(x, y,z,u,v,w) (Q(x, y, z,u, v, w) ~R(x, z, w)))3.14 判断下列子句集中哪些是不可满足的:(1)S {~ P Q,~ Q,P,~ P}(2)S {P Q,~ P Q,P ~ Q,~ P ~ Q}(3)S {P(y) Q(y), ~ P(f(x)) R(a)}(4)S {~ P(x) Q(x), ~ P(y) R(y), P(a),S(a),~ S(z) ~ R(z)}(5)S {~ P(x) ~ Q(y) ~ L(x, y), P(a), ~ R(z) L(a, z), R(b), Q(b)}(6)S {~ P(x) Q(f(x), a), ~ P(h(y)) Q(f(h(y)), a) ~ P(z)}(7)S {P(x) Q(x) R(x),~ P(y) R(y),~Q(a),~ R(b)}(8)S {P(x) Q(x),~ Q(y) R(y), ~ P(z) Q(z),~ R(u)}3.15 为什么要引入Herbrand 理论?什么是H 域?如何求子句集的H 域?3.16 什么是原子集?如何求子句集的原子集?3.17 什么是H 域解释?如何用域D 上的一个解释I 构造H 域上的解释I *呢?3.18 假设子句集S={P(z) ∨Q(z),R(f(t))} ,S 中不出现个体常量符号。

《人工智能》课后答案

《人工智能》课后答案

《人工智能》课后答案第一章课后习题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这个数为二进制数,阐明其运行过程。

《人工智能及其应用》(蔡自兴)课后习题答案第3章

《人工智能及其应用》(蔡自兴)课后习题答案第3章

第三章搜索推理技术3-1什么是图搜索过程?其中,重排OPEN表意味着什么,重排的原则是什么?图搜索的一般过程如下:(1) 建立一个搜索图G(初始只含有起始节点S),把S放到未扩展节点表中(OPEN表)中。

(2) 建立一个已扩展节点表(CLOSED表),其初始为空表。

(3) LOOP:若OPEN表是空表,则失败退出。

(4) 选择OPEN表上的第一个节点,把它从OPEN表移出并放进CLOSED表中。

称此节点为节点n,它是CLOSED表中节点的编号(5) 若n为一目标节点,则有解并成功退出。

此解是追踪图G中沿着指针从n到S这条路径而得到的(指针将在第7步中设置)(6) 扩展节点n,生成不是n的祖先的那些后继节点的集合M。

将M添入图G中。

(7) 对那些未曾在G中出现过的(既未曾在OPEN表上或CLOSED表上出现过的)M成员设置一个通向n的指针,并将它们加进OPEN表。

对已经在OPEN或CLOSED表上的每个M成员,确定是否需要更改通到n的指针方向。

对已在CLOSED表上的每个M成员,确定是否需要更改图G中通向它的每个后裔节点的指针方向。

(8) 按某一任意方式或按某个探试值,重排OPEN表。

(9) GO LOOP。

重排OPEN表意味着,在第(6)步中,将优先扩展哪个节点,不同的排序标准对应着不同的搜索策略。

重排的原则当视具体需求而定,不同的原则对应着不同的搜索策略,如果想尽快地找到一个解,则应当将最有可能达到目标节点的那些节点排在OPEN表的前面部分,如果想找到代价最小的解,则应当按代价从小到大的顺序重排OPEN表。

3-2 试举例比较各种搜索方法的效率。

宽度优先搜索(1) 把起始节点放到OPEN表中(如果该起始节点为一目标节点,则求得一个解答)。

(2) 如果OPEN是个空表,则没有解,失败退出;否则继续。

(3) 把第一个节点(节点n)从OPEN表移出,并把它放入CLOSED扩展节点表中。

(4) 扩展节点n。

人工智能原理与技术智慧树知到课后章节答案2023年下同济大学

人工智能原理与技术智慧树知到课后章节答案2023年下同济大学

人工智能原理与技术智慧树知到课后章节答案2023年下同济大学第一章测试1.若计算机需通过图灵测试,以下哪个能力不是计算机必需的?( )A:计算机视觉 B:机器学习 C:知识表示 D:自动推理答案:计算机视觉2.由心理学途径产生,认为人工智能起源于数理逻辑的研究学派是()A:行为主义学派 B:符号主义学派 C:连接主义学派答案:符号主义学派3.解决一个实例所需时间是否会随实例规模成指数级增长,研究的是问题的()A:可操作性 B:可计算性 C:易处理性 D:可判定性答案:易处理性4.在德国汉诺威CeBIT展会开幕式上,阿里巴巴集团执行主席马云发布并现场演示了人脸识别支付技术。

其中利用计算机对物理对象进行分类,在错误概率最小的条件下,使识别的结果尽量与客观物体相符合的方法主要属于人工智能的分支学科()A:神经网络 B:模式识别 C:机器学习 D:数据挖掘答案:模式识别5.在人工智能发展早期,麦约翰·卡锡于历史性的1958年做出了多项至关重要的贡献,不包括()A:发表题为“有常识的程序”的论文 B:建造几何定理证明器 C:发明分时技术 D:定义高级语言Lisp 答案:建造几何定理证明器6.人工智能中逻辑主义流派存在的主要障碍包括:( )A:通常情况下逻辑推导的结果是不确定的。

B: 获取非形式的知识并用逻辑表示法要求的形式术语来陈述之是不容易的。

C:原则上可解一个问题与实际上解决该问题是不同的。

D:利用逻辑进行推导的推导过程是复杂的。

答案: 获取非形式的知识并用逻辑表示法要求的形式术语来陈述之是不容易的。

;原则上可解一个问题与实际上解决该问题是不同的。

7.近年来,HMMs(隐马尔可夫模型)大量应用于语音识别领域主要是由于以下哪些原因?( )A:HMM可通过大量真实语音数据上的训练过程生成。

B:HMM最适合用于表示语音信息 C:HMM基于严格的数学理论基础。

答案:HMM可通过大量真实语音数据上的训练过程生成。

人工智能导论-各章习题答案

人工智能导论-各章习题答案

人工智能导论-各章习题答案第一章习题解答1. 什么是人工智能?人工智能(Artificial Intelligence,简称AI)是指使机器具有类似或超过人类智能的能力。

人工智能研究的目标是使计算机能够进行人类智力活动,例如学习、理解、推理和决策等。

2. 人工智能的基本分类人工智能可以分为弱人工智能(Narrow AI)和强人工智能(General AI)两类。

弱人工智能是指针对特定任务开发的人工智能系统,比如语音识别、图像处理和机器翻译等。

弱人工智能系统有特定的输入和输出,其能力局限于特定任务。

强人工智能是指能够在各种智力活动中与人类媲美或超越人类的人工智能系统。

强人工智能拥有自主学习、理解、推理和决策的能力,可以应对复杂的问题和情境。

3. 人工智能的应用领域人工智能已经在多个领域得到应用,包括但不限于以下几个方面:•机器学习:基于数据和统计方法,让计算机自动学习并改进性能。

•自然语言处理:使计算机能够理解和处理人类语言。

•机器视觉:使计算机能够理解和处理图像和视频。

•专家系统:建立基于规则和知识的推理系统,用于解决复杂的问题和决策。

•智能机器人:让机器拥有感知、决策和执行的能力,用于自主操作和交互。

•数据挖掘:发现数据中的模式和关联,用于预测和决策支持。

4. 人工智能的发展历史人工智能的发展可以追溯到20世纪50年代,随着计算机技术和算法的进步,人工智能开始逐渐崭露头角。

在1956年,达特茅斯会议举行,标志着人工智能的诞生。

随后,人工智能经历了繁荣期、低谷期和复兴期等不同的发展阶段。

繁荣期(1956-1974)中,很多初期的人工智能算法被提出,比如逻辑推理、机器学习和专家系统等。

然而,由于计算能力限制和算法的局限性,人工智能在这个时期受到了限制。

低谷期(1975-1980)是由于在之前的繁荣期中,人们对人工智能过于乐观,但实际应用和成果不如预期,导致了人工智能的寒冬。

复兴期(1980-至今)是人工智能的复苏和突破阶段。

《人工智能》--课后习题答案

《人工智能》--课后习题答案

《人工智能》课后习题答案第一章绪论1.1答:人工智能就是让机器完成那些如果由人来做则需要智能的事情的科学。

人工智能是相对于人的自然智能而言,即用人工的方法和技术,研制智能机器或智能系统来模仿延伸和扩展人的智能,实现智能行为和“机器思维”,解决需要人类专家才能处理的问题。

1.2答:“智能”一词源于拉丁“Legere”,意思是收集、汇集,智能通常用来表示从中进行选择、理解和感觉。

所谓自然智能就是人类和一些动物所具有的智力和行为能力。

智力是针对具体情况的,根据不同的情况有不同的含义。

“智力”是指学会某种技能的能力,而不是指技能本身。

1.3答:专家系统是一个智能的计算机程序,他运用知识和推理步骤来解决只有专家才能解决的复杂问题。

即任何解题能力达到了同领域人类专家水平的计算机程序度可以称为专家系统。

1.4答:自然语言处理—语言翻译系统,金山词霸系列机器人—足球机器人模式识别—Microsoft Cartoon Maker博弈—围棋和跳棋第二章知识表达技术2.1解答:(1)状态空间(State Space)是利用状态变量和操作符号,表示系统或问题的有关知识的符号体系,状态空间是一个四元组(S,O,S0,G):S—状态集合;O—操作算子集合;S0—初始状态,S0⊂S;G—目的状态,G⊂S,(G可若干具体状态,也可满足某些性质的路径信息描述)从S0结点到G结点的路径被称为求解路径。

状态空间一解是一有限操作算子序列,它使初始状态转换为目标状态:O1 O2 O3 OkS0→−−−S1→−−−S2→−−−……→−−−G其中O1,…,Ok即为状态空间的一个解(解往往不是唯一的)(2)谓词逻辑是命题逻辑的扩充和发展,它将原子命题分解成客体和谓词两个部分。

与命题逻辑中命题公式相对应,谓词逻辑中也有谓词(命题函数)公式、原子谓词公式、复合谓词公式等概念。

一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。

(3)语义网络是一种采用网络形式表示人类知识的方法。

《人工智能基础与应用》第3章 线性回归:预测未来趋势课后习题参考答案

《人工智能基础与应用》第3章 线性回归:预测未来趋势课后习题参考答案

第3章线性回归:预测未来趋势课后习题答案一、考考你1.下列哪一项C 不是机器学习必备的一个要素。

A.样本数据B.模型C.目标标签D.算法2.监督学习与无监督学习最大的区别是D 。

A.先验知识B.学习算法C.学习方法D.有无标签3.线性回归模型要解决的问题是D 。

A.找到自变量与因变量之间的函数关系B.模拟样本数据曲线C.数据与时间的变化关系D.尽量用一条直线去拟合样本数据4.梯度下降法的目标是B 。

A.尽快完成模型训练B.寻找损失函数的最小值C.提供算法效率D.提高模型性能5.哪一项D 不是DataFrame在数据处理方面广泛应用的主要优势。

A.支持多类型数据B.检索数据灵活C.修改数据方便D.优于矩阵运算二、亮一亮1.采用哪些方案可有效提高预测房屋价格模型的质量,请尝试并验证你的想法。

参考答案:可以考虑采用以下措施:(1)增加模型训练样本的规模;(2)增加描述房屋的特征维度;(3)尝试调节模型参数。

2.为什么要进行模型的训练、测试和评价?请讨论并阐述你的理由。

参考答案:你可以把机器想象成一个小孩子,你带小孩去动物园玩,去认识动物园里的很多动物。

简单起见,我们先考虑二元分类问题,你告诉小孩这个动物是狗,那个也是狗。

但突然一只猫跑过来,你告诉他,这个不是狗而是猫,久而久之,小孩就会产生认知模式,这个学习过程就叫“训练”,所形成的认知模式就是“模型”。

多次训练之后,若这时再跑过来一个动物,你问小孩,这个是狗吗?他回答是或否,这个就叫“测试”,而小孩不一定每次都能正确识别你指向的动物,因此你需要评估这个训练的模型的有效性,并不断纠正小孩的错误回答,强化这个训练的模型有效性,这个就叫“评价”。

由以上分析不难看出,我们只有训练出模型并经过大量样本的测试,经评价指标的评判证明了这个模型的有效性后,才可以真正将这个模型应用于生活和工作中的实用场景。

三、帮帮我1.请尝试采用随机梯度下降回归SGDRegressor模型来预测投保人医疗费用,将预测效果与案例2进行对比。

人工智能导论智慧树知到课后章节答案2023年下东北石油大学

人工智能导论智慧树知到课后章节答案2023年下东北石油大学

人工智能导论智慧树知到课后章节答案2023年下东北石油大学东北石油大学第一章测试1.人工智能的目的是让机器能够,以实现某些人类脑力劳动的机械化( )。

答案:模拟、延伸和扩展人的智能2.盲人看不到一切物体,他们可以通过辨别人的声音识别人,这是智能的()方面。

答案:感知能力3.人工智能是一门综合性的交叉学科,涉及哪些学科( )。

答案:脑科学;神经心理学;控制论;计算机科学4.人工智能的主流学派包括( )。

答案:行为主义;连接主义;符号主义5.图灵测试是判断机器是否具有人工智能的方法,是人工智能最标准的定义。

( )答案:错第二章测试1.“王宏是一名学生”可以用谓词表示为STUDENT(Wang Hong),其中,Wang Hong是()。

答案:个体词2.产生式系统的核心是()。

答案:推理机3.知识的不确定性来源于()。

答案:模糊性引起的不确定性;不完全性引起的不确定性;随机性引起的不确定性;经验引起的不确定性4.产生式表示法可以表示不确定性知识。

()答案:对5.框架表示法不便于表示过程性知识。

()答案:对第三章测试1.从初始证据出发,按某种策略不断运用知识库中的已知知识,逐步推出结论的过程称为推理。

()答案:对2.任何文字的析取式称为子句。

()答案:对3.谓词公式不可满足的充要条件是其子句集不可满足。

()答案:对4.对于一阶谓词逻辑,若子句集是不可满足的,则必存在一个从该子句集到空子句的归结演绎。

()答案:对5.对于一阶谓词逻辑,如果没有归结出空子句,则说明原谓词公式是不可满足的。

()答案:错第四章测试1.如果问题存在最优解,则下面几种搜索算法中,()必然可以得到该最优解。

答案:启发式搜索2.如果问题存在最优解,则下面几种搜索算法中,()可以认为是“智能程度相对比较高”的算法。

答案:启发式搜索3.在启发式图搜索策略中,下面描述正确的是()。

答案:closed表用于存放已扩展过的节点。

4.在估价函数中,对于g(x)和h(x) 下面描述正确的是()。

人工智能第3章参考答案

人工智能第3章参考答案

第3章确定性推理部分参考答案判断下列公式是否为可合一,若可合一,则求出其最一般合一。

(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))(5) P(x, y), P(y, x)解:(1) 可合一,其最一般和一为:σ={a/x, b/y}。

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

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

(4) 不可合一。

(5) 可合一,其最一般和一为:σ={ y/x}。

把下列谓词公式化成子句集:(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标准型。

人工智能课后答案第三章

人工智能课后答案第三章

人工智能课后答案第三章本页仅作为文档封面,使用时可以删除This document is for reference only-rar21year.March1.基于谓词逻辑的机器推理方法:自然演绎推理,归结演绎推理,基于规则的演绎推理。

2. 求下列谓词公式的子句集(1) x y(P(x,y) Q(x,y))解:去掉存在量词变为:P(a,b)Q(a,b) 变成子句集{ P(a,b),Q(a,b )}(2) x y(P(x,y) Q(x,y)) 解:去掉蕴涵符号变为:x y(¬ P(x,y)Q(x,y)) 去掉全称量词变为:¬ P(x,y) Q(x,y) 变成子句集{ ¬ P(x,y) Q(x,y)}(3) {()[(,)(,,)]}x P x y zQ x z zR x y z ∀→∃∀∨∀()(,)(,(),)P x Q x z R x f x z ⌝∨∨(4)((,,,,,)(,,,,,)(,,,,,))x y z u v w P x y z y v w Q x y z y v w R x y z u v w ∃∀∃∃∀∃∨∧ {p(a,y,f(y),y,v,g(y,v)) Q(a,y,f(y),y,v,g(y,v)), p(a,x,f(x),x,z,g(x,z))R(a,x,f(x),h(x),z,g(x,z))} 3. 试判断下列子句集中哪些是不可满足的(1)使用删除策略(2)归结 4.用合一算法求下列公式集的最一般合一。

(1)W={Q(a,x),Q(y,b)} 最一般合一为:{a/y,b/y} (2){()((,))}W Q x y z Q u h v v u =,,,,,最一般合一为:{z/u,h(v,v)/y,z/x}或{x/u,h(v,v)/y,x/z}5.用归结原理证明,G 是否可肯定是F 的逻辑结果。

(1) F 1 (x)(P(x)(Q(x)∧R(x)) F 2 (x) (P(x) ∧S(x) G (x)(S(x) ∧R(x)) 证明:利用归结反演法,先证明F 1 ∨ F 2 ∨¬G 是不可满足的。

人工智能--课后习题答案

人工智能--课后习题答案

《人工智能》课后习题答案第一章绪论答:人工智能就是让机器完成那些如果由人来做则需要智能的事情的科学。

人工智能是相对于人的自然智能而言,即用人工的方法和技术,研制智能机器或智能系统来模仿延伸和扩展人的智能,实现智能行为和“机器思维”,解决需要人类专家才能处理的问题。

答:“智能”一词源于拉丁“Legere”,意思是收集、汇集,智能通常用来表示从中进行选择、理解和感觉。

所谓自然智能就是人类和一些动物所具有的智力和行为能力。

智力是针对具体情况的,根据不同的情况有不同的含义。

“智力”是指学会某种技能的能力,而不是指技能本身。

答:专家系统是一个智能的计算机程序,他运用知识和推理步骤来解决只有专家才能解决的复杂问题。

即任何解题能力达到了同领域人类专家水平的计算机程序度可以称为专家系统。

答:自然语言处理—语言翻译系统,金山词霸系列机器人—足球机器人模式识别—Microsoft Cartoon Maker博弈—围棋和跳棋第二章知识表达技术解答:(1)状态空间(State Space)是利用状态变量和操作符号,表示系统或问题的有关知识的符号体系,状态空间是一个四元组(S,O,S0,G):S—状态集合;O—操作算子集合;S0—初始状态,S0S;G—目的状态,GS,(G可若干具体状态,也可满足某些性质的路径信息描述)从S0结点到G结点的路径被称为求解路径。

状态空间一解是一有限操作算子序列,它使初始状态转换为目标状态:O1 O2 O3 OkS0S1S2……G其中O1,…,Ok即为状态空间的一个解(解往往不是唯一的)(2)谓词逻辑是命题逻辑的扩充和发展,它将原子命题分解成客体和谓词两个部分。

与命题逻辑中命题公式相对应,谓词逻辑中也有谓词(命题函数)公式、原子谓词公式、复合谓词公式等概念。

一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。

(3)语义网络是一种采用网络形式表示人类知识的方法。

即用一个有向图表示概念和概念之间的关系,其中节点代表概念,节点之间的连接弧(也称联想弧)代表概念之间的关系。

《人工智能》课后习题答案

《人工智能》课后习题答案

《人工智能》课后习题答案第一章绪论1.1答:人工智能确实是让机器完成那些假如由人来做则需要智能的情况的科学。

人工智能是相关于人的自然智能而言,即用人工的方法和技术,研制智能机器或智能系统来仿照延伸和扩展人的智能,实现智能行为和“机器思维”,解决需要人类专家才能处理的问题。

1.2答:“智能”一词源于拉丁“Legere”,意思是收集、聚拢,智能通常用来表示从中进行选择、明白得和感受。

所谓自然智能确实是人类和一些动物所具有的智力和行为能力。

智力是针对具体情形的,依照不同的情形有不同的含义。

“智力”是指学会某种技能的能力,而不是指技能本身。

1.3答:专家系统是一个智能的运算机程序,他运用知识和推理步骤来解决只有专家才能解决的复杂问题。

即任何解题能力达到了同领域人类专家水平的运算机程序度能够称为专家系统。

1.4答:自然语言处理—语言翻译系统,金山词霸系列机器人—足球机器人模式识别—Microsoft Cartoon Maker博弈—围棋和跳棋第二章知识表达技术2.1解答:(1)状态空间(State Space)是利用状态变量和操作符号,表示系统或问题的有关知识的符号体系,状态空间是一个四元组(S,O,S0,G):S—状态集合;O—操作算子集合;S0—初始状态,S0⊂S;G—目的状态,G⊂S,(G可若干具体状态,也可满足某些性质的路径信息描述)从S0结点到G结点的路径被称为求解路径。

状态空间一解是一有限操作算子序列,它使初始状态转换为目标状态:O1 O2 O3 OkS0→−−−S1→−−−S2→−−−……→−−−G其中O1,…,Ok即为状态空间的一个解(解往往不是唯独的)(2)谓词逻辑是命题逻辑的扩充和进展,它将原子命题分解成客体和谓词两个部分。

与命题逻辑中命题公式相对应,谓词逻辑中也有谓词(命题函数)公式、原子谓词公式、复合谓词公式等概念。

一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。

(3)语义网络是一种采纳网络形式表示人类知识的方法。

国科大—人工智能课后答案

国科大—人工智能课后答案

国科大人工智能第一章课后习题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这个数为二进制数,阐明其运行过程。

(完整word版)人工智能课后答案

(完整word版)人工智能课后答案

第一章课后习题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的规则集。

【2024版】人工智能导论王万良第三章课后答案

【2024版】人工智能导论王万良第三章课后答案

可编辑修改精选全文完整版人工智能导论王万良第三章课后答案1、种子发芽的过程中最先出现的现象是()。

[单选题] *A.长出嫩芽B.种皮破裂C.种子膨大(正确答案)2、傅科摆的故事能够说明地球在不停地()。

[单选题] *A.自转(正确答案)B.公转C.旋转3、某农田为防止鸟类啄食农作物的种子,大肆捕杀了鸟类,后来发现农田中有大量害虫,其主要原因是()。

[单选题] *A.农作物旺盛生长,食物充足B.食物链被破坏(正确答案)C.害虫生长速度加快4、太空椒是因为它的遗传物质发生了变异,所以才长得果大色艳,籽少肉厚。

[判断题] *对(正确答案)错5、宇宙中每时每刻都有许多恒星在诞生,同时也有许多恒星在消亡,宇宙充满着活力。

[判断题] *对(正确答案)错6、以下塔台整体造型最合理的是( )。

[单选题] *A.上小下大,上轻下重(正确答案)B.上小下大,上重下轻C.上大下小,上轻下重7、蜡烛燃烧发生的变化属于( )。

[单选题] *A.物理变化B.化学变化C.物理变化和化学变化(正确答案)8、(嘉兴市)地球上一年有四季的原因是()。

[单选题] *A.地轴是倾斜的,且倾斜方向不变B.地轴是倾斜的,且倾斜方向不变,同时地球围绕太阳公转(正确答案)C.地球围绕太阳公转9、近视镜的镜片是凸透镜。

( ) [单选题]对错(正确答案)10、39 .一天中,太阳光下物体的影子变化的规律是( ) [单选题] *A.东→西;长短长B.西→东;长短长(正确答案)C.东→西;低高低11、32.使用过后的口罩应该丢弃到()桶内。

[单选题] *A.可回收垃圾桶B.医疗或有害垃圾桶(正确答案)C. 不可回收垃圾桶12、下面关于飞机能够飞起来的原理,说法有误的是()。

[单选题] *A.上凸下平的结构在气流中能够获得向上的升力B.机翼的凸面空气流动速度较慢,压强大;平面空气流动速度较快,压强小(正确答案)C.凸面和平面的压强不同,形成压力差,产生了向上的托举力,让飞机飞起来13、下列城市,在同一天中最先迎来黎明的是()。

人工智能 (马少平 朱小燕 著) 清华大学出版社 课后答案 - 完整版(习题部分+答案部分)

人工智能 (马少平 朱小燕 著) 清华大学出版社 课后答案 - 完整版(习题部分+答案部分)

人工智能(马少平朱小燕著) 清华大学出版社课后答案习题部分第一章课后习题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这个数为二进制数,阐明其运行过程。

人工智能课后习题第3章 参考答案

人工智能课后习题第3章 参考答案

第3章确定性推理参考答案3.8 判断下列公式是否为可合一,若可合一,则求出其最一般合一。

(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))(5) P(x, y), P(y, x)解:(1) 可合一,其最一般和一为:σ={a/x, b/y}。

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

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

(4) 不可合一。

(5) 可合一,其最一般和一为:σ={ y/x}。

3.11 把下列谓词公式化成子句集:(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)))此公式已为前束范式。

人工智能导论第5版第三章答案

人工智能导论第5版第三章答案

人工智能导论第5版第三章答案1、当用手摇电动机点亮小灯泡后,想要使小灯泡更亮,可以采取的方法是()。

[单选题] *A.转动的时间更久一些B.改变转动的方向C.转动的速度更快一些(正确答案)2、31、地球上的水资源取之不尽,用之不竭。

[判断题] *对错(正确答案)3、( )这颗行星距离太阳最近。

[单选题] *A.水星(正确答案)B.金星C.地球4、下列说法正确的是( ) 。

[单选题] *A.种子只有在土壤里才能发芽B.种子发芽一定要有阳光C.种子发芽必须要有水(正确答案)5、以下塔台整体造型最合理的是( )。

[单选题] *A.上小下大,上轻下重(正确答案)B.上小下大,上重下轻C.上大下小,上轻下重6、生态瓶中的水最好是冷却的自来水。

[判断题] *对错(正确答案)7、.“人间四月芳菲尽,山寺桃花始盛开。

”高山上的桃花迟开的主要原因是缺水。

[判断题] *对错(正确答案)8、在种子发芽实验中,下列做法正确的是()。

[单选题] *A.每天观察一次(正确答案)B.只需要观察有水的那组种子有没有发芽C.多天的实验中,第一天加一次水就够了9、“螳螂捕蝉,黄雀在后”,根据这一成语,可以写出的食物链是:蝉→螳螂→黄雀。

[判断题] *对错(正确答案)10、农民伯伯为作物补充含氮、磷、钾等元素的养料,是为了帮助作物补充()。

[单选题] *A.水分B.维生素C.无机盐(正确答案)11、当日食发生时,月球的位置为( )。

[单选题] *A.只要三球在一直线上,都会发生日食B.月球处在地球的一边C.月球处在地球与太阳之间(正确答案)12、对于制作校园生物分布图,下面说法不正确的是( )。

[单选题] *A.给生物编号,将号码记录在分布图上,可以有空间记录更多生物B.制作校园生物分布图必须独立完成(正确答案)C.分布图是整理信息,找出研究成果的好方法13、有人类登上的星球有( )。

[单选题] *A.月球(正确答案)B.火星C.月球和火星14、在制作简易电动机时,把漆包线上的漆刮掉,是因为刮掉这层漆可以让导线()。

最新人工智能课后答案 第三章教学提纲

最新人工智能课后答案 第三章教学提纲

1.基于谓词逻辑的机器推理方法:自然演绎推理,归结演绎推理,基于规则的演绎推理。

2. 求下列谓词公式的子句集 (1) ∃x ∃y(P(x,y) ∧Q(x,y))解:去掉存在量词变为:P(a,b)∧Q(a,b) 变成子句集{ P(a,b),Q(a,b )} (2) ∀x ∀y(P(x,y) →Q(x,y))解:去掉蕴涵符号变为:∀x ∀y(¬ P(x,y) ∨ Q(x,y))去掉全称量词变为:¬ P(x,y) ∨ Q(x,y) 变成子句集{ ¬ P(x,y) ∨ Q(x,y)} (3){()[(,)(,,)]}x P x y zQ x z zR x y z ∀→∃∀∨∀()(,)(,(),)P x Q x z R x f x z ⌝∨∨(4)((,,,,,)(,,,,,)(,,,,,))x y z u v w P x y z y v w Q x y z y v w R x y z u v w ∃∀∃∃∀∃∨∧ {p(a,y,f(y),y,v,g(y,v)) ∨Q(a,y,f(y),y,v,g(y,v)),p(a,x,f(x),x,z,g(x,z)) ∨R(a,x,f(x),h(x),z,g(x,z))} 3. 试判断下列子句集中哪些是不可满足的 (1)使用删除策略 (2)归结4.用合一算法求下列公式集的最一般合一。

(1)W={Q(a,x),Q(y,b)} 最一般合一为:{a/y,b/y}(2){()((,))}W Q x y z Q u h v v u =,,,,,最一般合一为:{z/u,h(v,v)/y,z/x}或{x/u,h(v,v)/y,x/z} 5.用归结原理证明,G 是否可肯定是F 的逻辑结果。

(1) F 1 (∀x)(P(x)→(Q(x)∧R(x))F 2 (∃x) (P(x) ∧S(x)G (∃x)(S(x) ∧R(x))证明:利用归结反演法,先证明F 1 ∨ F 2 ∨¬G 是不可满足的。

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

1.基于谓词逻辑的机器推理方法:自然演绎推理,归结演绎推理,基于规则的演绎推理。

2. 求下列谓词公式的子句集
(1) x y(P(x,y) Q(x,y))
解:去掉存在量词变为:P(a,b)
Q(a,b) 变成子句集{ P(a,b),Q(a,b )}
(2) x y(P(x,y) Q(x,y)) 解:去掉蕴涵符号变为:x y(¬ P(x,y)
Q(x,y)) 去掉全称量词变为:¬ P(x,y)
Q(x,y) 变成子句集{ ¬ P(x,y) Q(x,y)}
(3) {()[(,)(,,)]}x P x y zQ x z zR x y z ∀→∃∀∨∀
()(,)(,(),)P x Q x z R x f x z ⌝∨∨
(4)((,,,,,)(,,,,,)(,,,,,))x y z u v w P x y z y v w Q x y z y v w R x y z u v w ∃∀∃∃∀∃∨∧ {p(a,y,f(y),y,v,g(y,v)) Q(a,y,f(y),y,v,g(y,v)), p(a,x,f(x),x,z,g(x,z))
R(a,x,f(x),h(x),z,g(x,z))} 3. 试判断下列子句集中哪些是不可满足的
(1)使用删除策略
(2)归结
4.用合一算法求下列公式集的最一般合一。

(1)W={Q(a,x),Q(y,b)} 最一般合一为:{a/y,b/y} (2){()((,))}W Q x y z Q u h v v u =,,,,,
最一般合一为:{z/u,h(v,v)/y,z/x}或{x/u,h(v,v)/y,x/z}
5.用归结原理证明,G 是否可肯定是F 的逻辑结果。

(1) F 1 (
x)(P(x)(Q(x)∧R(x)) F 2 (
x) (P(x) ∧S(x) G (x)(S(x) ∧R(x))
证明:利用归结反演法,先证明F 1 ∨ F 2 ∨¬G 是不可满足的。

求子句集:
(1) ¬P(x) ∨Q(x)
(2) ¬P(z) ∨R(z)
(3)P(a)
(4)S(a) (5) ¬S(y) ∨ ¬ R(y) (¬G)
利用归结原理进行归结
(6)R(a) [(2),(3), σ1={a/z}]
(7) ¬ R(a) [(4),(5), σ2 ={a/y}]
(8)Nil [(6),(7)]
所以S 是不可满足得,从而G 是F 1和F 2的逻辑结果。

(2)F (
x) ( (y)P(x ,y) ∧ Q(y)) (y)(R(y) ∧ T(x,y))) G ¬ (x) R(x) (x) (y) P(x ,y) ¬ Q(y))
证明:利用归结反演法证明,先证明F
¬G 是不可满足的。

把F 、¬G 化成子句集:
(1) ¬P(x ,y) ∨¬Q(y) ∨R(f(x))
(2) ¬P(v ,u) ∨¬Q(u) ∨T(v, f(u))
(3) Q(b)
(4) P(a ,b)
(5) ¬R(z)
对上述式子进行归结:
(6) ¬P(x ,b) ∨R(f(x)) (1)和(3)归结,{b/y}
(7)R(f(x)) (4)和(6)归结,{a/x}
(8)NIL (5)和(7)归结{f(x)/z}
S F1 F2
所以G是F、的逻辑结论。

(3)F1 (x) (A(x)∧¬B(x)( y) (D(x,y)∧C(y)))
F2 (x) (E(x)∧A(x) ∧ (y) (D(x,y)E(y)))
F3 (x) (E(x)¬B(x))
G (x) (E(x) ∧C (x))
证明:利用归结反演法证明,先证明F1 F2 F3 ¬G是不可满足的。

求子句集:
F1:
(1)¬A(x)∨B(x) ∨D(x,w)
(2)¬A(y)∨B(y) ∨C(t)
F2
(3)E(a)
(4)A(a)
(5)¬ D(a,z) ∨E(z)
F3
(6)¬E(u) ∨¬B(u)
¬G
(7)¬E(v) ∨¬C(v)
对子句集进行归结:
(8)¬B(a) [(3)(6){a/u}]
(9)¬C(a) [(3)(7){a/v}]
(10)B(a) ∨C(t) [(2)(4){a/y}]
(11)C(a) [(8)(10){a/t}]
(12)Nil [(9)(11)]
6 用归结原理证明下述推理正确。

已知:狗都会吠叫和咬人。

任何动物吠叫时总是吵人的。

松狮是狗。

结论:松狮是吵人的。

证明:首先定义如下谓词:
B(x):x是咬人的。

F(x):x是吠叫的。

D(x):x是狗。

N(x):x是吵人的。

G(x):x是松狮。

将上述各语句翻译成谓词公式:
F1: x (D(x) (B(x) F(x)))
F2: x (F(x)N(x))
F3: x (G(x) D(x))
G: x (G(x) N(x))
利用归结反演法,先证明F1 F2 F3 ¬G是不可满足的。

F1 F2 F3 ¬G的子句集为
(1)¬D(x) B(x)
(2)¬D(y) F(y)
(3)¬F(z) N(z)
(4)¬G(u) D(u)
(5)G(a)
(6)¬N(a)
进行归结得:
(7)B(a) [(1)(5){a/x}]
(8)F(a) [(2)(5){a/y}]
(9)¬F(a) [(3)(6){a/z}]
(10)NIL [(8)(9)]
得证。

、Clyde、Oscar是三只大象,关于它们,已知如下事实:
(1)Sam是粉红色的;
(2)Clyde是灰色的且喜欢Oscar;
(3)Oscar是粉红色或者是灰色(但不是两种颜色)且喜欢Sam。

用归结反演方法证明一只灰色大象喜欢一只粉红色大象。

解首先定义如下谓词:
Pink(x)表示x是粉红色的大象。

Gray(x) 表示x是灰色的大象。

Likes(x,y)表示喜欢y。

已知条件可以表示成如下谓词公式:
(1)Pink(Sam)
(2)Gray(Clyde)Likes(Clyde,Oscar)
(3)(Gray(Oscar)Pink(Oscar))Likes(Oscar,Sam)设求证的公式为:
G:x y(Gray(x) Pink(y) Likes(x,y))
把其否定化为子句形式
(1) Pink(Sam)
(2) Gray(Clyde)
(3) Likes(Clyde,Oscar)
(4) Gray(Oscar)Pink(Oscar)
(5) Likes(Oscar,Sam)
(6) ¬Gray(x)¬ Pink(y)¬Likes(x,y)
进行归结:
(7)¬Gray(x)¬Likes(x,Sam)(1)(6)归结{Sam/y}
(8)¬Gray(Oscar)(5)(7){Oscar/x}
(9)Pink(Oscar) (4)(8)
(10)¬Gray(x)¬Likes(x,Oscar)(6)(9)归结{Oscar/y}
(11)¬Likes(Oscar,Sam)(2)(10)归结{Oscar/y}
(12)Nil (3)(11)归结{Sam/y}
8张某被盗,公安局派五个侦察员去调查,研究案情时,侦察员A说:“赵与钱中至少有一人作案”;侦察员B说:“钱与孙至少有一人作案”;侦察员C说:“孙与李中至少有一人作案”;侦察员D说:“赵与孙中至少有一人与此案无关”;侦察员E说:“钱与李中至少有一人与此案无关”。

如果这五个侦察员说的都可信,试用消解原理求出谁是盗窃犯。

解:定义谓词用P(x)表示x作案,a,b,c,d分别代表赵、钱、孙、李,则五个侦察员得话可用谓词公式表示为
(1)P(a)∨P(b)
(2)P(b)∨P(c)
(3) P(c)∨P(d)
(4)¬P(a)∨¬P(c)
(5)¬P(b)∨¬P(d)
要求的公式为
G:xP(x) (即存在x,x是罪犯)将其化为否定形式再析取一个辅助谓词PA(x) 得(6)P(x)∨PA(x)
对上面式子进行归结得
(7)¬P(d)∨P(c) (2)(5)归结
(8)P(c) (3)(5)归结
(9)PA(c) (8)(6)归结,{c/x}
(10)¬P(c)∨P(d) (1)(4)归结
(11)P(b) (3)(5)归结
(12)PA(b) (8)(6)归结,{b/x}所以,罪犯为钱和孙两个人。

9.归结策略:
删除策略
支持集策略
线性归结策略
单元归结策略
语义归结策略
祖先过滤型策略
10.见第5题
11.。

相关文档
最新文档