Types of domain-specific knowledge

• Declarative knowledge about desirable or undesirable solutions and partial solutions (SATPLAN+DOM)

• Declarative knowledge about desirable/undesirable search paths (TLPlan)

• A declarative grammar of desirable solutions (HTN)

• Procedural knowledge about how the search for the solution should be organized (SHOP)

Previous slide

Next slide

Back to first slide

View graphic version