第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 问题归约法 问题归约（Problem Reduction） 是另外一种基于状态空间的问题描述与求解方法 已知问题的描述，通过一系列变换把此问题变为一个子问题集合 这些子问题的解可以直接得到（本原问题），从而解决了初始问