plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
43 stars 6 forks source link

[pddl_parser] Extending support to Temporal Planning Domains #25

Closed franklinselva closed 2 years ago

franklinselva commented 2 years ago

Fixes #21

franklinselva commented 2 years ago

@arbimo

I am able to extend solvable.py to test only temporal files (from ext/). After testing, only 4 out of 49 are solved.

Most of the problems fall into the below categories.

  1. The location of the domain file doesn’t fit the criteria (should be in the same location or in parent location)
  2. Presence of unknown features (:adl :constraints …)
  3. The functions are still unknown to the planner
  4. Certain keywords are not yet available (eg. either)