#14 Negation of goals required at the initial state of STRIPS problems

[Giuseppe Li]

JavaGP fails to find a plan for some problems written in STRIPS. However, by including in the initial state the negation of all goals not fulfilled at the initial state level, it is possible obtain a valid plan despite such problem model being equivalent to the first.

This seems to be applicable for several problems and domains that I have written.

I have attached one simple domain/problem which presents such failure during planning.

Best regards

[Giuseppe Li]

The same happens for the same problem written in PDDL

[Felipe Meneguzzi]

Guiseppe, just in case you are still following my planner, I just moved it to Github (and moved the bugs too). You may want to keep following it there: https://github.com/pucrs-automated-planning/javagp