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)
posted by Michael Fourman at 10:00
1 Comments:
nice post classified ads uk
Post a Comment
<< Home