basic

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

; This extremely simple example shows some of the most essential
; features of SHOP2.

(defdomain basic (
  (:operator (!pickup ?a) () () ((have ?a)))
  (:operator (!drop ?a) ((have ?a)) ((have ?a)) ())

  (:method (swap ?x ?y)
    ((have ?x) (not (have ?y)))
    ((!drop ?x) (!pickup ?y))
    ((have ?y) (not (have ?x)))
    ((!drop ?y) (!pickup ?x)))))