人工智能之猴子香蕉问题求解分析
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
谓词：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)