smallproblem

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

(defproblem smallproblem blocks
 (
  (block b1)
  (block b2)
  (block b3)
  (block b4)
  (on-table b1) (on b2 b1) (clear b2)
  (on-table b3) (on b4 b3) (clear b4)
 )
 (
  (achieve-goals
   (
    (on-table b1) (on b4 b1) (clear b4) (on-table b3) (on b2 b3) (clear b2)
   )
  )
 )
)