Reputation: 1
So Im writing a PDDL for mars exploration but it shows Suspected timeout.
ff: goal can be simplified to FALSE. No plan will solve it
What should I do next?
Upvotes: 0
Views: 123
Reputation: 711
That's not timeout: FF proved that it's impossible to reach the goal. "Simplified" means it didn't even need to search, so it's probably a very fundamental modelling problem.
Try changing the goal to the preconditions of actions that you think should be achievable.
Upvotes: 1