#13 PDDL header definitions :disjunctive-preconditions :equality ....
I ran the abstract.pddl and problem file in /examples directory using javagp & it produced the following output.
SEVERE: Parser error at line 2, column 32 file (abstract.pddl) : Require key ":disjunctive-preconditions" forbidden due to parser requirement options.
SEVERE: Parser error at line 2, column 59 file (abstract.pddl) : Require key ":conditional-effects" forbidden due to parser requirement options.
SEVERE: Parser error at line 3, column 32 file (pb1.pddl) : Require key ":disjunctive-preconditions" forbidden due to parser requirement options.
SEVERE: Parser error at line 3, column 59 file (pb1.pddl) : Require key ":conditional-effects" forbidden due to parser requirement options.
SEVERE: Parser error at line 7, column 30 file (abstract.pddl) : Disjunctive formula cannot be defined without require key ":disjunctive-preconditions".
SEVERE: Parser warning at line 1, column 17 file (abstract.pddl) : Domain "disjunctive-pb" should be defined in a file "disjunctive-pb.pddl".
SEVERE: Parser warning at line 1, column 18 file (pb1.pddl) : problem "disjunctive-pb" must be defined in a file "disjunctive-pb.pddl".
INFO: Running planner, maximum memory: 2,649MB
INFO: Expanding graph
INFO: Extracting solution
INFO: Plan found with 1 steps
INFO: Planning took 115ms ( 0s )
INFO: Total memory used: 179MB
INFO: Plan found:
dijunctive_action(a,b)
INFO: Plan length: 1
Question 1
I believe these SEVERE errors are being produced by PDDL4J library. Since this manages to find a valid plan is it safe to assume the "errors" are being overridden somehow?
Question 2
I tried to run a custom PDDL with :equality definitions (i.e. actions have "=" statements (e.g. (= ?arg1 ?arg2) as preconditions). In this case this error manifests into a domain/problem file parsing issue that affects the plan-searching process. Are there any known workarounds for this problem?
Thank you for your attention.
Hi, Perhaps this is a bug in our handling of the warnings from the parser, because JavaGP does not support explicit equality, nor does it support disjunction. We should also make it clear in the README that this is not supported and that not all PDDL files supplied with the planner work.
I just committed the fix for this bug to the SVN (delayed because of outage from sourceforge). Will generate a release shortly.