人工智能之猴子香蕉问题求解分析

谓词：at(x, a) x在a地
on(x) 猴子是否在箱子上，当x = 1时，猴子在箱子上，x = 0时否则猴子不在箱子上
have(x) 房顶是否有香蕉，当x = 1时，房顶有香蕉，当x = 0时房顶没有香蕉
get(x) 猴子是否有香蕉，当x = 1时，猴子有香蕉,当x=0时猴子没有香蕉

我们用M代表猴子，B代表箱子，A代表香蕉

at(M,a)
at(B,b)
have(c)
on(0)
get(0)


at(M,c)
at(B,c)
on(1)
get(1)


1、goto(a,b)猴子由a走到b，表示为

前提：at(M, a) on(0)
结果：at(M, b) on(0) !at(M, a)

2、 pushbox(a,b)猴子由a把箱子推到b，即有

前提：at(M, a) at(B, a) on(0)
结果：at(M, b) at(B, b) on(0) !at(M, a) !at(B, a)

3、climbupbox()猴子爬上箱顶，即有

前提：at(M, a) at(B, a) on(0)
结果：at(M, a) at(B, a) on(1) !on(0)

4、climbdownbox(a)猴子爬下箱顶，即有

前提：at(M, a) at(B, a) on(1)
结果：at(M, a) at(B, a) on(0) !on(1)

5、grasp(c)猴子摘到香蕉，即有

前提：at(M,c) at(B,c) have(c) on(1) get(0)
结果：at(M,c) at(B,c) have(c) on(1) get(1) !get(0)