PDDL forall effect with durative actions
问题 I am both using durative actions and trying to be able to clear a predicate over all elements of a certain type. See below. Is this possible? If so, does anyone know the correct syntax? Thanks! (:durative-action init :parameters (?r - robot) :duration ( = ?duration 1) :condition (and (at start (robot_uninitialized ?r)) (at start (robot_free ?r)) ) :effect (and (at start(not(robot_free ?r))) (at end (assign (robot_on_fastener_number_in_sequence) 1)) (at end (not(robot_uninitialized ?r))) (at