Table of Contents
02/18/98 Planning
The POCL (SNLP/McAllester&Rosenblitt) Algorithm
Language Extensions
Conditional Effects, The Syntax
Conditional Effects, The Implementation
Dynamically Adding a Precondition
Dynamically Adding Precondition: Final Plan
Conditional Effects as a Source of Threats
Dynamically generating preconditions to confront threats
Threat Confrontation: Final Plan
Universal Quantification
Universal Quantification (cont.)
Example: quantification in effects
Example: quantification in precondition
UCPOP (Failed) Plan Display
The GRAPHPLAN algorithm (Blum&Furst)
Small Example Problem
Building the Plan Graph
Mutual Exclusion Checks
Mutual Exclusion in the Example
Expand the Plan Graph one Stage
Regression search for a stage-2 solution
GRAPHPLAN summary
|