Menu

#4 Parsing Errors caused by :equality declaration in PDDL domain files

v1.0 (example)
open
None
9
2015-05-15
2015-05-15
No

I have been working with a domain PDDL file which has the header defined as follows.

(define (domain unauthorized_disclosure_attacks)
(:requirements :strips :equality)


Consequently, 1 action definition contains an equality comparison as a precondition.

When this domain PDDL is processed against a problem definition using a planner like metric-FF, the planner manages to spit out a valid plan. However, when I am using PDDL4J to parse the domain PDDL file, I am getting the following error.


SEVERE: Parser error at line 2, column 24 file (unauthorized_disclosure_attacks.pddl) : Require key ":equality" forbidden due to parser requirement options.

The error can be removed, by getting rid of the :equality definition in the domain header. Unfortunately then I am no longer able to use the "=" sign for action definitions.

Is there any version in PDDL4J that fixes this issue (or any work-around)?

Thanks
Sachini

Discussion


Log in to post a comment.

Auth0 Logo