search

aig-upf / tarski

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

Transformations: Compile function symbols away #61

Closed gfrances closed 10 months ago

gfrances commented 5 years ago

We'd like to implement a Tarski transformation that takes any basic Functional STRIPS problem and converts it into a plain STRIPS problem (i.e. no function symbols) by applying Patrik Haslum's "Skolemization in reverse" procedure. "Basic" FSTRIPS here means that this should not deal with semantic attachments and other "advanced" FSTRIPS features.

miquelramirez commented 5 years ago

This will be useful. What about a SAS backend as well?

gfrances commented 5 years ago

Could make a lot of sense to promote the use of FSTRIPS for modeling, and then e.g. transform to SAS and use Fast Downward for solving, if you need the range of capabilities that the planner provides. Will open another "3.0 wishlist" issue for that.

gfrances commented 5 years ago

(Not sure if we should compile a Github "project" for that wishlist, instead of a milestone?)

miquelramirez commented 5 years ago

The project would allow to prioritise and keep track of progress more clearly. Each of the cards could correspond to a milestone.