人工智能原理及其应用王万森第3版课后习题答案文件新版

1、精第1章人工智能概述课后题答案1.11.1什么是智能？智能包含哪几种能力？解：智能主要是指人类的自然智能。一般认为，智能是是一种认识客观事物和运用知识解决问 题的综合能力。智能包含感知能力，记忆与思维能力，学习和自适应能力，行为能力1.21.2人类有哪几种思维方式？各有什么特点？解：人类思维方式有形象思维、抽象思维和灵感思维形象思维也称直感思维，是一种基于形象概念，根据感性形象认识材料，对客观对象进行处理 的一种思维方式。抽象思维也称逻辑思维，是一种基于抽象概念，根据逻辑规则对信息或知识进行处理的理性思 维形式。灵感思维也称顿悟思维，是一种显意识与潜意识相互作用的思维方式。1.31.3什么是人

2、工智能？它的研究目标是什么？解：从能力的角度讲，人工智能是指用人工的方法在机器（计算机）上实现智能；从学科的角 度看，人工智能是一门研究如何构造智能机器或智能系统，使它能模拟、延伸和扩展人类智能 的学科。研究目标：对智能行为有效解释的理论分析；解释人类智能；构造具有智能的人工产品；1.41.4什么是图灵实验？图灵实验说明了什么？解：图灵实验可描述如下，该实验的参加者由一位测试主持人和两个被测试对象组成。其中， 两个被测试对象中一个是人，另一个是机器。测试规则为：测试主持人和每个被测试对象分别 位于彼此不能看见的房间中，相互之间只能通过计算机终端进行会话。测试开始后，由测试主 持人向被测试对象提

3、出各种具有智能性的问题，但不能询问测试者的物理特征。 被测试对象在 回答问题时，都应尽量使测试者相信自己是“人”， 而另一位是”机器”。在这个前提下，要求 测试主持人区分这两个被测试对象中哪个是人，哪个是机器。如果无论如何更换测试主持人和 被测试对象的人，测试主持人总能分辨出人和机器的概率都小于50%则认为该机器具有了智能。1.51.5人工智能的发展经历了哪几个阶段？解：孕育期，形成期，知识应用期，从学派分立走向综合，智能科学技术学科的兴起精1.61.6人工智能研究的基本内容有哪些?解：与脑科学与认知科学的交叉研究 智能模拟的方法和技术研究1.71.7人工智能有哪几个主要学派？各自的特点是什么

4、？解：符号主义：又称为逻辑主义、心理学派或计算机学派，是基于物理符号系统假设和有限合理性 原理的人工智能学派。符号主义认为人工智能起源于数理逻辑，人类认知（智能）的基本元素 是符号，认知过程是符号表示上的一种运算。联结主义：又称为仿生学派或生理学派，是基于神经网络及网络间的联结机制与学习算法的人 工智能学派。联结主义认为人工智能起源于仿生学，特别是人脑模型的研究。行为主义：又称进化主义或控制论学派，是基于控制论和“感知-动作”控制系统的人工智能学 派。行为主义认为人工智能起源于控制论，提出智能取决于感知和行为，取决于对外界复杂环 境的适应，而不是表示和推理。1.81.8人工智能有哪些主要研究和

5、应用领域？其中哪些是新的研究热点? 解：机器思维：推理、搜索、规划机器学习：符号学习、联结学习、知识发现和数据挖掘机器感知：机器视觉、模式识别、自然语言理解机器行为：智能控制、计算智能：神经计算、分布智能智能系统： 专家系统、人工心理与人工情感 研究热点：智能机器人、智能检索、智能游戏等。1.9人工智能未来发展有哪些值得思考和关注的重要问题?解：多学科交叉研究分布智能与社会智能研究集成智能研究智能网络研究认知计算与情感计算研究智能系统与智能服务智能制造进化计算、模糊计算智能决策支持系统精第2章 确定性知识系统参考答案2.12.1什么是知识？有哪几种主要的知识分类方法？解：知识是人们在改造客观世

6、界的实践中积累起来的认识和经验；知识是对信息进行智能 性加工中形成的对客观世界规律性的认识。分类：按适用范围：常识性知识、领域性知识按作用效果：陈述性知识、过程性知识、控制性知识按确定性：确定性知识、不确定性知识2.22.2什么是知识表示？知识表示有哪些要求？解：知识表示就是对知识的描述，即用一些约定的符号把知识编码成一组可以被计算机直 接识别，并便于系统使用的数据结构f一介谓词逻辑表示法非结构化方法I产生式r语义网络知识表示方法/过程性知识表示要求：表示能力，可利用性，可组织性与可维护性，可理解性和可实现性2.32.3从心理学的角度看，推理有哪两种比较典型的观点？它们的含义是什么？解：结构观

7、点：这种观点从结构的角度出发，认为推理由两个以上判断所组成，每个判断 所揭示的是概念之间的联系和关系，推理过程是一种对客观事物做出肯定或否点的思维活动。过程观点：这种观点从过程的角度出发，认为推理是在给定信息和已有知识的基础上所进行的一系列加工操作，其代表人物克茨提出了如下人类推理的公式：y=F（X,k）式中，x是推理时给出的信息，k是推理时可用的领域知识和特殊事例，F是可用的一系列操作，y是推理 过程所得到的结论。2.42.4什么是推理？它有哪些分类方法？解：推理是由具体事例归纳出一般规律，或者根据已有的知识推出新的结论的思维过程 分为演绎法和归纳法陈述性知识表示广I结构化方法JI框架结构精

