Conundrums of user-assisted cutomization
Which planners are easier to control?
- Conjunctive planners are better if you have search control knowledge
- Forward State Space (according to TLPlan)
- Plan-space planners (according to HTN approaches)
- Disjunctive planners are better if your knowledge can be posed as additional constraints on the valid plans
- Which SAT encoding?
- HTN knowledge is easier to add on top of causal encodings
Which approach provides the best language for expressing domain knowledge for the lay user?
What type of domain knowledge is easier to validate?
When does it become “cheating”/ “wishful-thinking”
- Foolish not to be able to use available knowledge
- Wishful to expect deep procedural knowledge...