test

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

(defdomain test
  (
    (:operator (!op0 ?y ?r ?w)
               (:sort-by ?w > ((not (a ?y)) (t ?w)))
               (?r)
               ((forall (?x) ((q ?x ?y) (r ?x ?z)) ((s ?z))))
    )

    (:operator (!op1 ?x ?y ?z ?t)
               (:sort-by ?t MyComparator ((or (q ?z ?t) (r ?z ?t)) (s ?t)))
               nil
               nil
    )

    (:operator (!op2 ?x ?w)
               ((call < ?w (call + 1.01 2) 3.5 4))
               nil
               nil
               (call ^ 2 ?w)
    )

    (:method (m1 ?r)
      (:first (v ?x))
      ((m3 ?x))
    )

    (:method (m1 (?y . ?r))
      ((ax2 ?x) (b ?x ?y ?z))
      ((!op0 1 (obj2) ?w))

      ((a ?x) ((or (b ?x ?y ?z) (c ?x ?y ?z)) (call <= 2 2.5 2.5 3.1))
       (not (and (call Member ?y (obj2 obj3 obj4)) (call < 2 1)))
       (call Member (a b c) ((a b c) d e))
       (call Member (call * 2 2) (2 3 (call + 1 3) 5))
       (imply (a obj1) (v ?v)))
      ((!op0 ?v ?r ?w) (!op1 ?x ?y ?z ?t) (m2))
    )

    (:method (m2)
      ((ax1 obj2 ?x ?u (call * 1.5 2 2)) (not (ttt uuu))
       (assign ?y (12 (call / 12 6 5) (?x . (a b . c))))
       (assign ?z (www (call + 29 -125e-1 (call ^ 2 2 3) ?u (call - 2 12 5)))))
      ((!op2 (?y . ?z) (call + 1 (call MyFunc 1 1)))))

    (:method (m3 ?x)
      (a ?x)
      ((!op4))

      nil
      nil)

    (:- (ax1 ?a (?b yyy ?d) (call + 1 1) (call ^ 6 1))
        (c ?a ?b ?d)
        (ax1 ?b (?a yyy ?d) 2 (call + 3 (call * 1.5 2)))
    )

    (:- (ax2 ?a)
        (q ?a ?b)
        (a ?a)
    )
  )
)