PPT Slide

• Search in the space of conjunctive partial plans

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

• Examples:

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

• Search in the space of disjunctive partial plans

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

• Examples:

  • Graphplan
  • SATPLAN

Conjunctive planners

Disjunctive planners

[AIMag-97;IJCAI-97]

Then

Now

Previous slide

Next slide

Back to first slide

View graphic version