This repo contains two SAS-based translators for FOND domains that are modifications of the SAS translator shipped with the Downard planning framework:
translate: a minor variant of the original translator that does not simplify any action that was the result of determinizing a FOND problem. These are actions whose names include the string "DETDUP": they will always be kept, even if they are "no-op" actions with no effects.translate-allout: this version first computes the all-outcome determinization for FOND domains and then performs the SAS translation. It is based on the 2011 PRP version but updated to a newer version.
Please refer to the corresponding README files for each version.
The codebase is a modification/extension o the translators found in Downward library (which ships the SAS translation) and PRP planner (which added determinization to the original SAS translation).
- Sebastian Sardina (ssardina@gmail.com)
- Nitin Yadav (nitin.yadav@unimelb.edu.au)