The model translation to is using some rules that are not quite applied in PDDL 3.1. THe use of fluents have to treated different on negating effects.
In the following example, "(at start (not (assign (at ?self) ?loc1)))" should not be put as an effect due to the fact that it is fluent. It might be the case that the fluent gets another intermediate value (none or unknow).
The model translation to is using some rules that are not quite applied in PDDL 3.1. THe use of fluents have to treated different on negating effects.
In the following example, "(at start (not (assign (at ?self) ?loc1)))" should not be put as an effect due to the fact that it is fluent. It might be the case that the fluent gets another intermediate value (none or unknow).
_(:durative-action move :parameters (?self - Rover ?loc1 - Location ?loc2 - Location) :duration (= ?duration (traversaltime ?loc1 ?loc2)) :condition (and (at start (= (at ?self) ?loc1)) (at start (idle ?self))) :effect (and (at start (not (assign (at ?self) ?loc1))) (at end (assign (at ?self) ?loc2)) ))