Sequencing Operator Counts
TO Davies, AR Pearce, P STUCKEY, N Lipovetzky
Proceedings International Conference on Automated Planning and Scheduling, ICAPS | AAAI Press | Published : 2015
Operator-counting is a recently developed framework for analysing and integrating many state-of-the-art heuristics for planning using Linear Programming. In cost-optimal planning only the objective value of these heuristics is traditionally used to guide the search. However the primal solution, i.e. the operator counts, contains useful information. We exploit this information using a SAT-based approach which given an operator-count, either finds a valid plan; or generates a generalized landmark constraint violated by that count. We show that these generalized landmarks can be used to encode the perfect heuristic, h∗, as a Mixed Integer Program. Our most interesting experimental result is tha..View full abstract
Related Projects (2)
NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.