文档介绍：: .
人工智能人工智能经典试题
ANDEMPTY(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(C
)
ON(B,C)
用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条
ON(A,B)
河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至 CLEAR(A)
多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。似规划 HANDEMPT
出一个确保全部安全过河的计划。请写出所用谓词的定义，并给出每个谓词的功能及变量
的个体域。
解：(1)先定义描述状态的谓词
要描述这个问题，需要能够说明农夫、狼、羊、白菜和船在什么位置，为简化问题表示，
取消船在河中行驶的状态，只描述左岸和右岸的状态。并且，由于左岸和右岸的状态互补，
因此可仅对左岸或右岸的状态做直接描述。本题选择对左岸进行直接描述的方法，即定义
谓词如下：
AL(x)：x 在左岸
其中，x 的个体域是{农夫，船，狼，羊，白菜}。对应地，¬AL(x)表示 x 在右岸。
问题的初始状态：
AL(农夫)
AL(船)
AL(狼)
AL(羊)
AL(白菜)
问题的目标状态：
¬AL(农夫)
¬AL(船)
¬AL(狼)
¬AL(羊)
¬AL(白菜)
(2)再定义描述操作的谓词
本题需要以下 4 个描述操作的谓词：
L-R：农夫自己划船从左岸到右岸L-R(x)：农夫带着 x 划船从左岸到右岸
R-L：农夫自己划船从右岸到左岸
R-L(x)：农夫带着 x 划船从右岸到左岸
其中，x 的个体域是{狼，羊，白菜}。
对上述每个操作，都包括条件和动作两部分。它们对应的条件和动作如下：
L-R：农夫划船从左岸到右岸
条件：AL(船)，AL(农夫)，¬AL(狼)∨¬AL(羊)，¬AL(羊)∨¬AL(白菜)
动作：删除表：AL(船)，AL(农夫)
添加表：¬AL(船)，¬AL(农夫)
L-R(狼)：农夫带着狼划船从左岸到右岸
条件：AL(船)，AL(农夫)，AL(狼)，¬AL(羊)
动作：删除表：AL(船)，AL(农夫)，AL(狼)
添加表：¬AL(船)，¬AL(农夫)，¬AL(狼)
L-R(羊)：农夫带着羊划船从左岸到右岸
条件：AL(船)，AL(农夫)，AL(羊)，AL(狼)，AL(白菜)
或：AL(船)，AL(农夫)，AL(羊)，¬AL(狼)，¬AL(白菜)
动作：删除表：AL(船)，AL(农夫)，AL(羊)
添加表：¬AL(船)，¬AL(农夫)，¬AL(羊)
L-R(白菜)：农夫带着白菜划船从左岸到右岸
条件：AL(船)，AL(农夫)，AL(白菜)，¬AL(狼)
动作：删除表：AL(船)，AL(农夫)，AL(白菜)
添加表：¬AL(船)，¬AL(农夫)，¬AL(白菜)