|
Size: 3175
Comment:
|
Size: 3187
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 6: | Line 6: |
| Line 7: | Line 8: |
| [[http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892/8031|LP-based Heuristics for Cost-optimal Planning]].<<BR>> | [[LP-based Heuristics for Cost-optimal Planning|http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892/8031]].<<BR>> |
| Line 9: | Line 10: |
| Line 10: | Line 12: |
| [[http://ijcai.org/papers13/Papers/IJCAI13-335.pdf|An admissible heuristic for SAS+ planning obtained from the state equation]].<<BR>> | [[An admissible heuristic for SAS+ planning obtained from the state equation|http://ijcai.org/papers13/Papers/IJCAI13-335.pdf]].<<BR>> |
| Line 20: | Line 22: |
| Line 21: | Line 24: |
| [[http://ijcai.org/papers13/Papers/IJCAI13-347.pdf|Getting the Most Out of Pattern Databases for Classical Planning]].<<BR>> | [[Getting the Most Out of Pattern Databases for Classical Planning|http://ijcai.org/papers13/Papers/IJCAI13-347.pdf]].<<BR>> |
| Line 31: | Line 34: |
| Line 32: | Line 36: |
| [[http://link.springer.com/chapter/10.1007/978-3-540-74970-7_46|An LP-based heuristic for optimal planning]].<<BR>> | [[An LP-based heuristic for optimal planning|http://link.springer.com/chapter/10.1007/978-3-540-74970-7_46]].<<BR>> |
| Line 34: | Line 38: |
| Line 35: | Line 40: |
| [[http://ijcai.org/papers13/Papers/IJCAI13-335.pdf|An admissible heuristic for SAS+ planning obtained from the state equation]].<<BR>> | [[An admissible heuristic for SAS+ planning obtained from the state equation|http://ijcai.org/papers13/Papers/IJCAI13-335.pdf]].<<BR>> |
| Line 37: | Line 42: |
| Line 38: | Line 44: |
| [[http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892/8031|LP-based Heuristics for Cost-optimal Planning]].<<BR>> | [[LP-based Heuristics for Cost-optimal Planning|http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892/8031]].<<BR>> |
LM-cut landmark constraints
Computes a set of landmarks in each state using the LM-cut method. For each landmark L the constraint sum_{o in L} Count_o >= 1 is added to the operator counting LP temporarily. After the heuristic value for the state is computed, all temporary constraints are removed again. For details, see
Florian Pommerening, Gabriele Roeger, Malte Helmert and Blai Bonet.
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892/8031.
In Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 226-234. AAAI Press 2014.Blai Bonet.
http://ijcai.org/papers13/Papers/IJCAI13-335.pdf.
In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 2268-2274. 2013.
lmcut_constraints()
Posthoc optimization constraints
The generator will compute a PDB for each pattern and add the constraint h(s) <= sum_{o in relevant(h)} Count_o. For details, see
Florian Pommerening, Gabriele Roeger and Malte Helmert.
http://ijcai.org/papers13/Papers/IJCAI13-347.pdf.
In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 2357-2364. 2013.
pho_constraints(patterns=systematic(2))
patterns (PatternCollectionGenerator): pattern generation method
State equation constraints
For each fact, a permanent constraint is added that considers the net change of the fact, i.e., the total number of times the fact is added minus the total number of times is removed. The bounds of each constraint depend on the current state and the goal state and are updated in each state. For details, see
Menkes van den Briel, J. Benton, Subbarao Kambhampati and Thomas Vossen.
http://link.springer.com/chapter/10.1007/978-3-540-74970-7_46.
In Proceedings of the Thirteenth International Conference on Principles and Practice of Constraint Programming (CP 2007), pp. 651-665. 2007.Blai Bonet.
http://ijcai.org/papers13/Papers/IJCAI13-335.pdf.
In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 2268-2274. 2013.Florian Pommerening, Gabriele Roeger, Malte Helmert and Blai Bonet.
http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7892/8031.
In Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling (ICAPS 2014), pp. 226-234. AAAI Press 2014.
state_equation_constraints()