第2章知识表示方法部分习题及答案..doc

知识表示方法部分 2.8 设有如下语句，请用相应的谓词公式分别把他们表示出来： 1 有的人喜欢梅花，有的人喜欢菊花，有的人既喜欢梅花又喜欢菊花 。 解：定义谓词 Px：x是人 Lx,y：x喜欢y 其中，y的个体域是梅花，菊花。 将知识用谓词表示为： x Px→Lx, 梅花∨Lx, 菊花∨Lx, 梅花∧Lx, 菊花 2 有人每天下午都去打篮球。 解：定义谓词 Px：x是人 Bx：x打篮球 Ay：y是下午 将知识用谓词表示为： x y Ay→Bx∧Px 3 新型计算机速度又快，存储容量又大。 解：定义谓词 NCx：x是新型计算机 Fx：x速度快 Bx：x容量大 将知识用谓词表示为： x NCx→Fx∧Bx 4 不是每个计算机系的学生都喜欢在计算机上编程序。 解：定义谓词 Sx：x是计算机系学生 Lx, pragramming：x喜欢编程序 Ux,computer：x使用计算机 将知识用谓词表示为： ? x Sx→Lx, pragramming∧Ux,computer 5 凡是喜欢编程序的人都喜欢计算机。 解：定义谓词 Px：x是人 Lx, y：x喜欢y 将知识用谓词表示为： x Px∧Lx,pragramming→Lx, computer 2.9 用谓词表示法求解机器人摞积木问题。设机器人有一只机械手，要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有4个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木世界的布局如下图所示。图 机器人摞积木问题解：1 先定义描述状态的谓词CLEARx：积木x上面是空的。ONx, y：积木x在积木y的上面。ONTABLEx：积木x在桌子上。HOLDINGx：机械手抓住x。 HANDEMPTY：机械手是空的。 其中，x和y的个体域都是A, B, C。 问题的初始状态是： ONTABLEA ONTABLEB ONC, ACLEARBCLEARCHANDEMPTY问题的目标状态是：ONTABLECONB, CONA, B CLEARA HANDEMPTY 2 再定义描述操作的谓词 在本问题中，机械手的操作需要定义以下4个谓词： Pickupx：从桌面上拣起一块积木x。 Putdownx：将手中的积木放到桌面上。 Stackx, y：在积木x上面再摞上一块积木y。 Upstackx, y：从积木x上面拣起一块积木y。 其中，每一个操作都可分为条件和动作两部分，具体描述如下： Pickupx条件：ONTABLEx，HANDEMPTY，CLEARx动作：删除表：ONTABLEx，HANDEMPTY添加表：HANDEMPTYx Putdownx条件：HANDEMPTYx动作：删除表：HANDEMPTYx添加表：ONTABLEx，CLEARx ，HANDEMPTY Stackx, y条件：HANDEMPTYx，CLEARy动作：删除表：HANDEMPTYx，CLEARy添加表：HANDEMPTY，ONx, y ，CLEARx Upstackx, y条件：HANDEMPTY，CLEARy ，ONy,x动作：删除表：HANDEMPTY，ONy, x添加表：HOLDINGy，CLEARx3 问题求解过程 利用上述谓词和操作，其求解过程为：2.10 用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。似规划出一个确保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量的个体域。 解：1 先定义描述状态的谓词 要描述这个问题，需要能够说明农夫、狼、羊、白菜和船在什么位置，为简化问题表示，取消船在河中行驶的状态，只描述左岸和右岸的状态。并且，由于左岸和右岸的状态互补，因此可仅对左岸或右岸的状态做直接描述。本题选择对左岸进行直接描述的方法，即定义谓词如下： ALx：x在左岸 其中，x的个体域是农夫，船，狼，羊，白菜。对应地，?ALx表示x在右岸。问题的初始状态： AL农夫 AL船 AL狼 AL羊 AL白菜问题的目标状态： ?AL农夫 ?AL船 ?AL狼 ?AL羊 ?AL白菜 2 再定义描述操作的谓词 本题需要以下4个描述操作的谓词： L-R：农夫自己划船从左岸到右岸 L-Rx：农夫带着x划船从左岸到右岸 R-L：农夫自己划船从右岸到左岸 R-Lx ：农夫带着x划船从右岸到左岸 其中，x的个体域是狼，羊，白菜。 对上述每个操作，都包括条件和动作两部分。它们对应的条件和动作如下： L-R：农夫划船从左岸到右岸条件：AL船，AL农夫，?AL狼∨?AL羊，?