软件技术前沿知识表示.pptVIP

* 实例： 猴子摘香蕉问题 问题状态的表示：四元组（W，x，Y，z） W：猴子的水平位置。W=a，b，c。 x：当猴子在箱子顶上时取x=1；否则取x=0。 Y：箱子的水平位置。Y=a，b，c。 z：当猴子摘到香蕉时取z=1；否则取z=0。 初始状态：（a，0，b，0） 目标状态：（c，1，c，1） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 算符集合： goto(U)：猴子走到水平位置U。 （W，0，Y，z） goto(U) （U，0，Y，z） pushbox(V)：猴子把箱子推到水平位置V。 （W，0，W，z） pushbox(V) （V，0，V，z） climbbox：猴子爬上箱顶。 （W，0，W，z） climbbox （W，1，W，z） grasp：猴子摘到香蕉。 （c，1，c，0） grasp （c，1，c，1） 算符的适用性条件：强加于操作的实用性条件。 如：应用算符pushbox(V)时，要求猴子