8、2.52.5推理中的控制策略包括哪几个方面的内容？主要解决哪些问题？ 解：包括推理策略和搜索策略推理策略主要解决推理方向，求解策略，限制策略，冲突消解策略等 搜索策略主要解决推理线路，推理效果，推理效率等问题2.62.6什么是命题？什么是命题的真值？解：一个陈述句称为一个断言，凡有真假意义的断言称为命题。命题的意义通常称为真值，当命题的意义为真时，则称该命题的真值为真。2.72.7什么是论域？什么是谓词解：论域是由所讨论对象之全体构成的非空集合。论域中的元素称为个体，论域也常称为 个体域。在谓词逻辑中，命题是用谓词来表示的。一个谓词可分为谓词名和个体两部分。2.82.8什么是自由变元？什么是约

9、束变元？解：当一个谓词公式含有量词时，区分个体变元是否受量词的约束是很重要的。通常，把 位于量词后面的单个谓词或者用括弧括起来的合式公式称为该量词的辖域，辖域内与量词中受 约束的变元称为约束变元，不受约束的变元称为自由变元。2.92.9设有如下语句，请用相应的谓词公式分别把他们表示出来：(1)(1)有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花 解：定义谓词P(x):x是人L(x,y):x喜欢y其中，y的个体域是梅花，菊花 o将知识用谓词表示为：(3 x )(P(x) 7 L(x,梅花)V L(x,菊花)V (L(x,梅花)A L(x,菊花)(2)(2)有人每天下午都去打篮球。 解

10、：定义谓词P(x):x是人B(x):x打篮球A(y):y是下午将知识用谓词表示为：(Wx )(Vy) (A(y) 7 B(x) A P(x)(3)(3)新型计算机速度又快，存储容量又大。 解：定义谓词NC(x):x是新型计算机F(x):x速度快B(x):x容量大将知识用谓词表示为：(/x) (NC(x) 7 F(x) A B(x)(4)(4)不是每个计算机系的学生都喜欢在计算机上编程序。 解：定义谓词S(x):x是计算机系学生精L(x, Pragramming):x喜欢编程序U(x,computer):x使用计算机将知识用谓词表示为：? (/x) (S(x) 7 L(x, pragrammin

11、g) A U(x,computer)(5)(5)凡是喜欢编程序的人都喜欢计算机。 解：定义谓词P(x):x是人L(x, y):x喜欢y将知识用谓词表示为：(勺x) (P(x) A L(x,pragramming) 7L(x, computer)2.102.10用谓词表示法求解机器人摞积木问题。设机器人有一只机械手， 要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有4个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木 世界的布局如下图所示。图 2.10 机器人摞积木问题解：(1)先定义描述状态的谓词CLEAR(x)

12、:积木x上面是空的。ON(x, y):积木x在积木y的上面。ONTABLE(x):积木x在桌子上。HOLDING(x):机械手抓住x。精HANDEMPTY:机械手是空的。 其中，x和y的个体域都是A, B, C。问题的初始状态是：ONTABLE(A)ONTABLE(B)ON(C, A)CLEAR(B)CLEAR(C)HANDEMPTY问题的目标状态是：ONTABLE(C)ON(B, C)ON(A, B)CLEAR(A)HANDEMPTY(2)再定义描述操作的谓词 在本问题中，机械手的操作需要定义以下Pickup(x):从桌面上拣起一块积木x。Putdown(x):将手中的积木放到桌面上。Sta

13、ck(x, y):在积木x上面再摞上一块积木Upstack(x, y):从积木x上面拣起一块积木4个谓词:y。y。其中，每一个操作都可分为条件和动作两部分，具体描述如下:Picku p(x)条件： 动作：ONTABLE(x),HANDEMPTY,CLEAR(x)删除表：ONTABLE(x),HANDEMPTY添加表：HOLDING(X)Putdow n(x)条件:动作:HOLDING(x)删除表：HOLDING(x)添加表：ONTABLE(x)，CLEAR(x)，HANDEMPTYStack(x, y)条件:动作:HOLDING(x)，CLEAR(y)删除表：HOLDING(x)，CLEAR(

14、y)添加表：HANDEMPTY，ON(x, y)，CLEAR(x) Up stack(x, y)条件：HANDEMPTY，CLEAR(x)，ON(x,y)动作：删除表：HANDEMPTY，ON(x, y)添加表：HOLDING(x)，CLEAR(x)精精（3）问题求解过程利用上述谓词和操作，其求解过程为:ONTABLE(A)ONTABLE(B)Putdown(C) ONTABLE(C) Pickup(B) A CLEAR(A) 二CLEAR(B)CLEAR(C)HANDEMPTYONTABLE(C)ONTABLE(C)Pickup(A)I ONQC)Stack(A,B) OYBEA CLEAR

15、(A) I ; eON(A,B)CLEAR(B)CLEAR(A)HOLDING(A)HANDE MPT2.112.11用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条 河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能 载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。似规划出一个确 保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。解：（1）先定义描述状态的谓词要描述这个问题，需要能够说明农夫、狼、羊、白菜和船在什么位置，为简化问题表示， 取消船在河中行驶的状态，只描述左岸和右岸的状态。

16、并且，由于左岸和右岸的状态互补，因 此可仅对左岸或右岸的状态做直接描述。本题选择对左岸进行直接描述的方法，即定义谓词如 下：AL（x）:x在左岸其中，x的个体域是农夫，船，狼，羊，白菜。对应地，？AL（x）表示x在右岸。问题的初始状态：AL（农夫）AL（船）AL（狼）AL（羊）AL（白菜）问题的目标状态：?AL（农夫）?AL（船）?AL（狼）?AL（羊）ONTABLE(A)ONTABLE(B)ON(C, A)CLEAR(B)CLEAR(C)HANDEMPTYONTABLE(A)Up stack(C,A)ONTABLE(B)_ HOLDING(C)CLEAR(A)CLEAR(B)ONTABLE(

17、A)ONTABLE(C)HOLDING(B)CLEAR(A)CLEAR(B)CLEAR(C)ONTABLE(A) stack(BONTABLE(C)二ON(B,C)CLEAR(A)CLEAR(B)HANDEMPT精?AL（白菜）（2）再定义描述操作的谓词本题需要以下4个描述操作的谓词：L-R:农夫自己划船从左岸到右岸LR（x）:农夫带着x划船从左岸到右岸R-L:农夫自己划船从右岸到左岸R-L（x）:农夫带着x划船从右岸到左岸 其中，x的个体域是狼，羊，白菜。对上述每个操作，都包括条件和动作两部分。它们对应的条件和动作如下：LR:农夫划船从左岸到右岸条件：AL（船），AL（农夫），？AL（狼）V

18、?AL（羊），？AL（羊）V?AL（白菜）动作：删除表：AL（船）,AL（农夫）添加表：？AL（船）,?AL（农夫）LR（狼）：农夫带着狼划船从左岸到右岸条件：AL（船），AL（农夫）,AL（狼），？AL（羊）动作：删除表：AL（船）,AL（农夫），AL（狼）添加表：？AL（船），？AL（农夫），？AL（狼）LR（羊）：农夫带着羊划船从左岸到右岸条件：AL（船），AL（农夫）,AL（羊），AL（狼），AL（白菜）或：AL（船），AL（农夫）,AL（羊） ， ？AL（狼），？AL（白菜）动作：删除表：AL（船）,AL（农夫），AL（羊）添加表：？AL（船），？AL（农夫），？AL（羊）LR（白菜

19、）:农夫带着白菜划船从左岸到右岸条件：AL（船），AL（农夫）,AL（白菜），？AL（狼）动作：删除表：AL（船）,AL（农夫），AL（白菜）添加表：？AL（船），？AL（农夫），？AL（白菜）R-L:农夫划船从右岸到左岸条件：？AL（船），？AL（农夫）,AL（狼）V AL（羊）,AL（羊）V AL（白菜）或：？AL（船），？AL（农夫），？AL（狼），？AL（白菜）,AL（羊）动作：删除表：？AL（船），？AL（农夫）添加表：AL（船）,AL（农夫）R-L（羊）：农夫带着羊划船从右岸到左岸条件：？AL（船），？AL（农夫），？AL（羊），？AL（狼），？AL（羊）,AL（白菜）动作：删除表

20、：？AL（船），？AL（农夫），？AL（羊）添加表：AL（船）,AL（农夫），（3）问题求解过程AL（农夫）AL（船）L-R（羊）AL（狼）_ rAL（羊）AL（羊）AL（狼）AL（白菜）R-L?AL（农夫）-?AL（船）?AL（羊）AL（农夫）AL（船）L-R（狼）A AL（狼）AL（白菜）?AL（羊）AL（白菜）?AL（农夫） R-L （羊）A ?AL（船）=?AL（狼）?AL（羊）精AL(白菜)AL（农夫）AL（羊）AL（船）L-R（白菜）?AL（农夫）R-LAL（羊） ?AL（船） AAL（白菜）?AL（白菜）?AL（狼）?AL（狼）2.122.12用谓词表示法求解修道士和野人问题。修

21、道士们想用这条船将所有的人都运过河去，但要受到以下条件限制：(1)修道士和野人都会划船，但船一次只能装运两个人。(2)在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写 出所用谓词的定义、功能及变量的个体域。解：(1)定义谓词先定义修道士和野人人数关系的谓词：G(x,y,S):在状态S下x大于yGE(x,y,S):在状态S下x大于或等于y其中，x,y分别代表修道士人数和野人数，他们的个体域均为0,123。再定义船所在岸的谓词和修道士不在该岸上的谓词：Boat(z,S):状态S下船在z岸EZ(x,S):状态S下

22、x等于0，即修道士不在该岸上 其中，z的个体域是L,R，L表示左岸，R表示右岸。再定义安全性谓词：Safety(z,x,y,S戸(G(x,0,S) A GE(x,y,S) V (EZ(x,S)其中，z,x,y的含义同上。该谓词的含义是：状态S下，在z岸，保证修道士安全，当且仅当修 道士不在该岸上，或者修道士在该岸上，但人数超过野人数。该谓词同时也描述了相应的状态。再定义描述过河方案的谓词：L-R(x, x1, y, y1,S):x1个修道士和y1个野人渡船从河的左岸到河的右岸条件：Safety(L,x-x1,y-y1,SA Safety(R,3-x+x1,3-y+y1,S A Boat(L,S

23、)动作：Safety(L,x-x1,y-y1,SA Safety(R,3-x+x1,3-y+y1,S A Boat(R,S)R-L (x, x1, y, y1,S):x2个修道士和y2个野人渡船从河的左岸到河的右岸条件：Safety(R,3-x-x2,3-y-y2,SA Safety(L,x+x2,y+y2,SA Boat(R,S)动作：Safety(R,3-x-x2,3-y-y2,SA Safety(L,x+x2,y+y2,SA Boat(L,SAL（农夫）AL（船）L-R（羊）AL（羊）?AL（白菜）?AL（狼）?AL（农夫）?AL（船）?AL（羊）?AL（白菜）?AL（狼）在河的北岸有三

24、个修道士、三个野人和一条船,精(2)过河方案Safety(L,3,3,S0)A Safety(R,0,0,S0)A Boat(L,S0) jL-R(3, 1,3, 1,S0)Safety(L,2,2,S1)ASafety(R,1,1,S1)A Boat(R,S1)ty(L,3,1,S1 )A Safety(R,0,2,S1) A Boat(R,S1)J R-L (2, 1,2, 0,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)A Safety(R,0,3,S3)A Boat(

25、R,S3)“ R-L (3, 0, 0, 1,S3)Safety(L,3,1,S4)A Safety(R,0,2,S1)A Boat(L,S4) I L-R(3, 2, 1,0,S4)Safety(L,1,1,S5)A Safety(R,2,2,S5)A Boat(R,S5) R-L (1, 1, 1, 1,S5)Safety(L,2,2,S6)A Safety(R,1,1,S6)A Boat(L,S6)J L-R(2, 2, 2, 0,S6)Safety(L,0,2,S7)A Safety(R,3,1,S7)A Boat(R,S7) R-L (0, 0, 2, 1,S7)Safety(L,0

26、,3,S8)A Safety(R,3,0,S8)A Boat(L,S8)J L-R(0, 0, 3, 2,S8)Safety(L,0,1,S9)A Safety(R,3,2,S9)A Boat(R,S9)“ R-L (0, 1, 1, 0,S9)Safety(L,1,1,S10) A Safety(R,2,2,S10)A Boat(L,S10) J L-R(1, 1, 1, 1,S10)Safety(L,0,0,S11)A Safety(R,3,3,S11)A Boat(R,S11)2.13什么是产生式？它的基本形式是什么？代表什么含义？解：“产生式”由美国数学家波斯特（E.POST）在193

27、4年首先提出，它根据串代替规则 提出了一种称为波斯特机的计算模型，模型中的每条规则称为产生式。产生式的基本形式i Q或者IF P THEN Q。P是产生式的前提，也称为前件，它给出了 该产生式可否使用的先决条件，由事实的逻辑组合来构成；Q是一组结论或操作，也称为产生式的后件，它指出当前题P满足时，应该推出的结论或应该执行的动作。产生式的含义如果前 提P满足，则可推出结论Q或执行Q所规定的操作。2.14产生式表示的特征是什么？解：优点：自然性、模块性、有效性 缺点：效率低性、不方便表示结构性知识的有向图L-R(3, 0, 3, 2,S0)R-L (3,0, 1, 1,S1)精2.15何谓语义网络

28、？它有哪些基本的语义关系?精解：语义网络：用实体以及语义关系来表达知识的有向图 基本的语义关系：2.12.16 6请对下列命题分别写出它们的语义网络:（1）每个学生都有一台计算机。AKOI I学生I I4算机 AKOAKO ,备1 1owner实例关系（ISA）:（是一个）（一个事物是另一个事物的具体例子）分类关系（AKO）:（是一种）子类与超类成员关系（A-member-of）:是一名属性关系：Have有、Can能、Age年龄包含关系Part-of-部分（不具备属性）位置关系:Before，afterlocated-on located-un der located-outside loca

29、ted-at located-i nside相近关系similar-to相似near-to接近占有权owns占有资格AKO 高老师从3月到7月给计算机系学生讲计算机网络课。 解：StartEnd_ ISA老师1-1 Subject1 1高老师 X-讲课事件Action 讲课ObjectCaurseI计算机网络Im 计算机系学生（3 3）学习班的学员有男、 有女、 有研究生、 有本科生。解：精2.172.17请把下列命题用一个语义网络表示出来:(1)树和草都是植物；解：男女1 1 1 1研究生1 11 1本科生Have Have -/Have学员 创新公司在科海大街56号，刘洋是该公司的经理，他

30、32岁、硕士学位。(5)(5)红队与蓝队进行足球比赛，最后以3:2的比分结束。 解：精树和草都有叶和根;解：(3)(3)水草是草，且生长在水中;解：(5)(5)梨树是果树中的一种，它会结梨。 解：2.18试述语义网络中求解问题的一般过程解：语义网络的推理过程主要有两种，一种是继承，另一种是匹配。 继承是指把对事物的描述从抽象节点传递到具体节点。匹配是指在知识库的语义网络中寻找与待求解问题相符的语义网络模式。2.19试述语义网络表示法的特点 解：结构性联想性自然性缺点：非严格性，复杂性2.20何谓框架？框架的一般形式是什么？解：框架表示法是在框架理论的基础上发展起来的一种结构化知识表示方法。框架

31、通常由描述事物各个方面的若干槽组成，每一个槽也可以根据实际情况拥有若干个侧 面，每一个侧面又可以拥有若干个值。2.21何谓实例框架？它与框架有什么关系？解：当人们把观察或认识到的具体细节填入框架后，就得到了该框架的一个具体实例，框 架的这种具体AKO树*-梨树Can结梨精实例被称为实例框架。通用结构与具体实例，抽象与具体。2.22何谓框架系统？何谓框架系统的横向联系？何谓框架系统的纵向联系？解：在框架理论中，框架是知识的基本单位，把一组有关的框架连接起来便可形成一个框 架系统。在框架系统中，系统的行为由该系统内框架的变化来实现，系统的推理过程由框架之 间的协调完成。纵向联系：表示那种具有演绎关

32、系的知识结构，下层框架与上层框架之间具有一种继承关 系，这种具有继承关系的框架之间的联系称为纵向联系。横向联系：由于一个框架的槽值或侧面值可以是另外一个框架的名字，这就在框架之间建 立了另外一种联系，称为横向联系。2.232.23假设有以下一段天气预报： “北京地区今天白天晴， 偏北风 低气温-2 0,降水概率15%”请用框架表示这一知识。解：Framev天气预报地域：北京时段：今天白天天气：晴风向：偏北风力：3级气温：最高：12度最低：-2度降水概率：15%2.242.24按“师生框架”、“教师框架”、“学生框架”的形式写出一个框架系统的描述。 解：师生框架Frame Name：Un it（

33、Last -n ame, First-name）Sex：Area（male，female）Default:maleAge:Un it（Years）Tele phone Home Unit（Number）Mobile Unit（Number）教师框架3级，最咼气温12o，最Frame AKOMajor:Un it(Major-Name)Lectures：Un it(Course-Name)Field:Un it(Field-Name)Project:Area(National，Provincial，Other)Default:ProvincialPap er Area(SCI，El，Core，G

34、en eral)Default:Core学生框架Frame AKOMajor:Un it(Major-Name)Classes Un it(Classes-NamDegree： Area(doctor，mastor, bachelor)Default:bachelor2.252.25在框架系统中，问题求解的一般过程是什么? 解：特性继承框架的匹配与填槽2.262.26框架表示法的特点有哪些？ 解：优点：结构性，深层性，继承性，自然性。缺点：缺乏框架的形式理论，缺乏过程性知识表示，清晰性难以保证2.272.27何谓产生式系统？产生式推理的基本结构由哪几部分组成？解：利用产生式知识表示方法所进行的

35、推理称为产生式推理，由此产生的系统为产生式系 统基本结构：综合数据库，规则库，控制系统2.282.28什么是产生式的正向推理？其基本过程是什么？ 解：从已知事实出发，正向使用推理规则的推理方法。过程：（1） 把用户提供的初始证据放入综合数据库；（2） 检查综合数据库中是否包含了问题的解，若已包含，则求解结束，并成功推出，否则，执行下一步；（3） 检查知识库中是否有可用知识。 若有，形成当前可用知识集，执行下一步，否则转（5）；（4） 按照某种冲突消解策略，从当前可用知识集中选出一条知识进行推理，并将推出的新精精事实加入综合数据库中，然后转（2）;（5）询问用户是否可以进一步补充新的事实，若可补

36、充，则将补充的新事实加入综合数据 库中，然后转（3），否则表示无解，失败退出。2.292.29什么是逆向推理？其基本过程是什么？解：以某个假设目标作为出发点的推理方法过程：（1将问题的初始证据和要求证的目标（称为假设）分别放入综合数据库和假设集；（2）从假设集中选出一个假设，检查该假设是否在综合数据库中，若在，则该假设成立。此时，若假设集为空，则成功退出。否则，扔执行（2）o若该假设不在数据库中，则执行下一步；（3） 检查该假设是否可由知识库的某个知识导出，若不能由某个知识导出，则询问用户寻 找新的假设。若不是，则转（5），若能由某个知识导出，则执行下一步；将知识库中可以导出该假设的所有知识构

37、成一个可用知识集； 检查可用知识集是否为空，若空，失败退出。否则执行下一步；按冲突消解策略从可用知识集中取出一个知识，继续执行下一步；将该知识的前提中的每个子条件都作为新的假设放入假设集，转（2.302.30解 ：正向推理和逆向推理结合起来所进行的推理称为混合推理 实现：先正后逆，先逆后正，随机2.312.31什么是置换？什么是合一？解：在不同谓词公式中，往往会出现多个谓词的谓词名相同但个体不同的情况，此时推理 过程是不能直接进行匹配的，需要先进行变元的替换。这种利用项对变元进行替换叫置换。合一利用置换使两个或多个谓词的个体一致。解：（1）可合一，其取一般和一为：CT =a/x,b/y可合一，

38、其最一般和一为：C = f（x）/y.b/z可合一，其最一般和一为：C =f（b）/y,b/x不可合一O可合一，其最一般和一为：C = y/x O2.322.32判断下列公式是否为可合一，若可合一，则求出其相应的置换OOO(4)(5)(6)(7)2)。什么是混合推理？它由哪几种实现方式?精2.332.33什么是自然演绎推理？它所依据的推理规则是什么？从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演 绎推理推理规则：等价式，永真蕴涵式，置换，合一精2.342.34什么是谓词公式的可满足性？什么是谓词公式的不可满足性?教材P55.56页什么是谓词公式的前束范式？什么是

39、谓词公式的Skolem范式?P56什么是字句集？如何将谓词公式化为字句集?P56.57W泳*y)(P(x, y) AQ(x, y)(Vx)(Yy)( P(x, y) 7 Q(x, y) (V x)( 3 y)(P y) V (Q(x, y) 7 R(x, y)(y X)( / y) (3 z)(P(x, y) 7 Q(x, y) V R(x, z)由于(Vx)(/y)(P(x, y) A Q(x, y)已经是Skolem标准型，且P(x, y)A Q(x, y)已经是合取范式，所以可直接消去全称量词、合取词，得 P(x, y), Q(x, y)再进行变元换名得子句集：S= P(x, y), Q

40、(u, V)(2)对谓词公式(Vx)(Vy)(P(x, y) 7 Q(x, y)，先消去连接词“7”得：(Vx)(Vy)(?P(x, y)V Q(x, y)此公式已为Skolem标准型。再消去全称量词得子句集：S= ?P(x, y) V Q(x,_y)(3)对谓词公式(Vx)(Wy)(P(x, y) V (Q(x, y)7 R(x, y)，先消去连接词“7”得:(V x)( Wy)(P(x, y) V ( ?Q(x, y) V R(x, y)此公式已为前束范式。再消去存在量词，即用Skolem函数f(x)替换y得：(V x)(P(x, f(x) V?Q(x, f(x) V R(x, f(x)此

41、公式已为Skolem标准型。最后消去全称量词得子句集：S=P(x, f(x) V?Q(x丄(X) V R(x, f(x)对谓词(F X)(Y y) ( 3z)(P(x, y)7Q(x, y) V R(x, z)，先消去连接词“7”得:(V X)(V y) (3 z)(?P(x,y) V Q(x, y) V R(x, z)再消去存在量词，即用Skolem函数f(x)替换y得：(V X)(P y) (?P(x, y) V Q(x, y) V R(x, f(x,y)此公式已为Skolem标准型。2.352.35教材2.362.36教材2.372.37把下列谓词公式化成子句集：(1)(2)(3)(4)

42、解：精最后消去全称量词得子句集：S=?P(x, y) V Q(x, y) V R(x, f(x,y)精2.382.38鲁滨逊归结原理的基本思想是什么？解：鲁滨逊归结原理也称为消解原理。其基本思想是把永真性的证明转化为不可满足性的 证明。即要证明P-Q永真，只要能够证明PA? Q为不可满足即可。?PV Q, ?Q, P ?P P V Q , ?PV Q, P V?Q, ?P V?Q P(y) V Q(y) , ?P(f(x) V R(a)?P(x) V Q(x) , ?P(y) V R(y), P(a), S(a), ?S(z) V? R(z)?P(x) V Q(f(x),a) , ?P(h(y

43、) V Q(f(h(y), a)V?P(z)P(x) V Q(x) V R(x) , ?P(y) V R(y), ?Q(a), ?R(b)不可满足，其归结过程为：不可满足，其归结过程为:不是不可满足的，原因是不能由它导出空子句。 不可满足，其归结过程略不是不可满足的，原因是不能由它导出空子句。 不可满足，其归结过程略2.402.40对下列各题分别证明G是否为 FI,F2,F的逻辑结论:F： (Wx)(可)(P(X, y)G： (Py)(Wx)( P(X, y)F:(VX)(P(X)A(Q(a) V Q(b)G: 0) (P(x)AQ(x)F：(Wx)(Wy)(P(f(x)A(Q(f(y)2.3

44、92.39判断下列子句集中哪些是不可满足的:(1)(2)(3)(4)(5)(6)(1)解:精G： P(f(a) A P(y)A Q(y)Fi： Q/x)(P(x) 7 y)(Q(y) n L(x.y)F2： (WX)(P(x) A (Vy)(R(y) 7 L(x.y)G: (Px)(R(x)Q(x)F1： ( Vx)(P(x) 7 (Q(x) A R(x)F2： (Jx) (P(x) A S(x)G: (Wx) (S(x) A R(x)先将F和？G化成子句集：S= P(a,b), ?P (x,b)再对S进行归结：解:(1)所以，G是F的逻辑结论(2)先将F和？G化成子句集由F得：Si=p(d,

45、(Q(a) V Q(b)由于？G为：？(lx) (P(x) A Q(x)，即(Vx) (? P(x) V? Q(x),可得：S2=? P(x)V? Q(x)因此，扩充的子句集为：S= P(X), (Q(a)V Q(b), ? P(X)V? Q(x)再对S进行归结：所以，G是F的逻辑结论 同理可求得(3)、(4)和(5)，其求解过程略。精由于导出了空子句，故结论得证。2.412.41设已知：(1)如果x是y的父亲，y是z的父亲，则x是z的祖父；(2)每个人都有一个父亲。使用归结演绎推理证明：对于某人U, 定存在一个人V,v是U的祖父。解：先定义谓词F(x,y):x是y的父亲GF(x,z):x是z

46、的祖父P(x):x是一个人再用谓词把问题描述出来：已知F1:F2：求证结论然后再将(/x) ( P y) ( W z)( F(x,y) A F(y,z)GF(x,z)y)(x)二F(x,y)G： (3 u) (Wv)( P(u)7GF(v,u)F1,F2和？G化成子句集：?F(x,y) V?F(y,z)V GF(x,z)?P(r)V F(s,r)P(u)?GF(v,u)对上述扩充的子句集，其归结推理过程如下：精因此，钱是盗窃犯。实际上,本案的盗窃犯不止一人。根据归结原理还可以得出:2.422.42假设张被盗，公安局派出5个人去调查。案情分析时，贞察员A说：“赵与钱中至少有一个人作案”，贞察员B

47、说：“钱与孙中至少有一个人作案”，贞察员C说：“孙与李中 至少有一个人作案”，贞察员D说：“赵与孙中至少有一个人与此案无关”，贞察员E说：“钱与李中至少有一个人与此案无关”。如果这5个侦察员的话都是可信的，使用归结演绎推理求出谁是盗窃犯。解：(1)先定义谓词和常量设C(x)表示x作案，Z表示赵，Q表示钱，S表示孙，L表示李(2)将已知事实用谓词公式表示出来赵与钱中至少有一个人作案： 钱与孙中至少有一个人作案： 孙与李中至少有一个人作案：赵与孙中至少有一个人与此案无关： 钱与李中至少有一个人与此案无关：(3)将所要求的问题用谓词公式表示出来，并与其否定取析取。 设作案者为u则要求的结论是C(u)

48、。将其与其否)取析取，得：? C(u) V C(u)(4)对上述扩充的子句集，按归结原理进行归结，其修改的证明树如下：C(Z) V C(Q)C(Q) V C(S)C(S) V C(L)? (C (Z) A C(S),即卩?C (Z) V?C(S)? (C (Q) A C(L)，即？C (Q) V?C(L)精因此，孙也是盗窃犯。2.432.43设已知：(1)能阅读的人是识字的；(2)海豚不识字；(3)有些海豚是很聪明的。请用归结演绎推理证明：有些很聪明的人并不识字。解：第一步，先定义谓词，设R(x)表示x是能阅读的；K(y)表示y是识字的；W(z)表示z是很聪明的； 第二步，将已知事实和目标用谓

49、词公式表示出来能阅读的人是识字的：(V x)(R(x) 7 K(x)海豚不识字：(Vy)(?K (y)有些海豚是很聪明的：(W Z)W(z)有些很聪明的人并不识字：(3 x)( W(z) A? K(x)第三步，将上述已知事实和目标的否定化成子句集：?R(x) V K(x)水(y)W(z)?W(z) V K(x)第四步，用归结演绎推理进行证明第3章确定性推理部分参考答案3.13.1什么是搜索？有哪两大类不同的搜索方法？两者的区别是什么？解：像这种根据问题的实际情况，不断寻找可利用知识，从而构造一条最小的推理路线， 使问题得以解决的过程称为搜索可根据搜索过程是否使用启发式信息分为盲目搜索和启发式搜

50、索，也可根据问题的表示方 式分为状态空间搜索和与/或搜索精盲目搜索是按预定的控制策略进行搜索，在搜索过程中获得的中间信息并不改变控制策略 启发式搜索是在搜索中加入了与问题有关的启发性信息，用于指导搜索朝着最有希望的方 向前进，加速问题的求解过程，并找到最优解。状态空间搜索是指用状态空间法来表示问题所进行的搜索。与/或搜索是指用问题归约法来表示问题时所进行的搜索。3.23.2什么是状态空间？用状态空间表示问题时，什么是问题的解？什么是最优解？最优解 唯一吗？解：状态空间（state space是由一个问题的全部状态，以及这些状态之间的相互关系所构 成的集合，它可用一个三元祖（S,F,G）来表示，

51、其中,S为问题的所有初始状态的集合；F为操 作的集合；G为目标状态的集合。由初始状态到目标状态所使用的算符序列就是该问题的一个解。使某目标函数达到最优值（最大值或最小值）的任一可行解，都称为该问题的一个最优解。 最优解不唯一。3.33.3什么是与树？什么是或树？什么是与/或树？什么是可解节点？什么是解树？ 解：把一个原问题分解为若干个子问题可用一个“与树”来表示。把一个原问题变换为若干个子问题可用一个“或树”来表示。如果一个问题既需要通过分解， 有需要通过变换才能得到其本原问题， 则其归约过程可用 一个“与/或树”来表示在与/或树中，满足以下三个条件之一的节点为可解节点：（1）任何终止节点都是

52、可解节点（2）对“或”节点，当其子节点中至少有一个为可解节点时，则该或节点就是可解节点（3）对“与”节点，只有当其子节点全部为可解节点时，该与节点才是可解节点。解树：由可解节点构成，并且有这些可解节点可以推出初始节点为可解节点的子树为解树。3.43.4在状态空间一般搜索过程中，open表与closed表的作用与区别是什么? 解：open表中存放待考察节点，close表存放考察过的节点。精3.53.5有一农夫带一条狼，一只羊和一筐菜从河的左岸乘船到右岸，但受下列条件限制：(1) 船太小，农夫每次只能带一样东西过河(2) 如果没有农夫看管，则狼要吃羊，羊要吃菜请设计一个过河方案，使得农夫、狼羊都能

53、不受损失的过河，画出相应的状态空间图有一农夫带一条狼，一只羊和一框青菜与从河的左岸乘船倒右岸，但受到下列条件的限制：(1)船太小，农夫每次只能带一样东西过河；(2)如果没有农夫看管，则狼要吃羊，羊要吃菜。请设计一个过河方案，使得农夫、浪、羊都能不受损失的过河，画出相应的状态空间图。题示：(1)用四元组(农夫，狼，羊，菜)表示状态，其中每个元素都为0或1,用0表示在左岸，用1表示在右岸。(2)把每次过河的一种安排作为一种操作，每次过河都必须有农夫，因为只有他可以划船。 解：第一步，定义问题的描述形式用四元组S=(f，w，s，V)表示问题状态，其中，f，w，s和v分别表示农夫，狼，羊和 青菜是否在

54、左岸，它们都可以取1或0,取1表示在左岸，取0表示在右岸。第二步，用所定义的问题状态表示方式，把所有可能的问题状态表示出来，包括问题的初 始状态和目标状态。由于状态变量有4个，每个状态变量都有S0=(0,0,0,0)，S1=(0,0,0,1)，S2=(0,0,1,0)，S4=(0,1,0,0)，S5=(0,1,0,1)，S6=(0,1,1,0)，S8=(1,0,0,0)，S9F(1,0,0,1)，S10=(1,0,1,0)，S11=(1,0,1,1)S12=(1,1,0,0)，S13=(1,1,0,1)，S14=(1,1,1,0)，S15=(1,1,1,1)其中，状态S3，S6，S7，S8，S

55、g，S12是不合法状态，S0和05分别是初始状态和目标状态。 第三步，定义操作，即用于状态变换的算符组F由于每次过河船上都必须有农夫，且除农夫外船上只能载狼，羊和菜中的一种，故算符定 义如下：L(i)表示农夫从左岸将第i样东西送到右岸(i=1表示狼，i=2表示羊，i=3表示菜，i=0表 示船上除农夫外不载任何东西)。由于农夫必须在船上，故对农夫的表示省略。R (i)表示农夫从右岸将第i样东西带到左岸(i=1表示狼，i=2表示羊，i=3表示菜，i=0表 示船上除农夫外不载任何东西)。同样，对农夫的表示省略。这样，所定义的算符组F可以有以下8种算符：L (0)，L (1)，L (2)，L (3)R

56、(0)，R(1)，R (2)，R (3)第四步，根据上述定义的状态和操作进行求解。该问题求解过程的状态空间图如下：2种取值，因此有以下16种可能的状态:S3=(0,0,1,1)S7=(0,1,1,1)精(0,0,0,0)L(2)(1,0,1,0)R(0)i .(0,0,1,0)L(I/L(3)(1,1,1,0)R(0) I*(0,1,0,1)L(2)(1,1,1,1)3.63.6广度优先搜索与深度优先搜索有何区别？ 解：广度优先搜索先进先出，深度先进后出3.73.7圆盘问题。设有大小不等的三个圆盘A、B、C套在一根轴上，每个盘上都标有数字1、2、3、4,并且每个圆盘都可以独立的绕轴做逆时针转动

57、，每次转动90，其初始状态S0和目标状态Sg如图3.7所示，请用广度优先搜索和深度优先搜索，求出从S0到Sg的路径。目标状态 Sg图 3.7 圆盘问题解：设用qA，qB和qc分别表示把A盘，B盘和C盘绕轴逆时针转动90o，这些操作（算 符）的排列顺序是qA，qB，qc。(1,0,1,1)J R(0,0,0,1)(0,1,0,0)LL(3)(1,1,0,1)初始状态 SO精应用广度优先搜索，可得到如下搜索树。在该搜索树中，重复出现的状态不再划出，节点 旁边的标识Si,i=0,1,2,，为按节点被扩展的顺序给出的该节点的状态标识。由该图可以看出，从初始状态So到目标状态Sg的路径是So13(Sg)

58、其深度优先搜索略。3.83.8图3.8是5个城市的交通图，城市之间的连线旁边的数字是城市之间路程的费用。要 求从A城出发，经过其它各城市一次且仅一次，最后回到A城，请找出一条最优线路。qBS4S10qBqcS11SoqAqcS32S34qAqc2S8S5S722qc324qAS12即Sg33.7题的广度优先搜索树223442424424qB4I24S9精解：这个问题又称为旅行商问题 (travelling salesmanproblem, TSP)或货郎担问题，是一个较有普遍性的实 际应用问题。根据数学理论，对n个城市的旅行商问题， 其封闭路径的排列总数为：(n!)/n=(n-1)!其计算量相

59、当大。例如，当n=20时，要穷举其所有路径，即使用一个每秒一亿次的计算机来算也需要350年的时间。因此，对这类问题只能用搜索的方法来解决。下图是对图4-32按最小代价搜索所得到的搜索树，树中的节点为城市名称，节点边上的数字为该节点的代价g。其计算公式为g( ni+1)=g( ni)+c( ni, ni+1)其中，c(ni,ni+1)为节点ni到ni+1节点的边代价。图3.8的最小代价搜索树可以看出，其最短路经是A-C-D-E-B-AA-B-E-D-C-A其实，它们是同一条路经。8 85 5 2 2 -2-2 1 1 8 8 HTHT E E, C - S W- DI+89 9 6 6羽6*6*

60、小仁4 4 D D O O O O4 4 2 2 3 3 9.9.己1 1 6 6T T BI-BI- A A u u 1 1勺6464 E E9-9- E E D DD D 3 3c c 2 2 w w A A6 /戶c cc c-8T EE-E-3131 D D一r rBB8 8 T T6 6oioi6 6DrDr 3 3 + + C7C7 8 8药JrJr B B 6464 E E10C91161293.8 交通费用图2 22 20 0B B精3.93.9为什么说深度优先搜索和代价树的深度优先搜索可以看成局部择优搜索的两个特例？解：深度优先搜索、代价树的深度优先搜索以及局部优先搜索都是以