search

aig-upf / tarski

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

Provide Reachability Analysis Capabilities Through ASP #44

Closed gfrances closed 5 years ago

gfrances commented 5 years ago

We have several open issues regarding grounding and the integration of the ASP models that we already have in the FS planner to do that task (See #15, #16, #17, #19). Just to add to the wishlist, I think when we implement that we should use the opportunity to provide basic reachability-analysis capabilities to the Tarski user. With this I simply mean having some class / methods that are able to tell whether a certain atom is ever reachable from a given state / compute the set of all atoms reachable from a certain state. We don't want to reinvent the wheel here, just adapt the ASP generator code that we already have in a modular manner. This would probably be restricted to some fragment of FSTRIPS without function symbols, but still useful.

gfrances commented 5 years ago

This is now merged into the dev-0.2.0 branch!