DOC《摔擒遭梆？》

#172;

AL(x)表示x在右岸. 问题的初始状态: (农夫) AL(船) AL(狼) AL(羊) AL(白菜) 问题的目标状态: &

#172;

AL(农夫) &

#172;

AL(船) &

#172;

AL(狼) &

#172;

AL(羊) &

#172;

AL(白菜) (2) 再定义描述操作的谓词 本题需要以下4个描述操作的谓词: L-R:农夫自己划船从左岸到右岸 L-R(x):农夫带着x划船从左岸到右岸 R-L:农夫自己划船从右岸到左岸 R-L(x) :农夫带着x划船从右岸到左岸 其中,x的个体域是 狼,羊,白菜. 对上述每个操作,都包括条件和动作两部分.它们对应的条件和动作如下: L-R:农夫划船从左岸到右岸 条件:AL(船),AL(农夫),&

#172;

AL(狼)∨&

#172;

AL(羊),&

#172;

AL(羊)∨&

#172;

AL(白菜) 动作:删除表:AL(船),AL(农夫) 添加表:&

#172;

AL(船),&

#172;

AL(农夫) L-R(狼):农夫带着狼划船从左岸到右岸 条件:AL(船),AL(农夫),AL(狼),&

#172;

AL(羊) 动作:删除表:AL(船),AL(农http://www.51wendang.com/doc/06b742a2b43df37ac2815275夫),AL(狼) 添加表:&

#172;

AL(船),&

#172;

AL(农夫),&

#172;

AL(狼) L-R(羊):农夫带着羊划船从左岸到右岸 条件:AL(船),AL(农夫),AL(羊), AL(狼),AL(白菜) 或:AL(船),AL(农夫),AL(羊),&

#172;

AL(狼),&

#172;

AL(白菜) 动作:删除表:AL(船),AL(农夫),AL(羊) 添加表:&

#172;

AL(船),&

#172;

AL(农夫),&

#172;

AL(羊) L-R(白菜):农夫带着白菜划船从左岸到右岸 条件:AL(船),AL(农夫),AL(白菜),&

#172;

AL(狼) 动作:删除表:AL(船),AL(农夫),AL(白菜) 添加表:&

#172;

AL(船),&

#172;

AL(农夫),&

#172;

AL(白菜) 条件:&

#172;

AL(船),&

#172;

AL(农夫),AL(狼)∨AL(羊),AL(羊)∨AL(白菜) 或:&

#172;

AL(船),&

#172;

AL(农夫) ,&

#172;

AL(狼),&

#172;

AL(白菜),AL(羊) 动作:删除表:&

#172;

AL(船),&

#172;

AL(农夫) 添加表:AL(船),AL(农夫) R-L(羊) :农夫带着羊划船从右岸到左岸 条件:&

#172;

AL(船),&

#172;

AL(农夫),&

#172;

AL(羊) ,&

#172;

AL(狼),&

#172;

AL(羊),AL(白菜) 动作:删除表:&

#172;

AL(船),&

#172;

AL(农夫),&

#172;

AL(羊) 添加表:AL(船),AL(农夫),AL(羊) (3) 问题求解过程 [此处图片未下载成功] 2.11 用谓词表示法求解修道士和野人问题.在河的北岸有三个修道士、三个野人和一条船,修道士们想用这条船将所有的人都运过河去,但要受到以下条件限制: (1) 修道士和野人都会划船,但船一次只能装运两个人. (2)http://www.51wendang.com/doc/06b742a2b43df37ac2815275 在任何岸边,野人数不能超过修道士,否则修道士会被野人吃掉. 假定野人愿意服从任何一种过河安排,请规划出一种确保修道士安全的过河方案.要求写出所用谓词的定义、功能及变量的个体域. 解:(1)定义谓词 先定义修道士和野人人数关系的谓词: G(x,y,S): 在状态S下x大于y GE(x,y,S):在状态S下x大于或等于y 其中,x,y分别代表修道士人数和野人数,他们的个体域均为 0,1,2,3. 再定义船所在岸的谓词和修道士不在该岸上的谓词: Boat(z,S):状态S下船在z岸(x,S): 状态S下x等于0,即修道士不在该岸上 其中,z的个体域是 L,R,L表示左岸,R表示右岸. 再定义安全性谓词: (z,x,y,S)≡(G(x,0,S)∧GE(x,y,S))∨(EZ(x,S)) 其中,z,x,y的含义同上.该谓词的含义是:状态S下,在z岸,保证修道士安全,当且仅当修道士不在该岸 再定义描述过河方案的谓词: R(x, x1, y, y1,S):x1个修道士和y1个野人渡船从河的左岸到河的右岸 条件:Safety(L,x-x1,y-y1,S'