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

1、人工智能教程习题及答案第2章习题参考解答第二章 知识表示 习题参考解答2.3 练习题2.1什么是知识 ?它有哪些特性 ?有哪几种分类方法 ?2.2何谓知识表示 ? 陈述性知识表示法与过程性知识表示法的区别是什么 ?2.3在选择知识的表示方法时，应该考虑哪些主要因素 ?2.4一阶谓词逻辑表示法适合于表示哪种类型的知识 ?它有哪些特点 ?2.5请写出用一阶谓词逻辑表示法表示知识的步骤。2.6设有下列语句，请用相应的谓词公式把它们表示出来：（ 1） 有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。（ 2） 他每天下午都去玩足球。（ 3） 太原市的夏天既干燥又炎热。（ 4） 所有人都有饭吃

2、。（ 5） 喜欢玩篮球的人必喜欢玩排球。（ 6） 要想出国留学，必须通过外语考试。2.7房内有一只猴子、 一个箱子，天花板上挂了一串香蕉， 其位置关系如图 2. 11所示， 猴子为了拿到香蕉，它必须把箱子推到香蕉下面，然后再爬到箱子上。请定义必要的谓词， 写出问题的初始状态（即图 2.16 所示的状态） 、目标状态（猴子拿到了香蕉，站在箱子上， 箱子位于位置 b）。图 2.11 猴子摘香蕉问题2.8对习题 2.7 中的猴子摘香蕉问题，利用一阶谓词逻辑表述一个行动规划，使问题从初始状态变化到目标状态。2.9产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？2.10何谓产生式系统

3、？它由哪几部分组成？2.11产生式系统中， 推理机的推理方式有哪几种？在产生式推理过程中， 如果发生策 略冲突，如何解决？2.12设有下列八数码难题：在一个 3 3的方框内放有 8 个编号的小方块，紧邻空位的小方块可以移入到空位上， 通过平移小方块可将某一布局变换为另一布局（如图 2.12 所示）。请用产生式规则表示移动 小方块的操作。图 2.12 习题 2.12 的图 图 2.13 习题 2.13 的图2.13推销员旅行问题：设有五个相互可直达且距离已知的城市 A、B、C、D、E，如图 2.13 所示，推销员从城市 A 出发，去其它四城市各旅行一次，最后再回到城市 A ，请找出一条最短的旅行

4、路线。 用产生式规则表示旅行过程。2.14何谓语义网络？语义网络表示法的特点是什么？2.15语义网络表示法与产生式表示法、谓词逻辑表示法之间的关系如何？2.16用语义网络表示下列知识：（1）所有的鸽子都是鸟；（2）所有的鸽子都有翅膀；（3）信鸽是一种鸽子，它有翅膀，能识途。2.17请对下列命题分别写出它的语义网络：（1）每个学生都有多本书。（2）孙老师从 2月至 7 月给计算机应用专业讲网络技术课程。（3）雪地上留下一串串脚印，有的大，有的小，有的深，有的浅。（4）王丽萍是天发电脑公司的经理，她 35 岁，住在南内环街 68 号。2.18请把下列命题用一个语义网络表示出来：（1）猪和羊都是动物

5、；（2）猪和羊都是偶蹄动物和哺乳动物；（3）野猪是猪，但生长在森林中；（4）山羊是羊，且头上长着角；（5）绵羊是一种羊，它能生产羊毛。2.19何谓框架？框架的一般表示形式是什么？2.20框架表示法有何特点？请叙述用框架表示法表示知识的步骤。2.21试写出“学生框架”的描述。2.22框架系统中求解问题的一般过程是什么？2.23何谓对象？何谓类？封装及继承的含义是什么？2.24什么是状态空间？状态空间是怎样构成的？2.25请写出用状态空间表示法表示问题的一般步骤。2.26修道士和野人问题。 设有 3 个修道士和 3个野人来到河边， 打算用一条船从河的 左岸渡到河的右岸。 但该船每次只能装载两个人，

6、 在任何岸边野人的数目都不得超过修道士 的人数， 否则修道士就会被野人吃掉。 假设野人服从任何一种过河安排， 请问如何规划过河 计划才能把所有人都安全地渡过河去。2.27农夫、狐狸、鸡和小米过河问题。农夫、狐狸、鸡、小米都在一条河的左岸，现 在要把它们全部送到右岸去，农夫有一条船，过河时，除农夫外，船上至多能载狐狸、鸡和 小米中的一样。 狐狸要吃鸡，鸡要吃小米，除非农夫在那里。 试规划出一个确保全部安全的 过河计划。（提示： a.用四元组（农夫，狐狸，鸡，小米）表示状态，其中每个元素都可为 0或 1。 1 表示在左岸， 0 表示在右岸。 b.把每次过河的一种安排作为一个算符， 每次过河都必须有

