•on(b,a)•on(a,c)•on(c,f1)•clear(b)•clear(f1)•公式描述了一组世界国家•计划搜索公式sa = sfy sa = sfy sfy demcrip = on•state deScrip/ons descrip/ons:conjunc:conjunc = on conjunc = on oon Ground Liverlals of Ground Livitals。•也通用公式:on(x,y)à令(y = f1)或〜清晰(y)•目标w试验:•给定目标w胚,搜索算法寻找一系列AC/ONS/ONS,这些顺序转换为状态descrip = on the the the the the the the the目标。