状态空间法表示猴子摘香蕉(狐狸猴子摘香蕉)

1 .定义描述环境状态的谓词。

at(x，w ):x位于w，个体域(x ) monkey )，w ) a、b、c、box；

Hold(x，t ) ) x在手里是t，个体域) t ) box，banana} )；

Empty(x ) ) x的手是空的；

on(t，y ):t在y，个体域： y ) b，c )；

盒(u ):u为盒，个体域(u )盒；

BANANA(v(v )是香蕉，个体域) Banana )；

2 .初始状态

at(monkey，a ) :猴子在a

Empty(Monkey ) :猴子的手是空的

on(box，b ) :箱在b上

on(Banana，c ) :香蕉在c上

框(框) )。

是Banana(Banana )

问题的结束状态

at(monkey，box ) hold (monkey，banana ) on (box，c ) )。

盒(盒) Banana (盒) Banana ) )。

3 .行动。

walk(m，n ) :猴子从m走到n，个体区域(m，n ) a、b、c )；

Carry(s，r ) :猴子以r取得s，个体域(r(c )，s ) box，banana} )；

climb(u，b ) :猴子在b处爬u；

操作

walk(m，n ) :猴子从m走到n

条件： at(Monkey，m ) ) ) ) ) ) ) )。

行为：删除at(monkey，m )并增加at(monkey，n )

卡莉(s，r ) :猴子用r得到s

条件： at(monkey，r ) empty (monkey ) on (s，r ) box (banana ) banana ) ) ) ) ) ) )

行为：删除empty(monkey ) ^ on (s，r )并增加hold (monkey，s )

climb(u，b ) :猴子在b处爬u

条件： at(Monkey，b ) Hold ) Monkey，u ) box (Banana ) banana ) ) ) ) 652 )

行为：删除at(monkey，b ) hold (monkey ) CLEAR，增加at(monkey ) empty (on ) u，c )

4 .按照行动计划，逐步更换状态，直到达到目标状态

at(monkey，a ) empty (monkey ) on (box，b ) on (banana，c ) box (banana )猴子在a。 没有香蕉。 箱子在b，香蕉在c

at(monkey，b ) empty (monkey ) on ) box，b ) on ) banana，c ) box (banana )猴子在b，没有香蕉，箱子在b，香蕉在c

at(monkey，b ) hold ) monkey，box ) on ) Banana，c ) Banana )猴子在b，猴子拿箱子，香蕉在c

at(monkey，c ) Hold ) monkey，box ) on ) Banana，c ) Banana )猴子拿着箱子在c，香蕉在c

at(monkey，box ) empty (monkey ) on ) box，c ) banana (banana )猴子站箱子，没有香蕉，箱子在c，香蕉在c

得到at(monkey，box ) hold (monkey，banana ) on (box，c ) banana (猴子站的箱子，香蕉，箱子是c ) )目标的解)。

猴子行动的规则序列为： walk(a，b )CARRY(b ) b，box )WALK(b ) b，c )climb (box，c )CARRY(b ) Banana，c )