Reachability/Relevance minimizations

• Reachability analysis

  • Analyze which actions cannot be executed together and which propositions cannot be made together at particular time steps
    • Graphplan mutual exclusions
    • Domain invariants

• Relevance analysis

  • Analyze which actions are relevant and must occur together
    • Greedy Regression (RIFO)
      • Operator Graphs
    • Inseperability constraints

Explicate which parts of a disjunctive structure cannot be part of a solution (focusing)

Previous slide

Next slide

Back to first slide

View graphic version