Differences between revisions 1 and 2
Revision 1 as of 2015-12-07 20:53:04
Size: 2219
Editor: XmlRpcBot
Comment:
Revision 2 as of 2016-04-11 16:44:30
Size: 2218
Editor: XmlRpcBot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 7: Line 7:
 * 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>>
 * Silvan Sievers, Martin Wehrle and Malte Helmert.<<BR>>
 [[Generalized Label Reduction for Merge-and-Shrink Heuristics|http://ai.cs.unibas.ch/papers/sievers-et-al-aaai2014.pdf]].<<BR>>

Generalized label reduction

This class implements the generalized label reduction described in the following paper:

exact(before_shrinking, before_merging, method=ALL_TRANSITION_SYSTEMS_WITH_FIXPOINT, system_order=RANDOM)
  • before_shrinking (bool): apply label reduction before shrinking

  • before_merging (bool): apply label reduction before merging

  • method ({TWO_TRANSITION_SYSTEMS, ALL_TRANSITION_SYSTEMS, ALL_TRANSITION_SYSTEMS_WITH_FIXPOINT}): Label reduction method. See the AAAI14 paper by Sievers et al. for explanation of the default label reduction method and the 'combinable relation' .Also note that you must set at least one of the options reduce_labels_before_shrinking or reduce_labels_before_merging in order to use the chosen label reduction configuration.

    • TWO_TRANSITION_SYSTEMS: compute the 'combinable relation' only for the two transition systems being merged next

    • ALL_TRANSITION_SYSTEMS: compute the 'combinable relation' for labels once for every transition system and reduce labels

    • ALL_TRANSITION_SYSTEMS_WITH_FIXPOINT: keep computing the 'combinable relation' for labels iteratively for all transition systems until no more labels can be reduced

  • system_order ({REGULAR, REVERSE, RANDOM}): Order of transition systems for the label reduction methods that iterate over the set of all transition systems. Only useful for the choices all_transition_systems and all_transition_systems_with_fixpoint for the option label_reduction_method.

    • REGULAR: transition systems are considered in the FD given order for atomic transition systems and in the order of their creation for composite transition system.

    • REVERSE: inverse of REGULAR

    • RANDOM: random order

FastDownward: Doc/LabelReduction (last edited 2024-01-11 22:26:37 by XmlRpcBot)