Error msg and mutex response parsing for failed plans
Sohan Rudra
Hello Unified Planning Community,
My name is Sohan and I am a PhD student at TU Darmstadt working with robotic task planning. I am an active user of this package and have found it super helpful in my research.
I had a few questions which I could not find in the documentation directly. In a part of my work, I create PDDL files automatically to try to get to the goal state by using a planner. In the code-base, I saw that a planner returns a PlanGenerationResultStatus object to indicate if it was able to reach the goal or failed in solving the solution. With regards to this, I wanted to ask the following questions:
- Is it possible to get a more informative error response as a sort of metadata or something to specify exactly what combination of predicates failed?
- Is there a way to figure out if the initial conditions are feasible for a given problem file given the domain? I am looking for some mutex-based analysis for a given problem file.
I typically use the fast-downward planner and I have seen that the translation file it creates has a lot of metadata. Hence I was wondering if unified-planning has any mechanisms for getting this data parsed under the python API. Maybe something similar to the FailedValidationReason. As I generate problem files automatically this type of feedback about initial-state, goal-state or any other mutex-based information would be super helpful.
Once again, thank you so much for creating and maintaining this awesome project.
Yours sincerely,