7、农夫，因为只有他可以划船。 ）2.28用状态空间表示法表示 2.7 题的“猴子摘香蕉问题” 。2.2 习题参考解答2.1答: （略）2.2答：（略）2.3答：（略）2.4答：（略）2.5答：用一阶谓词逻辑法表示知识的步骤如下：（ 1） 定义谓词及个体，确定每个谓词及个体的确切含义。（2）根据所要表达的事物或概念，为每个谓词中的变元赋以特定的值。（3）根据所要表达的知识的语义，用适当的联接符号将各个谓词联接起来，形成谓词公式。2.6解 :（ 1） 有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花。定义谓词及个体。 设 LIKE（x,y） 表示 x 喜欢 y，Meihua 表示梅花， J

8、uhua 表示菊花， 则： （ x ）LIKE （x,Meihua） （ y） LIKE （ y, Juhua） （ z）（LIKE （ z, Meihua） LIKE （z,Juhua）（ 2） 李明每天下午都去玩足球。定义谓词及个体。设 PLAYFB（x,y） 表示 x 在 y 下午玩足球， Liming 表示李明，则：（ y）（ PLAYFB （Li ming,y）（ 3） 太原市的夏天既干燥又炎热。定义谓词及个体。设 STATE（x,y,z）表示 x 市在 y 季节气候处于 z 状态。这是一个三元一 阶谓词，所涉及的个体有：太原，夏天，干燥，炎热。将个体代入谓词：STATE（太原,夏天

