|
Size: 393
Comment:
|
Size: 2743
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| == merge_dfp == | This page describes the various merge strategies supported by the planner. == Merge strategy DFP == This merge strategy implements the algorithm originally described in the paper "Directed model checking with distance-preserving abstractions" by Draeger, Finkbeiner and Podelski (SPIN 2006), adapted to planning in the following paper: * Silvan Sievers, Martin Wehrle and Malte Helmert.<<BR>> [[http://ai.cs.unibas.ch/papers/sievers-et-al-aaai2014.pdf|Generalized Label Reduction for Merge-and-Shrink Heuristics]].<<BR>> In ''Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014)'', pp. 2358-2366. AAAI Press 2014. |
| Line 6: | Line 14: |
| merge_dfp() | merge_dfp(atomic_ts_order=regular, product_ts_order=new_to_old, atomic_before_product=false, randomized_order=false, random_seed=-1) |
| Line 9: | Line 17: |
| == merge_linear == | * ''atomic_ts_order'' ({regular, inverse, random}): The order in which atomic transition systems are considered when considering pairs of potential merges. * {{{regular}}}: the variable order of Fast Downward * {{{inverse}}}: opposite of regular * {{{random}}}: a randomized order * ''product_ts_order'' ({old_to_new, new_to_old, random}): The order in which product transition systems are considered when considering pairs of potential merges. * {{{old_to_new}}}: consider composite transition systems from most recent to oldest, that is in decreasing index order * {{{new_to_old}}}: opposite of old_to_new * {{{random}}}: a randomized order * ''atomic_before_product'' (bool): Consider atomic transition systems before composite ones iff true. * ''randomized_order'' (bool): If true, use a 'globally'' randomized order, i.e. all transition systems are considered in an arbitrary order. This renders all other ordering options void. * ''random_seed'' (int [-1, infinity]): Set to -1 (default) to use the global random number generator. Set to any other value to use a local random number generator with the given seed. == Linear merge strategies == This merge strategy implements several linear merge orders, which are described in the paper: * Malte Helmert, Patrik Haslum and Joerg Hoffmann.<<BR>> [[http://ai.cs.unibas.ch/papers/helmert-et-al-icaps2007.pdf|Flexible Abstraction Heuristics for Optimal Sequential Planning]].<<BR>> In ''Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007)'', pp. 176-183. 2007. |
| Line 15: | Line 39: |
| * ''variable_order'' ({CG_GOAL_LEVEL, CG_GOAL_RANDOM, GOAL_CG_LEVEL, RANDOM, LEVEL, REVERSE_LEVEL}): the order in which atomic abstractions are merged | * ''variable_order'' ({CG_GOAL_LEVEL, CG_GOAL_RANDOM, GOAL_CG_LEVEL, RANDOM, LEVEL, REVERSE_LEVEL}): the order in which atomic transition systems are merged |
This page describes the various merge strategies supported by the planner.
Merge strategy DFP
This merge strategy implements the algorithm originally described in the paper "Directed model checking with distance-preserving abstractions" by Draeger, Finkbeiner and Podelski (SPIN 2006), adapted to planning in the following paper:
Silvan Sievers, Martin Wehrle and Malte Helmert.
Generalized Label Reduction for Merge-and-Shrink Heuristics.
In Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI 2014), pp. 2358-2366. AAAI Press 2014.
merge_dfp(atomic_ts_order=regular, product_ts_order=new_to_old, atomic_before_product=false, randomized_order=false, random_seed=-1)
atomic_ts_order ({regular, inverse, random}): The order in which atomic transition systems are considered when considering pairs of potential merges.
regular: the variable order of Fast Downward
inverse: opposite of regular
random: a randomized order
product_ts_order ({old_to_new, new_to_old, random}): The order in which product transition systems are considered when considering pairs of potential merges.
old_to_new: consider composite transition systems from most recent to oldest, that is in decreasing index order
new_to_old: opposite of old_to_new
random: a randomized order
atomic_before_product (bool): Consider atomic transition systems before composite ones iff true.
randomized_order (bool): If true, use a 'globally randomized order, i.e. all transition systems are considered in an arbitrary order. This renders all other ordering options void.
random_seed (int [-1, infinity]): Set to -1 (default) to use the global random number generator. Set to any other value to use a local random number generator with the given seed.
Linear merge strategies
This merge strategy implements several linear merge orders, which are described in the paper:
Malte Helmert, Patrik Haslum and Joerg Hoffmann.
Flexible Abstraction Heuristics for Optimal Sequential Planning.
In Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007), pp. 176-183. 2007.
merge_linear(variable_order=CG_GOAL_LEVEL)
variable_order ({CG_GOAL_LEVEL, CG_GOAL_RANDOM, GOAL_CG_LEVEL, RANDOM, LEVEL, REVERSE_LEVEL}): the order in which atomic transition systems are merged