We should strive to use as much as possible of the ASP grounder to process FSTRIPS problems as well.
For simple uses of functions, e.g. the functional version of BW, this should be possible, as long as we transform functions such as loc(a)=b to equivalent predicates loc_(a,b), etc., possibly using existential quantification when nested terms are involved, etc.
For other, more complex uses, perhaps we should keep using the standard grounder.
gfrances
commented
4 years ago
We should strive to use as much as possible of the ASP grounder to process FSTRIPS problems as well. For simple uses of functions, e.g. the functional version of BW, this should be possible, as long as we transform functions such as loc(a)=b to equivalent predicates loc_(a,b), etc., possibly using existential quantification when nested terms are involved, etc.
For other, more complex uses, perhaps we should keep using the standard grounder.