9、 ,干燥）， STATE（太原 ,夏天,炎热），根据题意将各谓词用适当的连接符连接起来。STATE（太原,夏天 ,干燥）STATE（太原,夏天,炎热 ）（ 4） 所有人都有饭吃。定义谓词及个体。设 Havefood (x)表示 x 有饭吃，则根据题意有：( x)(Havefood(x)( 5) 喜欢玩篮球的人必喜欢玩排球。定义谓词及个体。设 Likeplay(x,y) 表示 x 喜欢玩 y。所涉及的个体有：篮球，排球。将 个体代入谓词，并根据题意将各谓词用适当的连接符连接起来。( x )(Likeplay (x,篮球 ) Likeplay ( x, 排球 )( 6) 要想出国留学，必须通过外语

10、考试。定义谓词及个体。设 Want(x,y) 表示 x 想 y， Pass(x,y)表示 x 通过 y。定义个体： goabrod 表示出国学习， flanguage 表示外语。将个体代入谓词，并根据题意将各谓词用适当的连接 符连接起来。( x)( Pass( x, flanguage ) want ( x, goabrod)2.7解：根据谓词知识表示的步骤求解问题如下：解法一：本问题涉及的常量定义为：猴子： Monkey, 箱子： Box, 香蕉 :Banana， 位置： a, b, c定义谓词如下SITE(x,y): 表示 x 在 y 处；HANG(x,y): 表示 x 悬挂在 y 处；O

11、N(x,y): 表示 x 站在 y 上；HOLDS(y,w): 表示 y 手里拿着 w 。 根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下： 问题的初始状态表示 :SITE(Monkey, a) HANG(Banana, b) SITE(Box, c) ON(Monkey, Box) HOLDS(Monkey, Banana)问题的目标状态表示 :SITE(Monkey , b) HANG(Banana, b) SITE(Box, b)ON(Monkey, Box) HOLDS(Monkey, Banana)解法本问题涉及的常量定义为：猴子： Monkey, 箱子： Box,

12、香蕉 :Banana， 位置： a, b, c定义谓词如下SITE(x,y): 表示 x 在 y 处；ONBOX(x): 表示 x 站在箱子顶上；HOLDS(x): 表示 x 摘到了香蕉。根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示如下： 问题的初始状态表示 :SITE(Monkey, a) SITE(Box, c) ONBOX(Monkey) HOLDS(Monkey)问题的目标状态表示 :SITE(Box, b) SITE(Monkey, b) ONBOX(Monkey) HOLDS(Monkey) 从上述两种解法可以看出，只要谓词定义不同，问题的初始状态和目标状态就不同，

13、所以，对于同样的知识，不同的人表示的结果可能不同。2.8解：本问题的关键就是制定一组操作，将初始状态转换为目标状态。为了用谓词公 式表示操作，可将操作分为条件 (为完成相应操作所必须具备的条件) 和动作两部分。 条件 易于用谓词公式表示， 而动作则可通过执行它前后的状态变化表示出来， 即由于动作的执行， 当前状态中删去了某些谓词公式而又增加一些谓词公式从而得到了新的状态， 通过这种状态 中谓词公式的增减来描述动作。定义四个操作谓词如下，操作的条件和动作可用谓词公式的增删表示：1.goto(x,y) ：从 x 处走到 y 处。条件： SITE(Monkey, x)动作：删除 SITE(Monke

14、y, x); 增加 SITE(Monkey, y)2.pushbox(x,y) ：将箱子从 x 处推到 y 处。条件： SITE(Monkey, x) SITE(Box, x) ONBOX(Monkey)动作：删除 SITE(Monkey, x),SITE(Box, x); 增加 SITE(Monkey, y), SITE(Box, y)3.climbbox ：爬到箱子顶上。条件： ONBOX(Monkey)动作：删除 ONBOX(Monkey) ； 增加 ONBOX(Monkey)4.grasp： 摘下香蕉。条件： HOLDS(Monkey) ONBOX(Monkey) SITE(Monke

15、y, b)动作：删除 HOLDS(Monkey) ； 增加 HOLDS(Monkey) 在执行某一操作前，先检查当前状态是否满足其前提条件，若满足，则执行该操作，否 则，检查另一操作的条件是否被满足。 检查的方法就是当前的状态中是否蕴含了操作所要求 的条件。 在定义了操作谓词后， 就可以给出从初始状态到目标状态的求解过程。 在求解过程 中，当进行条件检查时，要进行适当的变量代换。SITE (Monkey ,a)SITE (Box,c) ONBOX (Monkey ) HOLDS (Monkey )goto(x,y), 用 a 代 x，用 c 代 ySITE (Monkey ,c)SITE (B

16、ox,c) ONBOX (Monkey ) HOLDS (Monkey )pushbox(x,y), 用 c 代 x ，用 b 代 y SITE (Monkey ,b)SITE (Box,b) ONBOX ( Monkey ) HOLDS ( Monkey )climboxSITE (Monkey ,b)SITE (Box,b)ONBOX (Monkey ) HOLDS (Monkey )graspSITE ( Monkey ,b)SITE(Box,b)ONBOX (Monkey )HOLDS (Monkey )2.9答：(略)2.10答：(略)2.11答：(略)2.12解：首先，建立棋盘变换

17、的产生式规则。如果把棋盘的每一种布局看作是一个状 态矩阵，本题就变成了从初始状态矩阵到目标状态矩阵的一种变化。 所谓棋盘状态的变化就是希望棋盘上空格周围的棋子能走进空格， 这也可以理解为移动空格， 只要实现空格的上、 下、左、右四种移动即可。 可通过建立四个条件操作型的产生式规则， 来实现这四种移动。设 Sij 为状态矩阵中的第 i 行和第 j 列的数码， i0， j0 表示空格所在的行和列，如果在状 态矩阵中用 0 来表示空格的话，则建立如下四条产生式规则：R1： if (j 0-1 1) then begin Si0j0:=S i0(j0 -1);S i0(j0-1):=0end空格左移R

18、2： if (i 0-1 1) then begin Si0j0:=S (i0-1)j0;S (i0-1)j0:=0end空格上移R3：if (j 0+1 3) then begin Si0j0:= S i0(j0+1) ;S i0(j0+1) :=0end空格右移R4：if (i 0+1 3) then begin Si0j0:= S (i0+1)j0 ;S (i0+1)j0 :=0end空格下移然后，建立综合数据库。将棋盘的布局表示为状态矩阵的形式存入综合数据库，例如，可以将本题的初始布局和目标布局以矩阵形式表示为：2 8 3 1 2 3S0 1 6 0 Sg 8 0 47 5 4 7 6

19、 5综合数据库中，存放初始和目标状态矩阵以及变换过程中的中间矩阵。在建立了规则集和综合数据库后， 就可以按照产生式规则进行状态变换， 实现推理求解。 在进行推理时， 可能会有多条产生式规则的条件部分和综合数据库中的已有事实相符， 这样 就有可能激活多条规则， 究竟采用哪一条规则作为启用规则， 这就是冲突解决策略问题。 解 决冲突的策略有专一性排序、 规则顺序等多种， 也可以使用一些启发性的信息， 根据具体问 题选择。 在本题中， 我们采用一个启发式函数 h(x)，它表示节点 x 所对应的棋盘中与目标节 点对应的棋盘中棋子位置不同的个数。这里，综合数据库中的初始状态矩阵，能满足规则 R1， R2

20、， R4 的条件，所以有三条匹配规则。利用启发式函数决定哪一条规则为启用规则。 因为规则 R4的启发式函数值 h(x)5，规则 R1的h(x)6，规则 R2的h(x)7，也就是说， 规则 R4 所得到的新状态与目标状态差距最小，所以启用规则 R4，依此类推，可以得到到达目标状态的规则执行序列：R4，R1，R2，R2，R1，R4，R3其执行过程如图 2.14 所示图 2.14 习题 2.12 执行过程2.13解：设综合数据库中包含了已访问过的城市名的列表、未访问过的城市名列表和 各城市间的距离表。 初始时刻， 已访问过的城市名列表中只有 A ，未访问过的城市名列表中 有 B,C,D,E 。定义如

21、下谓词：not-visit(x) ：表示未访问过城市 x;visit -all() ：表示已没有未访问过的城市；goto(x) ：表示去访问城市 x，并将 x 加入已访问的城市列表中，从未访问过的城市列表 中删除。则建立如下的产生式规则：R1: not-visit(x) goto(x)R2: visit -all() goto(A)当未访问过的城市列表不为空时，激活规则 R1；否则，激活规则 R2 。如果未访问过的城市列表中城市个数多于一个时，这时规则 R1 的实例就不止一个。比 如，在刚开始时，就有四条规则（分别针对 x=A, x=B, x=C, x=D ）被激活，这时可以根据综 合数据库中

22、的城市间距离， 构造一个启发式函数 h（x） 来解决规则冲突， 决定某一条规则为启 用规则。例如在刚开始从 A 出发时，决定下一访问城市时，由于 B 与 A 的距离最近，所以 x:=B 。依此类推，推销员走的路径为 E、D 、C。这时未访问过的城市列表中已经为空，规则 R2 被激活，返回城市 A 。2.14答：（略）2.15答：（略）2.16解：（ 1）本知识涉及的对象有 3 个：鸟、鸽子、信鸽。信鸽是一种鸽子，除了它 们本身的属性外，具有鸽子的一般特性。而鸽子又是一种鸟，鸟所具有的属性它也具有。（ 2）信鸽与鸽子之间是一种类属关系，鸽子和鸟之间也是一种类属关系，它们都可以 用 AKO 表示。

23、（ 3）整理各对象节点之间的属性，使上层节点所具有的属性不再在下层节点中标出。（ 4）将各对象作为一个节点， 而它们之间的关系作为弧， 则得到图 2.15 所示的语义网 络。图 2.15 有关鸽子的语义网络2.17解：（ 1）这是一个带有全称量词的语义网络，如图 2.16 所示。其中， s 是全称变量，代表任一个学生； h 是存在变量， 表示某次拥有； bs 也是存在量词， 代表多本书； s，h， bs 及其语义联系构成一个子网，是一个子空间，表示每个学生都拥有多本书；节点 g 代表 该子空间，由弧 F 指向其所代表的子空间的具体形式，弧 指出 s 是一个全称变量。节点 GS 代表整个空间。图

24、 2.16 “每个学生都有多本书”的语义网络（2）根据题意得到如图 2.17 所示的语义网络，这里要指出的是，设立“讲课”很有必要，由它向外引出的弧不仅可以指出讲课的主体，而且可以指出讲课的起止时间。图 2.17 有关讲课的语义网络3）根据题意，这是一个有合取和析取的语义网络，如图 2.18 所示。图 2.18 有关雪地上脚印的语义网络4）此题较简单，根据题意，其语义网络如图 2.19 所示图 2.19 有关电脑公司的语义网络2.18解：按照语义网络知识表示步骤来首先进行解题分析：（ 1）问题涉及的对象有动物、偶蹄动物、哺乳动物、猪、羊、野猪、山羊、绵羊共 8个对象。各对象的属性可以根据常识给

25、出，不过， 这里特别给出了山羊有角，绵羊能产羊毛 的特点。（ 2）羊和猪与偶蹄动物、哺乳动物间是类属关系，偶蹄动物、哺乳动物与动物间也是 类属关系，野猪与猪，山羊、绵羊与羊之间都是类属关系，可用 AKO 表示。（3）根据信息继承性原则，各上层节点的属性下层都具有，在下层都不再标出，以避 免属性信息重复。（4）根据上面的分析，本题共涉及 8 个对象，各对象的属性以及它们之间的关系已在 上面指出， 所以本题的语义网络应是由 8 个节点构成的有向图， 弧上的标注以及各节点的标 注已在上面指出。语义网络图如图 2.20 所示。图 2.20 有关猪和羊的语义网络2.19答：框架是一种描述所论对象属性的数

26、据结构。所论的对象可以是一个事物、一个事件或者一个概念。 一个框架由若干个 “槽”组成， 每个“槽”又可划分为若干个 “侧面”。和侧面所具有的属性值分别称为槽值和侧面值。 槽值可以是逻辑型或数字型的， 具体的值可以是程序、条件、默认值或是一个子框架。框架一般可表示成如下形式：框架名 2.20答：（略）2.21解：由于学生框架类似于一个变量，并未指定某个具体的学生，所以，其定义应 该如下，若要描述某个具体的学生， 则只要将他的相应属性填入到这个框架的各个槽中即可。框架名： 姓名：单位（姓和名）年龄：单位（岁）性别：范围（男，女）缺省（男）健康状况：范围（健康，一般，差）缺省（一般）所在系别：单位

27、（系）专业：范围(系中所包含的专业)入学时间：单位(年，月)毕业时间：单位(年，月)成绩：范围(优，良，中，差)缺省(良)是否学生干部：范围(是，否)缺省(否)2.22答：(略)2.23答：(略)2.24答：由表示一个问题的全部状态及一切可用算符构成的集合称为该问题的状态空间。 它一般由三部分构成：问题的所有可能初始状态构成的集合 S；算符集合 F；目标状态集合G。即可用一个三元组( S,F,G)表示问题的状态空间。2.25答：(略)2.26解：用状态空间法进行表示。根据状态空间表示问题的步骤，问题求解如下： 第一步，定义问题状态的描述形式。设 SK=(N x,Ny,C)表示修道士和野人在河的

28、左岸的状态， 其中，Nx表示修道士在左岸的实 际人数， Ny 表示也人在左岸的实际人数， C 用来指示船是否在左岸( C 1 表示在左岸， C 0 表示不在左岸) 。第二步， 用所定义的状态描述形式把问题的所有可能状态都表示出来， 并确定出问题的初始状态集和目标状态集。对于状态 SK=(Nx,Ny,C)来说，由于 Nx,Ny的取值有 0，1，2，3四种可能， C 的取值有 0和 1 两种可能，所以本问题所有可能的状态共有 44232 种。各状态的形式描述如下：S0=(3,3,1), S1=(3,2,1), S 2=(3,1,1), S 3=(3,0,1),S4=(3,3,0), S5=(3,2

29、,0), S 6=(3,1,0), S 7=(3,0,0),S8=(2,3,1), S9=(2,2,1), S 10=(2,1,1), S 11=(2,0,1),S12=(2,3,0), S 13=(2,2,0), S14=(2,1,0), S 15=(2,0,0),S16=(1,3,1), S 17=(1,2,1), S18=(1,1,1), S 19=(1,0,1),S20=(1,3,0), S 21=(1,2,0), S22=(1,1,0), S 23=(1,0,0),S24=(0,3,1), S 25=(0,2,1), S26=(0,1,1), S 27=(0,0,1),S28=(0,

30、3,0), S 29=(0,2,0), S30=(0,1,0), S 31=(0,0,0).在这些状态中， 由于有安全约束条件任何岸边野人的数量都不得超过传教士的数量(即 NxNy)，所以只有 20 个状态是合法的，像( 1,2,1)( 1,3,1)和( 2,3,1 )等都是不合法的 状态。 而由于这些不合法状态的存在，又会导致某些合法状态是不可到达的。这样，这个问 题总共只有 16 种可到达的合法状态，以下划线表示。问题的初始状态集为： SS0=(3,3,1) ，目标状态集为： G S 31=(0,0,0) 第三步，定义一组用于状态变换算符 F。定义算符 L(i ，j)表示划船将 i个传教士和 j 个野人送到右岸的操作；算符 R(i，j)表示划 船从右岸将 i 个传教士和 j 个野人带回左岸的操作。 由于过河的船每次最多载两个人， 所以， i+j 2，这样定义的算符组 F中只可能有如下 10 个算符：F： L(1,0) ，L(2,0) ， L(1,1) ， L(0,1) ，L(0,2)R(1,0)，R(2,0)，R(1,1)，R(0,1)，R(0,2) 至此，该问题的状态空间( S,F,G)构造完成