Tuesday, February 01, 2005

STRIPS planning

Recap of SAT and phase transition Zhang slides part 1 pp. 26-36.

STRIPS

  • PropPlan
  • Actions, preconditions postconditions.
  • Frame problem
  • Logical formulation using quantified boolean formula (QBF)

1 Comments:

Blogger Unknown said...

nice post classified ads uk

9:29 am  

Post a Comment

<< Home