On the Utility of Plan-Space (Causal) Encodings
PPT Slide
Re-kindling old wars for the new era
Overview
Planning as Satisfiability
Checking correctness of a plan: The State-based approaches
Encodings based on state-based proofs
Checking correctness of a plan: The Causal Approach
Encodings based on Causal proofs
Can we improve causal encodings?
Replacing partial order with contiguity
Using white-knight based establishment
Comparing asymptotic sizes of state-based & causal encodings
Would Lifting help tilt the balance?
Empirical Evaluation
Is it curtains for causal encodings?
Utility of Causal Encodings in Incremental Planning/Plan Reuse
Flexible step insertion is harder for state-based encodings
Utility of Causal Encodings in HTN Planning
Conclusions
Email: rao@asu.edu
Home Page: http://rakaposhi.eas.asu.edu