《2023年人工智能原理及其应用王万森第版课后习题超详细解析答案.pdf》由会员分享，可在线阅读，更多相关《2023年人工智能原理及其应用王万森第版课后习题超详细解析答案.pdf（76页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、 人工智能原理及其应用王万森第版课后习题答案 LELE was finally revised on the morning of December 16,2020 第 1 章人工智能概述课后题答案 什么是智能智能包含哪几种能力 解：智能主要是指人类的自然智能。一般认为，智能是是一种认识客观事物和运用知识解决问题的综合能力。智能包含感知能力，记忆与思维能力，学习和自适应能力，行为能力 人类有哪几种思维方式各有什么特点 解：人类思维方式有形象思维、抽象思维和灵感思维 形象思维也称直感思维，是一种基于形象概念，根据感性形象认识材料，对客观对象进行处理的一种思维方式。抽象思维也称逻辑思维，是一种基于
2、抽象概念，根据逻辑规则对信息或知识进行处理的理性思维形式。灵感思维也称顿悟思维，是一种显意识与潜意识相互作用的思维方式。什么是人工智能它的研究目标是什么 解：从能力的角度讲，人工智能是指用人工的方法在机器（计算机）上实现智能；从学科的角度看，人工智能是一门研究如何构造智能机器或智能系统，使它能模拟、延伸和扩展人类智能的学科。研究目标：对智能行为有效解释的理论分析；解释人类智能；构造具有智能的人工产品；什么是图灵实验图灵实验说明了什么 解：图灵实验可描述如下，该实验的参加者由一位测试主持人和两个被测试对象组成。其中，两个被测试对象中一个是人，另一个是机器。测试规则为：测试主持人和每个被测试对象分
3、别位于彼此不能看见的房间中，相互之间只能通过计算机终端进行会话。测试开始后，由测试主持人向被测试对象提出各种具有智能性的问题，但不能询问测试者的物理特征。被测试对象在回答问题时,都应尽量使测试者相信自己是“人”，而另一位是”机器”。在这个前提下，要求测试主持人区分这两个被测试对象中哪个是人，哪个是机器。如果无论如何更换测试主持人和被测试对象的人，测试主持人总能分辨出人和机器的概率都小于 50%，则认为该机器具有了智能。人工智能的发展经历了哪几个阶段？解：孕育期，形成期，知识应用期，从学派分立走向综合，智能科学技术学科的兴起 人工智能研究的基本内容有哪些？解：与脑科学与认知科学的交叉研究 智能模
4、拟的方法和技术研究 人工智能有哪几个主要学派各自的特点是什么 解：符号主义：又称为逻辑主义、心理学派或计算机学派，是基于物理符号系统假设和有限合理性原理的人工智能学派。符号主义认为人工智能起源于数理逻辑，人类认知（智能）的基本元素是符号，认知过程是符号表示上的一种运算。联结主义：又称为仿生学派或生理学派，是基于神经网络及网络间的联结机制与学习算法的人工智能学派。联结主义认为人工智能起源于仿生学，特别是人脑模型的研究。行为主义：又称进化主义或控制论学派，是基于控制论和“感知-动作”控制系统的人工智能学派。行为主义认为人工智能起源于控制论，提出智能取决于感知和行为，取决于对外界复杂环境的适应，而不
5、是表示和推理。人工智能有哪些主要研究和应用领域其中哪些是新的研究热点 解：机器思维:推理、搜索、规划 机器学习：符号学习、联结学习、知识发现和数据挖掘 机器感知：机器视觉、模式识别、自然语言理解 机器行为：智能控制、智能制造 计算智能：神经计算、进化计算、模糊计算 分布智能 智能系统：专家系统、智能决策支持系统 人工心理与人工情感 研究热点：智能机器人、智能检索、智能游戏等。人工智能未来发展有哪些值得思考和关注的重要问题？解：多学科交叉研究 分布智能与社会智能研究 集成智能研究 智能网络研究 认知计算与情感计算研究 智能系统与智能服务 确定性知识系统参考答案 什么是知识有哪几种主要的知识分类方
6、法 解：知识是人们在改造客观世界的实践中积累起来的认识和经验；知识是对信息进行智能性加工中形成的对客观世界规律性的认识。分类：按适用范围：常识性知识、领域性知识 按作用效果：陈述性知识、过程性知识、控制性知识 按确定性：确定性知识、不确定性知识 什么是知识表示知识表示有哪些要求 解：知识表示就是对知识的描述，即用一些约定的符号把知识编码成一组可以被计算机直接识别，并便于系统使用的数据结构 一介谓词逻辑表示法 非结构化方法 产生式 陈述性知识表示语义网络 结构化方法 框架结构 知识表示方法 过程性知识表示 要求：表示能力，可利用性，可组织性与可维护性，可理解性和可实现性 从心理学的角度看，推理有
7、哪两种比较典型的观点它们的含义是什么 解：结构观点：这种观点从结构的角度出发，认为推理由两个以上判断所组成，每个判断所揭示的是概念之间的联系和关系，推理过程是一种对客观事物做出肯定或否点的思维活动。过程观点：这种观点从过程的角度出发，认为推理是在给定信息和已有知识的基础上所进行的一系列加工操作，其代表人物克茨提出了如下人类推理的公式：y=F（x，k）式中，x 是推理时给出的信息，k 是推理时可用的领域知识和特殊事例，F是可用的一系列操作，y 是推理过程所得到的结论。什么是推理它有哪些分类方法 解：推理是由具体事例归纳出一般规律，或者根据已有的知识推出新的结论的思维过程 分为演绎法和归纳法 推理
8、中的控制策略包括哪几个方面的内容主要解决哪些问题 解：包括推理策略和搜索策略 推理策略主要解决推理方向，求解策略，限制策略，冲突消解策略等 搜索策略主要解决推理线路，推理效果，推理效率等问题 什么是命题什么是命题的真值 解：一个陈述句称为一个断言，凡有真假意义的断言称为命题。命题的意义通常称为真值，当命题的意义为真时，则称该命题的真值为真。什么是论域？什么是谓词 解：论域是由所讨论对象之全体构成的非空集合。论域中的元素称为个体，论域也常称为个体域。在谓词逻辑中，命题是用谓词来表示的。一个谓词可分为谓词名和个体两部分。什么是自由变元什么是约束变元 解：当一个谓词公式含有量词时，区分个体变元是否受
9、量词的约束是很重要的。通常，把位于量词后面的单个谓词或者用括弧括起来的合式公式称为该量词的辖域，辖域内与量词中受约束的变元称为约束变元，不受约束的变元称为自由变元。设有如下语句，请用相应的谓词公式分别把他们表示出来：(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。解：定义谓词 P(x)：x 是人 L(x,y)：x 喜欢 y 其中，y 的个体域是梅花，菊花。将知识用谓词表示为：(x)(P(x)L(x,梅花)L(x,菊花)(L(x,梅花)L(x,菊花)(2)有人每天下午都去打篮球。解：定义谓词 P(x)：x 是人 B(x)：x 打篮球 A(y)：y 是下午 将知识用谓词表示为：(
10、x)(y)(A(y)B(x)P(x)(3)新型计算机速度又快，存储容量又大。解：定义谓词 NC(x)：x 是新型计算机 F(x)：x 速度快 B(x)：x 容量大 将知识用谓词表示为：(x)(NC(x)F(x)B(x)(4)不是每个计算机系的学生都喜欢在计算机上编程序。解：定义谓词 S(x)：x 是计算机系学生 L(x,pragramming)：x 喜欢编程序 U(x,computer)：x 使用计算机 将知识用谓词表示为：(x)(S(x)L(x,pragramming)U(x,computer)(5)凡是喜欢编程序的人都喜欢计算机。解：定义谓词 P(x)：x 是人 L(x,y)：x 喜欢 y
11、 将知识用谓词表示为：(x)(P(x)L(x,pragramming)L(x,computer)用谓词表示法求解机器人摞积木问题。设机器人有一只机械手，要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有 4 个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木世界的布局如下图所示。解：(1)先定义描述状态的谓词 CLEAR(x)：积木 x 上面是空的。ON(x,y)：积木 x 在积木 y的上面。ONTABLE(x)：积木 x 在桌子上。HOLDING(x)：机械手抓住 x。HANDEMPTY：机械手是空的。其中，x
12、和 y 的个体域都是A,B,C。问题的初始状态是：ONTABLE(A)ONTABLE(B)ON(C,A)CLEAR(B)CLEAR(C)HANDEMPTY 问题的目标状态是：图机器人摞积木问题 CA B A B C ONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTY(2)再定义描述操作的谓词 在本问题中，机械手的操作需要定义以下 4 个谓词：Pickup(x)：从桌面上拣起一块积木 x。Putdown(x)：将手中的积木放到桌面上。Stack(x,y)：在积木 x 上面再摞上一块积木 y。Upstack(x,y)：从积木 x 上面拣起一块积木 y。其中，每一个操
13、作都可分为条件和动作两部分，具体描述如下：Pickup(x)条件：ONTABLE(x)，HANDEMPTY，CLEAR(x)动作：删除表：ONTABLE(x)，HANDEMPTY 添加表：HOLDING（x）Putdown(x)条件：HOLDING（x）动作：删除表：HOLDING（x）添加表：ONTABLE(x)，CLEAR(x)，HANDEMPTY Stack(x,y)条件：HOLDING（x），CLEAR(y)动作：删除表：HOLDING（x），CLEAR(y)添加表：HANDEMPTY，ON(x,y)，CLEAR(x)Upstack(x,y)条件：HANDEMPTY，CLEAR(x)，
14、ON(x,y)动作：删除表：HANDEMPTY，ON(x,y)添加表：HOLDING(x)，CLEAR(x)(3)问题求解过程 利用上述谓词和操作，其求解过程为：用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。似规划出一个确保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。解：(1)先定义描述状态的谓词 要描述这个问题，需要能够说明农夫、狼、羊、白菜和船在什么位置，为简化问题表示，取消船在河
15、中行驶的状态，只描述左岸和右岸的状态。并且，由于左岸和右岸的状态互补，因此可仅对左岸或右岸的状态做直接描述。本题选择对左岸进行直接描述的方法，即定义谓词如下：AL(x)：x 在左岸 其中，x 的个体域是农夫，船，狼，羊，白菜。对应地，AL(x)表示 x 在右岸。问题的初始状态：ONTABLE(A)ONTABLE(B)ON(C,A)Upstack(C,ONTABLE(A)ONTABLE(B)HOLDING(C)Putdown(CONTABLE(A)ONTABLE(B)ONTABLE(C)CLEAR(A)Pickup(ONTABLE(A)ONTABLE(C)HOLDING(B)Stack(B,ON
16、TABLE(A)ONTABLE(C)ON(B,C)ONTABLE(C)ON(B,C)CLEAR(A)Stack(A,ONTABLE(C)ON(B,C)ON(A,B)Pickup(AL(农夫)AL(船)AL(狼)AL(羊)AL(白菜)问题的目标状态：AL(农夫)AL(船)AL(狼)AL(羊)AL(白菜)(2)再定义描述操作的谓词 本题需要以下 4 个描述操作的谓词：L-R：农夫自己划船从左岸到右岸 L-R(x)：农夫带着 x 划船从左岸到右岸 R-L：农夫自己划船从右岸到左岸 R-L(x)：农夫带着 x 划船从右岸到左岸 其中，x 的个体域是狼，羊，白菜。对上述每个操作，都包括条件和动作两部分。
17、它们对应的条件和动作如下：L-R：农夫划船从左岸到右岸 条件：AL(船)，AL(农夫)，AL(狼)?AL(羊)，AL(羊)?AL(白菜)动作：删除表：AL(船)，AL(农夫)添加表：AL(船)，AL(农夫)L-R(狼)：农夫带着狼划船从左岸到右岸 条件：AL(船)，AL(农夫)，AL(狼)，AL(羊)动作：删除表：AL(船)，AL(农夫)，AL(狼)添加表：AL(船)，AL(农夫)，AL(狼)L-R(羊)：农夫带着羊划船从左岸到右岸 条件：AL(船)，AL(农夫)，AL(羊)，AL(狼)，AL(白菜)或：AL(船)，AL(农夫)，AL(羊)，AL(狼)，AL(白菜)动作：删除表：AL(船)，A
18、L(农夫)，AL(羊)添加表：AL(船)，AL(农夫)，AL(羊)L-R(白菜)：农夫带着白菜划船从左岸到右岸 条件：AL(船)，AL(农夫)，AL(白菜)，AL(狼)动作：删除表：AL(船)，AL(农夫)，AL(白菜)添加表：AL(船)，AL(农夫)，AL(白菜)R-L：农夫划船从右岸到左岸 条件：AL(船)，AL(农夫)，AL(狼)AL(羊)，AL(羊)AL(白菜)或：AL(船)，AL(农夫)，AL(狼)，AL(白菜)，AL(羊)动作：删除表：AL(船)，AL(农夫)添加表：AL(船)，AL(农夫)R-L(羊)：农夫带着羊划船从右岸到左岸 条件：AL(船)，AL(农夫)，AL(羊)，AL(
19、狼)，AL(羊)，AL(白菜)动作：删除表：AL(船)，AL(农夫)，AL(羊)添加表：AL(船)，AL(农夫)，AL(羊)(3)问题求解过程 AL(农夫)AL(船)AL(狼)AL(羊)AL(白菜)用谓词表示法求解修道士和野人问题。在河的北岸有三个修道士、三个野人和一条船，修道士们想用这条船将所有的人都运过河去，但要受到以下条件限制：(1)修道士和野人都会划船，但船一次只能装运两个人。(2)在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。解：（1）定义谓词 先定义修道士
20、和野人人数关系的谓词：G(x,y,S)：在状态 S 下 x 大于 y GE(x,y,S)：在状态 S 下 x 大于或等于 y 其中，x,y 分别代表修道士人数和野人数，他们的个体域均为0,1,2,3。再定义船所在岸的谓词和修道士不在该岸上的谓词：Boat(z,S)：状态 S 下船在 z 岸 EZ(x,S)：状态 S 下 x 等于 0，即修道士不在该岸上 其中，z 的个体域是L,R，L表示左岸，R表示右岸。再定义安全性谓词：Safety(z,x,y,S)(G(x,0,S)GE(x,y,S)(EZ(x,S)L-AL(狼)AL(白菜)AL(农夫)R-L AL(农夫)AL(船)AL(农夫)AL(船)L
21、-R-AL(白菜)AL(农夫)AL(船)L-R(白AL(羊)AL(农夫)AL(船)R-L AL(农夫)AL(船)AL(羊)L-AL(农夫)AL(船)AL(羊)其中，z,x,y的含义同上。该谓词的含义是：状态 S 下，在 z 岸，保证修道士安全，当且仅当修道士不在该岸上，或者修道士在该岸上，但人数超过野人数。该谓词同时也描述了相应的状态。再定义描述过河方案的谓词：L-R(x,x1,y,y1,S)：x1 个修道士和 y1 个野人渡船从河的左岸到河的右岸 条件：Safety(L,x-x1,y-y1,S)Safety(R,3-x+x1,3-y+y1,S)Boat(L,S)动作：Safety(L,x-x
22、1,y-y1,S)Safety(R,3-x+x1,3-y+y1,S)Boat(R,S)R-L(x,x1,y,y1,S)：x2 个修道士和 y2 个野人渡船从河的左岸到河的右岸 条件：Safety(R,3-x-x2,3-y-y2,S)Safety(L,x+x2,y+y2,S)Boat(R,S)动作：Safety(R,3-x-x2,3-y-y2,S)Safety(L,x+x2,y+y2,S)Boat(L,S)(2)过河方案 Safety(L,3,3,S0)Safety(R,0,0,S0)Boat(L,S0)L-R(3,1,3,1,S0)L-R(3,0,3,2,S0)Safety(L,2,2,S1)
23、Safety(R,1,1,S1)Boat(R,S1)Safety(L,3,1,S1)Safety(R,0,2,S1)Boat(R,S1)R-L(2,1,2,0,S1)R-L(3,0,1,1,S1)Safety(L,3,2,S2)Safety(R,0,1,S2)Boat(L,S2)L-R(3,0,2,2,S2)Safety(L,3,0,S3)Safety(R,0,3,S3)Boat(R,S3)R-L(3,0,0,1,S3)Safety(L,3,1,S4)Safety(R,0,2,S1)Boat(L,S4)L-R(3,2,1,0,S4)Safety(L,1,1,S5)Safety(R,2,2,S5
24、)Boat(R,S5)R-L(1,1,1,1,S5)Safety(L,2,2,S6)Safety(R,1,1,S6)Boat(L,S6)L-R(2,2,2,0,S6)Safety(L,0,2,S7)Safety(R,3,1,S7)Boat(R,S7)R-L(0,0,2,1,S7)Safety(L,0,3,S8)Safety(R,3,0,S8)Boat(L,S8)L-R(0,0,3,2,S8)Safety(L,0,1,S9)Safety(R,3,2,S9)Boat(R,S9)R-L(0,1,1,0,S9)Safety(L,1,1,S10)Safety(R,2,2,S10)Boat(L,S10)L
25、-R(1,1,1,1,S10)Safety(L,0,0,S11)Safety(R,3,3,S11)Boat(R,S11)什么是产生式它的基本形式是什么代表什么含义 解：“产生式”由美国数学家波斯特（）在 1934 年首先提出，它根据串代替规则提出了一种称为波斯特机的计算模型，模型中的每条规则称为产生式。产生式的基本形式 PQ或者 IFPTHENQ。P是产生式的前提，也称为前件，它给出了该产生式可否使用的先决条件，由事实的逻辑组合来构成；Q是一组结论或操作，也称为产生式的后件，它指出当前题 P满足时，应该推出的结论或应该执行的动作。产生式的含义如果前提 P满足，则可推出结论 Q或执行 Q所规定的
26、操作。产生式表示的特征是什么？解：优点：自然性、模块性、有效性 缺点：效率低性、不方便表示结构性知识的有向图 何谓语义网络它有哪些基本的语义关系 解：语义网络：用实体以及语义关系来表达知识的有向图 基本的语义关系：实例关系（ISA）:(是一个)(一个事物是另一个事物的具体例子)分类关系（AKO）:(是一种)子类与超类 成员关系(A-member-of):是一名 属性关系:Have 有、Can能、Age年龄 包含关系 part-of-部分(不具备属性)位置关系:Before，after located-onlocated-underlocated-outsidelocated-atlocated
27、-inside 相近关系 similar-to相似 near-to 接近 请对下列命题分别写出它们的语义网络：(1)每个学生都有一台计算机。学生 职业 人 计算占有设备 占有资情况 AKO owns AKO owner AKO AKO (2)高老师从 3 月到 7 月给计算机系学生讲计算机网络课。解：(3)学习班的学员有男、有女、有研究生、有本科生。解：(4)创新公司在科海大街 56 号，刘洋是该公司的经理，他 32 岁、硕士学位。(5)红队与蓝队进行足球比赛，最后以 3：2 的比分结束。解：请把下列命题用一个语义网络表示出来：(1)树和草都是植物；解：(2)树和草都有叶和根；ISA 讲课事高
28、老老Subje计算机系学Objec7 月 8 月 StaEnd 讲计算机网ActioCaurs足球赛 比赛 AKO 红队 蓝队 3:2 ParticipaParticipanOutcome 植物 草 树 AKO AKO 男 研究生 本科女 学员 Have Hav56刘经3硕士学位 Work-Age Have Address 创新公Isa AKO Have 解：(3)水草是草，且生长在水中；解：(4)果树是树，且会结果；解：(5)梨树是果树中的一种，它会结梨。解：试述语义网络中求解问题的一般过程 解：语义网络的推理过程主要有两种，一种是继承，另一种是匹配。继承是指把对事物的描述从抽象节点传递到具
29、体节点。匹配是指在知识库的语义网络中寻找与待求解问题相符的语义网络模式。试述语义网络表示法的特点 解：结构性 联想性 自然性 缺点：非严格性，复杂性 何谓框架框架的一般形式是什么 草 树 是一是一植物 叶 根 Have Have 草 水草 水中 AKO Live 植物 AKO 树 果树 结果 AKO Can 植物 AKO 果梨树 结梨 AKO Can 树 AKO 解：框架表示法是在框架理论的基础上发展起来的一种结构化知识表示方法。框架通常由描述事物各个方面的若干槽组成，每一个槽也可以根据实际情况拥有若干个侧面，每一个侧面又可以拥有若干个值。何谓实例框架它与框架有什么关系 解：当人们把观察或认识
30、到的具体细节填入框架后，就得到了该框架的一个具体实例，框架的这种具体实例被称为实例框架。通用结构与具体实例，抽象与具体。何谓框架系统何谓框架系统的横向联系何谓框架系统的纵向联系 解：在框架理论中，框架是知识的基本单位，把一组有关的框架连接起来便可形成一个框架系统。在框架系统中，系统的行为由该系统内框架的变化来实现，系统的推理过程由框架之间的协调完成。纵向联系：表示那种具有演绎关系的知识结构，下层框架与上层框架之间具有一种继承关系，这种具有继承关系的框架之间的联系称为纵向联系。横向联系：由于一个框架的槽值或侧面值可以是另外一个框架的名字，这就在框架之间建立了另外一种联系，称为横向联系。假设有以下
31、一段天气预报：“北京地区今天白天晴，偏北风 3 级，最高气温12o，最低气温-2o，降水概率 15%。”请用框架表示这一知识。解：Frame 地域：北京 时段：今天白天 天气：晴 风向：偏北 风力：3 级 气温：最高：12 度 最低：-2度 降水概率：15%按“师生框架”、“教师框架”、“学生框架”的形式写出一个框架系统的描述。解：师生框架 Frame Name：Unit（Last-name，First-name）Sex：Area（male，female）Default：male Age：Unit（Years）Telephone：HomeUnit（Number）MobileUnit（Numbe
32、r）教师框架 Frame AKO Major：Unit（Major-Name）Lectures：Unit（Course-Name）Field：Unit（Field-Name）Project：Area（National，Provincial，Other）Default：Provincial Paper：Area（SCI，EI，Core，General）Default：Core 学生框架 Frame AKO Major：Unit（Major-Name）Classes：Unit（Classes-Name）Degree：Area（doctor，mastor,bachelor）Default：bache
33、lor 在框架系统中，问题求解的一般过程是什么？解：特性继承 框架的匹配与填槽 框架表示法的特点有哪些？解：优点：结构性，深层性，继承性，自然性。缺点：缺乏框架的形式理论，缺乏过程性知识表示，清晰性难以保证 何谓产生式系统产生式推理的基本结构由哪几部分组成 解：利用产生式知识表示方法所进行的推理称为产生式推理，由此产生的系统为产生式系统 基本结构：综合数据库，规则库，控制系统 什么是产生式的正向推理其基本过程是什么 解：从已知事实出发，正向使用推理规则的推理方法。过程：（1）把用户提供的初始证据放入综合数据库；（2）检查综合数据库中是否包含了问题的解，若已包含，则求解结束，并成功推出，否则，执
34、行下一步；（3）检查知识库中是否有可用知识。若有，形成当前可用知识集，执行下一步，否则转（5）；（4）按照某种冲突消解策略，从当前可用知识集中选出一条知识进行推理，并将推出的新事实加入综合数据库中，然后转（2）；（5）询问用户是否可以进一步补充新的事实，若可补充，则将补充的新事实加入综合数据库中，然后转（3），否则表示无解，失败退出。什么是逆向推理其基本过程是什么 解：以某个假设目标作为出发点的推理方法 过程：（1）将问题的初始证据和要求证的目标（称为假设）分别放入综合数据库和假设集；（2）从假设集中选出一个假设，检查该假设是否在综合数据库中，若在，则该假设成立。此时，若假设集为空，则成功退出
35、。否则，扔执行（2）。若该假设不在数据库中，则执行下一步；（3）检查该假设是否可由知识库的某个知识导出，若不能由某个知识导出，则询问用户寻找新的假设。若不是，则转（5），若能由某个知识导出，则执行下一步；（4）将知识库中可以导出该假设的所有知识构成一个可用知识集；（5）检查可用知识集是否为空，若空，失败退出。否则执行下一步；（6）按冲突消解策略从可用知识集中取出一个知识，继续执行下一步；（7）将该知识的前提中的每个子条件都作为新的假设放入假设集，转（2）。什么是混合推理它由哪几种实现方式 解：正向推理和逆向推理结合起来所进行的推理称为混合推理 实现：先正后逆，先逆后正，随机 什么是置换什么是合
36、一 解：在不同谓词公式中，往往会出现多个谓词的谓词名相同但个体不同的情况，此时推理过程是不能直接进行匹配的，需要先进行变元的替换。这种利用项对变元进行替换叫置换。合一利用置换使两个或多个谓词的个体一致。判断下列公式是否为可合一，若可合一，则求出其相应的置换 解：(1)可合一，其最一般和一为：=a/x,b/y。(2)可合一，其最一般和一为：=f(x)/y,b/z。(3)可合一，其最一般和一为：=f(b)/y,b/x。(4)不可合一。(5)可合一，其最一般和一为：=y/x。什么是自然演绎推理它所依据的推理规则是什么 从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推
37、理 推理规则：等价式，永真蕴涵式，置换，合一 什么是谓词公式的可满足性什么是谓词公式的不可满足性 教材页 什么是谓词公式的前束范式什么是谓词公式的 Skolem 范式 教材 P56 什么是字句集如何将谓词公式化为字句集 教材 把下列谓词公式化成子句集：(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)已经是合取范式，所以可直接消去
38、全称量词、合取词，得 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)此公式已为 Sk
39、olem 标准型。最后消去全称量词得子句集：S=P(x,f(x)Q(x,f(x)R(x,f(x)(4)对谓词(x)(y)(z)(P(x,y)Q(x,y)R(x,z)，先消去连接词“”得：(x)(y)(z)(P(x,y)Q(x,y)R(x,z)再消去存在量词，即用 Skolem 函数 f(x)替换 y 得：(x)(y)(P(x,y)Q(x,y)R(x,f(x,y)此公式已为 Skolem 标准型。最后消去全称量词得子句集：S=P(x,y)Q(x,y)R(x,f(x,y)鲁滨逊归结原理的基本思想是什么？解：鲁滨逊归结原理也称为消解原理。其基本思想是把永真性的证明转化为不可满足性的证明。即要证明 P
40、-Q永真，只要能够证明 PQ为不可满足即可。判断下列子句集中哪些是不可满足的：(1)PQ,Q,P,P (2)PQ,PQ,PQ,PQ(3)P(y)Q(y),P(f(x)R(a)(4)P(x)Q(x),P(y)R(y),P(a),S(a),S(z)R(z)(5)P(x)Q(f(x),a),P(h(y)Q(f(h(y),a)P(z)(6)P(x)Q(x)R(x),P(y)R(y),Q(a),R(b)解：(1)不可满足，其归结过程为：(2)不可满足，其归结过程为：(3)不是不可满足的，原因是不能由它导出空子句。(4)不可满足，其归结过程略(5)不是不可满足的，原因是不能由它导出空子句。(6)不可满足，
41、其归结过程略 对下列各题分别证明 G是否为 F1,F2,Fn的逻辑结论：(1)F:(x)(y)(P(x,y)G:(y)(x)(P(x,y)(2)F:(x)(P(x)(Q(a)Q(b)G:(x)(P(x)Q(x)(3)F:(x)(y)(P(f(x)(Q(f(y)G:P(f(a)P(y)Q(y)(4)F1:(x)(P(x)(y)(Q(y)L)F2:(x)(P(x)(y)(R(y)L)G:(x)(R(x)Q(x)(5)F1:(x)(P(x)(Q(x)R(x)F2:(x)(P(x)S(x)G:(x)(S(x)R(x)解：(1)先将 F和 G化成子句集：S=P(a,b),P(x,b)再对 S 进行归结：
42、PQ Q P P NIL PQ PQ Q PQ PQ Q NIL a/x 所以，G是 F的逻辑结论(2)先将 F和 G化成子句集 由 F得：S1=P(x)，(Q(a)Q(b)由于 G为：(x)(P(x)Q(x)，即(x)(P(x)Q(x)，可得：S2=P(x)Q(x)因此，扩充的子句集为：S=P(x)，(Q(a)Q(b)，P(x)Q(x)再对 S 进行归结：a/b a/x a/x 所以，G是 F的逻辑结论 同理可求得(3)、(4)和(5)，其求解过程略。设已知：(1)如果 x 是 y 的父亲，y 是 z 的父亲，则 x 是 z 的祖父；(2)每个人都有一个父亲。使用归结演绎推理证明：对于某人
43、u，一定存在一个人 v，v 是 u 的祖父。解：先定义谓词 P(a,P(x,bNIL Q(aQ(a)P(x)Q(x)P(a)P(x)NIL F(x,y)：x 是 y 的父亲 GF(x,z)：x 是 z 的祖父 P(x)：x 是一个人 再用谓词把问题描述出来：已知 F1：(x)(y)(z)(F(x,y)F(y,z)GF(x,z)F2：(y)(P(x)F(x,y)求证结论 G：(u)(v)(P(u)GF(v,u)然后再将 F1，F2和 G化成子句集：F(x,y)F(y,z)GF(x,z)P(r)F(s,r)P(u)GF(v,u)对上述扩充的子句集，其归结推理过程如下：x/v,z/u x/s,y/r
44、 y/s,z/r y/z y/u 由于导出了空子句，故结论得证。假设张被盗，公安局派出 5 个人去调查。案情分析时，贞察员 A说：“赵与钱中至少有一个人作案”，贞察员 B说：“钱与孙中至少有一个人作案”，贞察员 C说：“孙与李中至少有一个人作案”，贞察员 D说：“赵与孙中至少有一个人与此F(x,y)F(y,z)GF(GF(v,uF(x,y)F(y,zP(r)F(s,F(y,z)P(y)P(r)F(s,P(y)P(zP(y)P(u)NIL 案无关”，贞察员 E说：“钱与李中至少有一个人与此案无关”。如果这 5 个侦察员的话都是可信的，使用归结演绎推理求出谁是盗窃犯。解：(1)先定义谓词和常量 设
45、 C(x)表示 x 作案，Z表示赵，Q表示钱，S 表示孙，L表示李(2)将已知事实用谓词公式表示出来 赵与钱中至少有一个人作案：C(Z)C(Q)钱与孙中至少有一个人作案：C(Q)C(S)孙与李中至少有一个人作案：C(S)C(L)赵与孙中至少有一个人与此案无关：(C(Z)C(S)，即 C(Z)C(S)钱与李中至少有一个人与此案无关：(C(Q)C(L)，即 C(Q)C(L)(3)将所要求的问题用谓词公式表示出来，并与其否定取析取。设作案者为 u，则要求的结论是 C(u)。将其与其否)取析取，得：C(u)C(u)(4)对上述扩充的子句集，按归结原理进行归结，其修改的证明树如下：Q/u 因此，钱是盗窃
46、犯。实际上，本案的盗窃犯不止一人。根据归结原理还可以得出：S/u 因此，孙也是盗窃犯。设已知：(1)能阅读的人是识字的；C(Z)C(QC(Z)C(S)C(Q)C(S)C(Q)C(SC(Q)C(u)C(uC(Q)C(S)C(Q)C(Q)C(SC(S)C(u)C(uC(S)C(S)C(LC(Q)C(L)C(S)C(Q)C(Q)C(SC(S)C(u)C(uC(S)(2)海豚不识字；(3)有些海豚是很聪明的。请用归结演绎推理证明：有些很聪明的人并不识字。解：第一步，先定义谓词，设 R(x)表示 x 是能阅读的；K(y)表示 y 是识字的；W(z)表示 z 是很聪明的；第二步，将已知事实和目标用谓词公式
47、表示出来 能阅读的人是识字的：(x)(R(x)K(x)海豚不识字：(y)(K(y)有些海豚是很聪明的：(z)W(z)有些很聪明的人并不识字：(x)(W(z)?K(x)第三步，将上述已知事实和目标的否定化成子句集：R(x)K(x)K(y)W(z)W(z)K(x)第四步，用归结演绎推理进行证明 第3章 确定性推理部分参考答案 什么是搜索有哪两大类不同的搜索方法两者的区别是什么 W(z)K(x)W(z)K(zW(zNIL 解：像这种根据问题的实际情况，不断寻找可利用知识，从而构造一条最小的推理路线，使问题得以解决的过程称为搜索 可根据搜索过程是否使用启发式信息分为盲目搜索和启发式搜索，也可根据问题的
48、表示方式分为状态空间搜索和与/或搜索 盲目搜索是按预定的控制策略进行搜索，在搜索过程中获得的中间信息并不改变控制策略 启发式搜索是在搜索中加入了与问题有关的启发性信息，用于指导搜索朝着最有希望的方向前进，加速问题的求解过程，并找到最优解。状态空间搜索是指用状态空间法来表示问题所进行的搜索。与/或搜索是指用问题归约法来表示问题时所进行的搜索。什么是状态空间用状态空间表示问题时，什么是问题的解什么是最优解最优解唯一吗 解：状态空间（statespace）是由一个问题的全部状态，以及这些状态之间的相互关系所构成的集合，它可用一个三元祖（S,F,G）来表示，其中,S 为问题的所有初始状态的集合；F为操
49、作的集合；G为目标状态的集合。由初始状态到目标状态所使用的算符序列就是该问题的一个解。使某目标函数达到最优值（最大值或最小值）的任一可行解，都称为该问题的一个最优解。最优解不唯一。什么是与树什么是或树什么是与/或树什么是可解节点什么是解树 解：把一个原问题分解为若干个子问题可用一个“与树”来表示。把一个原问题变换为若干个子问题可用一个“或树”来表示。如果一个问题既需要通过分解，有需要通过变换才能得到其本原问题，则其归约过程可用一个“与/或树”来表示 在与/或树中，满足以下三个条件之一的节点为可解节点：（1）任何终止节点都是可解节点（2）对“或”节点，当其子节点中至少有一个为可解节点时，则该或节
50、点就是可解节点（3）对“与”节点，只有当其子节点全部为可解节点时，该与节点才是可解节点。解树：由可解节点构成，并且有这些可解节点可以推出初始节点为可解节点的子树为解树。在状态空间一般搜索过程中，open 表与 closed 表的作用与区别是什么？解：open 表中存放待考察节点，close 表存放考察过的节点。有一农夫带一条狼，一只羊和一筐菜从河的左岸乘船到右岸，但受下列条件限制：（1）船太小，农夫每次只能带一样东西过河（2）如果没有农夫看管，则狼要吃羊，羊要吃菜 请设计一个过河方案，使得农夫、狼羊都能不受损失的过河，画出相应的状态空间图 有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右