Types of Guidance
Declarative knowledge about desirable or undesirable solutions and partial solutions (SATPLAN+DOM; Cutting Planes)
Declarative knowledge about desirable/undesirable search paths (TLPlan & TALPlan)
A declarative grammar of desirable solutions (HTN)
- Procedural knowledge about how the search for the solution should be organized (SHOP)
- Search control rules for guiding choice points in the planner’s search (NASA RAX)
Planner specific. Expert needs to understand the
specific details of the planner’s search space
(largely) independent of the details of the specific planner
[affinities do exist between specific types of guidance and planners)