PPT Slide

• Search in the space of conjunctive partial plans

  • Disjunction split into the search space
    • search guidance is nontrivial
  • Solution extraction is trivial

• Examples:

  • STRIPS & Prodigy
  • SNLP & UCPOP
  • NONLIN & SIPE
  • UNPOP & HSP

• Search in the space of disjunctive partial plans

  • Disjunction handled explicitly
  • Solution extraction is non-trivial
    • CSP/SAT/ILP methods

• Examples:

  • Graphplan
  • SATPLAN

Conjunctive planners

Disjunctive planners

Then

Now

Two classes of refinement planners

Both are based on the same

three refinement strategies

Previous slide

Next slide

Back to first slide

View graphic version