aig-upf / tarski

Tarski - An AI Planning Modeling Framework
Apache License 2.0
59 stars 19 forks source link

Support for Durative Actions #129

Closed karpase closed 10 months ago

karpase commented 2 years ago

I tried parsing a PDDL problem with durative actions, and got a parsing error. Looks like the K_ACTION only support regular actions, not durative actions, even though DURATIVE_ACTION is still in the list of tokens.

miquelramirez commented 2 years ago

Hello @karpase ,

I am reimplementing PDDL support, and I have a mostly working PDDL 2.2 (temporal and axioms) parser in the devel branch. I am still working on documentation/examples, and thinking on what kind of API to provide to access the AST and do further processing/transformation/manipulation.

The parser is useable already, you could use it for instance to dump to some intermediate representation that your planner can get the instance data from to get cracking.

Regards,

Miquel

miquelramirez commented 2 years ago

Also, robust support for exotic things like TILs or variable/state-at-start dependent durations is not an immediate priority to me, but any PRs are welcome.

karpase commented 2 years ago

Thanks @miquelramirez, I'll give it a try.

miquelramirez commented 10 months ago

Full support of PDDL 2.1 is in principle available in the branch pddl-2.x-grounding. Hopefully included in 0.9 release when I get time to put it all together.