Tractability Refinements

• Reduce number of linearizations

  • Pre-ordering
  • Pre-positioning

• Make all linearizations safe

  • Pre-satisfaction
    • Resolve threats to auxiliary constraints

• Reduce uncertainity in action identity

  • Pre-reduction
    • Replace a non-primitive action with its reductions

Aim: Make it easy to generate minimal candidates

1: Fly()

0

�

At(A,E)

�

At(A,E)

�

At(A,E)

�

At(A,E)

¬ In(A)@1

Promotion

Demotion

Confrontation

Previous slide

Next slide

Back to first slide

View graphic version