Semantics of plans with non-primitive actions

• A non-primitive action A is a disjunctive constraint requiring that each candidate satisfy all the constraints of at least one concretization of A

  • Reduction pushes the disjunction into the search space

Previous slide

Next slide

Back to first slide

View graphic version