一阶谓词逻辑表示法作业.doc

《一阶谓词逻辑表示法作业.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、分别用MONKEY、BOX、BANANA表示猴子、箱子和香蕉。定义谓词：OVER（x）：x被挂在天花板上；FAR-AWAY(x,y):x离y较远(y不在x可触及的范围内）；BELOW(x,y):x在y的正下方；ON(x,y):x在y的上面；AT(x,y):x处于y处或x在y边上；GET(x,y):x取得y;GOTO(x,y):x走到y处;GO-UP(x,y):x爬或跳到y上面；REMOVE(x,y,z):x把y搬到z处；初始状态：OVER(BANANA)∧FAR-AWAY(MONKEY,BOX)∧FAR-AWAY(MONKEY,BANANA)∧FAR-AWAY(b,BOX)∧B

2、ELOW(b,BANANA)目标状态：AT(BOX,b)∧ON(MONKEY,BOX)∧GET(MONKEY,BANANA)中间过程表述：猴子走到箱子边上：FAR-AWAY(MONKEY,BOX)∧GOTO(MONKEY,BOX)→AT(MONKEY,BOX)猴子把箱子搬到b处：AT(MONKEY,BOX)∧REMOVE(MONKEY,BOX,b)→AT(BOX,b)∧AT(MONKEY,BOX)猴子爬或到跳到箱子上：AT(BOX,b)∧AT(MONKEY,BOX)∧GO-UP(MONKEY,BOX)→AT(BOX,b)∧ON(MONKEY,BOX)∧GET(MONKEY,BA

3、NANA)