With right domain knowledge any level of performance can be achieved...
HTN-SAT, SATPLAN+DOM beat SATPLAN…
- Expect reduction schemas, declarative knowledge about inoptimal plans
TLPLAN beats SATPLAN, GRAPHPLAN
- But uses quite detailed domain knowledge
SHOP beats TLPLAN…
- Expects user to write a “program” for the domain in its language
- Explicit instructions on the order in which schemas are considered and concatenated
-The provider of domain knowledge?
-The planner that is capable of using it?