南邮自动化人工智能2--知识表示方法.pptVIP

猴子和香蕉问题 解题过程 用一个四元表列（W，x，Y，z）来表示这个问题状态 W：猴子的水平位置； x： 当猴子在箱子顶上时取1；否则取0； Y： 箱子的水平位置； z： 当猴子摘到香蕉时取1；否则取0。 初始状态为(a,0,b,0) ，目标状态为(c,1,c,1) 这个问题的操作（算符）如下： goto（U）表示猴子走到水平位置U pushbox（V）猴子把箱子推到水平位置V climbbox猴子爬上箱顶 grasp猴子摘到香蕉 猴子和香蕉问题 解题过程 该初始状态变换为目标状态的操作序列为： Step1: goto(b) Step2: pushbox(c) Step3: climbbox Step4: grasp 猴子和香蕉问题 状态空间图 (b，1，b，0) （U，0，b，0） （V，0，V，0） （c，1，c，0） （U，0，V，0） （c，1，c，1） （a，0，b，0） 目标状态 goto（U） goto（U） U=b，climbbox goto（U） U=b pushbox（V） goto（U） U=V V=c，climbbox grasp 初始状态 谓词逻辑法 谓词逻辑法举例：猴子和香蕉问题 描述状态的谓词： AT(x, y)：x在y处 ONBOX：猴子在箱子上 HB：猴子得到香蕉 个体域： x ：{monkey, box, banana} y：{a,