search

aig-upf / tarski

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

Backends: SAS / FDR writer #64

Closed gfrances closed 10 months ago

gfrances commented 5 years ago

We'd like to implement a SAS / FDR writer that takes a STRIPS / FSTRIPS problem and outputs a file in the corresponding format, which can then be fed into planners such as Fast Downward. The reference for that would be the Fast Downward preprocessor and Malte's JAIR / AIJ articles ("The Fast Downward Planning System", "Concise finite-domain representations for PDDL planning tasks"). This will likely depend on #61, #62, if we want it to support interesting FSTRIPS models.

gfrances commented 5 years ago

This should also be considered a sub-task of issue #5, which could be closed once this one is.