clips-executive: test scenario fixes after merge
authorTim Niemueller <niemueller@kbsg.rwth-aachen.de>
Fri, 9 Mar 2018 13:36:18 +0000 (14:36 +0100)
committerTim Niemueller <niemueller@kbsg.rwth-aachen.de>
Fri, 9 Mar 2018 13:36:18 +0000 (14:36 +0100)
Domain operators were not defined, but that went unnoticed before due to
bugs in operator matching. Add missing declarations. Work around PDDL
parser deficiency of not being able to parse actions without
preconditions.

src/plugins/clips-executive/clips/test-scenario/domain.pddl
src/plugins/clips-executive/clips/test-scenario/test-domain.clp

index 8dc4a1f..1529566 100644 (file)
     :parameters (?name - name)
     :precondition (said ?name hello)
     :effect (said ?name goodbye)
+       )
+  (:action say-hello-again
+    :parameters (?name - name)
+    :precondition (not (said ?name hello))
+    :effect (said ?name hello)
   )
+       ;(:action print
+       ;       :parameters (?severity - text ?text - text)
+       ;)
+       ;(:action say-cleanup)
 )
index cc96785..663c3b6 100644 (file)
   (executive-init)
   (domain-loaded)
   =>
-  (assert (domain-object (name hello) (type text)))
-  (assert (domain-object (name goodbye) (type text)))
-  (assert (domain-fact (name said) (param-values bob hello)))
-  (assert (domain-facts-loaded))
+  (assert
+        (domain-object (name hello) (type text))
+        (domain-object (name goodbye) (type text))
+        (domain-operator (name print) (param-names severity text))
+        (domain-operator (name say-cleanup))
+        (domain-fact (name said) (param-values bob hello))
+        (domain-facts-loaded)
+       )
 )
 
 (defrule test-domain-set-domain-fact-said-hello
-  (plan-action (action-name say-hello) (param-values peggy) (status SENSED-EFFECTS-WAIT))
+  (plan-action (action-name say-hello|say-hello-again) (param-values peggy) (status SENSED-EFFECTS-WAIT))
 =>
   (assert (domain-fact (name said) (param-values peggy hello)))
 )