资源描述：
《人工智能课后答案》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、2.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是下午将知识用谓词表示为：(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
2、(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将知识用谓词表示为：(x)(P(x)∧L(x,pragramming)→L(x,computer))2.10解：(1)先定义描述状态的谓词CLEAR(x)：积木x上面是空的。ON(x,y)：积木x在积木y的上面。ONTABLE(x)：积木x在桌子上。HOLDING(x)：机械
3、手抓住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)再定义描述操作的谓词在本问题中，机械手的操作需要定义以下4个谓词：Pickup(x)：从桌面上拣起一块积木x。Putdown(x)：将手中的积木放到桌面上。Stack(x,y)：在积木x上面再摞上一块积木y。Upstack(x,y)
4、：从积木x上面拣起一块积木y。其中，每一个操作都可分为条件和动作两部分，具体描述如下：Pickup(x)条件：ONTABLE(x)，HANDEMPTY，CLEAR(x)动作：删除表：ONTABLE(x)，HANDEMPTY添加表：HANDEMPTY(x)Putdown(x)条件：HANDEMPTY(x)动作：删除表：HANDEMPTY(x)添加表：ONTABLE(x)，CLEAR(x)，HANDEMPTYStack(x,y)条件：HANDEMPTY(x)，CLEAR(y)动作：删除表：HANDEMPTY(x)，CLEAR(y)添加表：HA
5、NDEMPTY，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(B)ONTABLE(C)CLEAR(A)CLEAR(B)CLEAR(C)HANDEMPTYONTABLE(A)ONTABLE(B)ON(C,A)CLEAR(B)CLEAR(C)HANDEMPTYONTABLE(A)ONTABLE(B
6、)HOLDING(C)CLEAR(A)CLEAR(B)CLEAR(C)Upstack(A,C)Putdown(C)Pickup(B)ONTABLE(C)ON(B,C)CLEAR(A)CLEAR(B)HOLDING(A)ONTABLE(C)ON(B,C)ON(A,B)CLEAR(A)HANDEMPTONTABLE(A)ONTABLE(C)ON(B,C)CLEAR(A)CLEAR(B)HANDEMPTYONTABLE(A)ONTABLE(C)HOLDING(B)CLEAR(A)CLEAR(B)CLEAR(C)Stack(B,A)Stack(C
7、,B)Pickup(A)2.11解：(1)先定义描述状态的谓词要描述这个问题，需要能够说明农夫、狼、羊、白菜和船在什么位置，为简化问题表示，取消船在河中行驶的状态，只描述左岸和右岸的状态。并且，由于左岸和右岸的状态互补，因此可仅对左岸或右岸的状态做直接描述。本题选择对左岸进行直接描述的方法，即定义谓词如下：AL(x)：x在左岸其中，x的个体域是{农夫，船，狼，羊，白菜}。对应地，¬AL(x)表示x在右岸。问题的初始状态：AL(农夫)AL(船)AL(狼)AL(羊)AL(白菜)问题的目标状态：¬AL(农夫)¬AL(船)¬AL(狼)¬AL(羊)
8、¬AL(白菜)(2)再定义描述操作的谓词本题需要以下4个描述操作的谓词：L-R：农夫自己划船从左岸到右岸L-R(x)：农夫带着x划船从左岸到右岸R-L：农夫自己划船从右岸到左岸R-L(x)：农
