资源描述：
《《人工智能原理及其应用》王万森 课后习题答案 电子工业出版社》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、土星答案网您最真诚的朋友www.txdaan.com土星答案网团队竭诚为您服务免费提供大学课后答案
2、考研答案
3、高考答案
4、资格考试答案下载第2章知识表示方法部分参考答案2.8设有如下语句，请用相应的谓词公式分别把他们表示出来：(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打
5、篮球A(y)：y是下午将知识用谓词表示为：(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)不是每个计算机系的学生都喜欢在计算机上编程序。www.txdaan.com解：定义谓词S(x)：x是计算机系学生L(x,pragramming)：x喜欢编程序U(x,computer)：x使用计算机将知识用谓词表示为：¬(∀x)(S(x)→L(x,pragrammin
6、g)∧U(x,computer))(5)凡是喜欢编程序的人都喜欢计算机。解：定义谓词P(x)：x是人L(x,y)：x喜欢y将知识用谓词表示为：(∀x)(P(x)∧L(x,pragramming)→L(x,computer))122.9.9用谓词表示法求解机器人摞积木问题。设机器人有一只机械手，要处理的世界有一张桌子，桌上可堆放若干相同的方积木块。机械手有4个操作积木的典型动作：从桌上拣起一块积木；将手中的积木放到桌之上；在积木上再摞上一块积木；从积木上面拣起一块积木。积木世界的布局如下图所示。ABCBCA图机器人摞积木问题解：(1)先定义描述状
7、态的谓词CLEAR(x)：积木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问题的目标状态是：www.txdaan.comONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTY(2)再定义描述操作的谓词在本问题中，机械手的操作需要定义以
8、下4个谓词：Pickup(x)：从桌面上拣起一块积木x。Putdown(x)：将手中的积木放到桌面上。Stack(x,y)：在积木x上面再摞上一块积木y。Upstack(x,y)：从积木x上面拣起一块积木y。其中，每一个操作都可分为条件和动作两部分，具体描述如下：2Pickup(x)条件：ONTABLE(x)，HANDEMPTY，CLEAR(x)动作：删除表：ONTABLE(x)，HANDEMPTY添加表：HANDEMPTY(x)Putdown(x)条件：HANDEMPTY(x)动作：删除表：HANDEMPTY(x)添加表：ONTABLE(x)
9、，CLEAR(x)，HANDEMPTYStack(x,y)条件：HANDEMPTY(x)，CLEAR(y)动作：删除表：HANDEMPTY(x)，CLEAR(y)添加表：HANDEMPTY，ON(x,y)，CLEAR(x)Upstack(x,y)条件：HANDEMPTY，CLEAR(y)，ON(y,x)动作：删除表：HANDEMPTY，ON(y,x)添加表：HOLDING(y)，CLEAR(x)(3)问题求解过程利用上述谓词和操作，其求解过程为：ONTABLE(A)ONTABLE(A)ONTABLE(A)ONTABLE(B)ONTABLE(B)
10、ONTABLE(B)Upstack(A,C)Putdown(C)ONTABLE(C)Pickup(B)ON(C,A)HOLDING(C)CLEAR(A)CLEAR(B)CLEAR(A)CLEAR(B)CLEAR(C)CLEAR(B)CLEAR(C)HANDEMPTYCLEAR(C)HANDEMPTY土星答案网ONTABLE(A)ONTABLE(A)ONTABLE(C)ONTABLE(C)ONTABLE(C)ONTABLE(C)ON(B,C)Stack(C,B)Pickup(A)ON(B,C)www.txdaan.comStack(B,A)HOL
11、DING(B)ON(B,C)ON(A,B)CLEAR(A)CLEAR(A)CLEAR(A)CLEAR(A)CLEAR(B)CLEAR(B)CLEAR(
