Which of the following is true?
- In terms of logic, Actions in PDDL are best thought of as axioms.
- The states one might consider in PDDL if one is doing backward search may no longer be ground.
- In general, PlanSat is undecidable; BoundedPlanSat is decidable.