propagation

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

(defdomain propagation
  (
    (:operator (!consumer1 ?a)
      ()
      ()
      ())

    (:operator (!consumer2 ?a)
      ()
      ()
      ())

    (:operator (!producer ?in ?out)
      ((assign ?out my_output))
      ()
      ())

    (:method (first ?in ?out)
      ()
      ((!producer ?in ?out) (!consumer1 ?out)))

    (:method (second ?in1 ?in2)
      ()
      ((first ?in1 ?out) (first ?in2 ?out2) (!consumer2 ?out))
    )
  )
)