search

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

Axioms #68

Open fabrien opened 4 years ago

fabrien commented 4 years ago

Hi, according to this pddl wiki: https://planning.wiki/ref/pddl/domain (last section), axioms are highly supported, however they don't seem to be supported by this extension.

An error is raised when I try to require :domain-axioms, and when I'm defining an axiom as well.

Axioms look very interesting and useful, so why are they not usable with this extension?

jan-dolejsi commented 4 years ago

The extension should not complain about any PDDL syntax (as long as all parenthesis are closed), but the Parser utility from VAL may not be handling axioms. I believe it handles the :derived-predicates, which I think are the successor of axioms. Can you try using derived predicates in your model instead? After all, it comes down to what the planner of your choice supports. Let me know how it went and whether the issue may be closed, or it needs a follow-up.

JonathanLibes commented 3 years ago

Hi Jan, I tried the solution suggested, but unfortunately i faced the nex problem : syntax error in line 7, ':DERIVED-PREDICATES'