Adding HDDL Syntax - Githubissues

jan-dolejsi / vscode-pddl

Planning Domain Description Language (PDDL) grammar, syntax highlighting, code snippets, parser and planner integration for Visual Studio Code.

MIT License

87 stars 23 forks source link

Adding HDDL Syntax #98

Open bhomaidan1990 opened 3 years ago

bhomaidan1990 commented 3 years ago

Thank you for the great extension, I do like to ask if it is possible to add the HDDL , Additions syntax to the extension so it can support Hierarchical Domain Description Language.

Example:
```
:hierarchy
:method-preconditions
```

(:method method_name :parameters (?param1 ?param2 ?param3 ?param4 ?param5 ?param6) :task (task_name ?param1 ?param2) :precondition (and (atom1 ?param1 ?param2) (atom2 ?param3 ?param4) ) :ordered-subtasks (and (sub_task_name ?param1 ?param2 ?param3) (sub_task_name2 ?param1 ?param5 ?param6) ) )

jan-dolejsi commented 3 years ago

It should be quite possible. I guess VAL does not support it, does it? I always wanted to learn that : ) Is there tooling? Practices? Are the files generally named *.hddl? Or also *.pddl? Planners that I could get to test compatibility?

bhomaidan1990 commented 3 years ago

Thanks for your rapid reply, "I guess VAL does not support it, does it?"

Honestly I'm not sure about that since I'm not familiar with VAL yet

"Is there tooling? Practices? Are the files generally named `.hddl? Or also.pddl`? Planners that I could get to test compatibility?"

the extension is .hddl, I'm using the PFD, and TFD planners from PDDL4J library devel branch, and here are some good examples.
Note that in order to build this branch you have to run ./gradlew clean build -PnoTest since some tests fail.
To use the planner after building the library:
java -javaagent:build/libs/pddl4j-3.8.3.jar -server -Xms2048m -Xmx2048m fr.uga.pddl4j.planners.htn.stn.tfd.TFDPlanner -d domain.hddl -p problem.hddl

lesire commented 3 years ago

any progess on this?

jan-dolejsi commented 2 years ago

Good news is that the file extension is different from .pddl. That makes it a lot easier. I would suggest we create a separate extension, which adds the .hddl syntax, and which leverages the PDDL extension to invoke planners and shows the plan etc... as usual. That is assuming the plan is represented the same way as from other non-hierarchical planners.

That arrangement would also avoid the VAL integration problem. And if pddl4j was configured as a PDDL parser, it should also provide parsing for .hddl.

It is a few days of work.

bhomaidan1990 commented 2 years ago

@jan-dolejsi Is it possible please to extend the supported extensions to .hddl also, so we can benefit from the PDDL syntax correction? thanks in advance.

victorpaleologue commented 2 years ago

@bhomaidan1990 besides HDDL support missing, does the extension support HTN planners?

bhomaidan1990 commented 2 years ago

@bhomaidan1990 besides HDDL support missing, does the extension support HTN planners?

As it supports PDDL4J which includes HTN planners I think that it supports HTN planning using TFD or PFD planners, but to be sure @jan-dolejsi can confirm that.