19566
Comment: added properties&language features for heuristics
|
34651
added a lot of information
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
2011-08-09 |
|
Line 4: | Line 7: |
Line 5: | Line 9: |
Line 11: | Line 16: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''supported * '''axioms: '''supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible: '''no * '''consistent: '''no * '''safe: '''yes for tasks without axioms * '''preferred operators: '''yes |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' supported * '''axioms:''' supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible:''' no * '''consistent:''' no * '''safe:''' yes for tasks without axioms * '''preferred operators:''' yes |
Line 23: | Line 31: |
Returns cost of cheapest action fornon-goal states, 0 for goal states | Returns cost of cheapest action for non-goal states, 0 for goal states |
Line 28: | Line 36: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''supported * '''axioms: '''supported Properties: * '''admissible: '''yes * '''consistent: '''yes * '''safe: '''yes * '''preferred operators: '''no |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' supported * '''axioms:''' supported Properties: * '''admissible:''' yes * '''consistent:''' yes * '''safe:''' yes * '''preferred operators:''' no |
Line 45: | Line 57: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''supported * '''axioms: '''supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible: '''no * '''consistent: '''no * '''safe: '''no * '''preferred operators: '''yes |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' supported * '''axioms:''' supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible:''' no * '''consistent:''' no * '''safe:''' no * '''preferred operators:''' yes |
Line 62: | Line 78: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''supported * '''axioms: '''supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible: '''no * '''consistent: '''no * '''safe: '''no * '''preferred operators: '''yes |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' supported * '''axioms:''' supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible:''' no * '''consistent:''' no * '''safe:''' no * '''preferred operators:''' yes |
Line 79: | Line 99: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''supported * '''axioms: '''supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible: '''no * '''consistent: '''no * '''safe: '''yes for tasks without axioms * '''preferred operators: '''yes |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' supported * '''axioms:''' supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible:''' no * '''consistent:''' no * '''safe:''' yes for tasks without axioms * '''preferred operators:''' yes |
Line 96: | Line 120: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''ignored by design * '''conditional_effects: '''supported * '''axioms: '''supported Properties: * '''admissible: '''no * '''consistent: '''no * '''safe: '''yes * '''preferred operators: '''no |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' ignored by design * '''conditional_effects:''' supported * '''axioms:''' supported Properties: * '''admissible:''' no * '''consistent:''' no * '''safe:''' yes * '''preferred operators:''' no |
Line 113: | Line 141: |
* `m` (int): subset size * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''ignored * '''axioms: '''ignored Properties: * '''admissible: '''yes for tasks without conditionaleffects or axioms * '''consistent: '''yes for tasks without conditionaleffects or axioms * '''safe: '''yes for tasks without conditionaleffects or axioms * '''preferred operators: '''no |
* ''m'' (int): subset size * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' ignored * '''axioms:''' ignored Properties: * '''admissible:''' yes for tasks without conditional effects or axioms * '''consistent:''' yes for tasks without conditional effects or axioms * '''safe:''' yes for tasks without conditional effects or axioms * '''preferred operators:''' no |
Line 131: | Line 163: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''supported * '''axioms: '''supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible: '''yes for tasks without axioms * '''consistent: '''yes for tasks without axioms * '''safe: '''yes for tasks without axioms * '''preferred operators: '''no == Landmark count heuristic == See also Lama-FF synergy |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' supported * '''axioms:''' supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe) Properties: * '''admissible:''' yes for tasks without axioms * '''consistent:''' yes for tasks without axioms * '''safe:''' yes for tasks without axioms * '''preferred operators:''' no == Landmark-count heuristic == See also LAMA-FF synergy |
Line 148: | Line 184: |
* `lm_graph` (landmarks graph): the set of landmarks to use for this heuristic.The set of landmarks can be specified here, or predefined. * `admissible` (bool): get admissible estimate * `optimal` (bool): use optimal cost sharing(only makes sense with admissible=true).You need to build the planner with USE_LP=1to use this. * `pref` (bool): identify preferred operators * `alm` (bool): use action landmarks * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''supported if admissible=false * '''axioms: '''supported if admissible=false (but may behave stupidly and be unsafe Properties: * '''admissible: '''yes if admissible=true and there are neitherconditional effects nor axioms * '''consistent: '''no * '''safe: '''yes (except maybe on tasks with axioms or when using admissible=true on tasks with conditional effects) * '''preferred operators: '''yes (if enabled; see pref_ops option) |
* ''lm_graph'' (landmarks graph): the set of landmarks to use for this heuristic. The set of landmarks can be specified here, or predefined (see LandmarksDefinition). * ''admissible'' (bool): get admissible estimate * ''optimal'' (bool): use optimal (LP-based) cost sharing (only makes sense with admissible=true) * ''pref'' (bool): identify preferred operators * ''alm'' (bool): use action landmarks * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. '''Note:''' to use optimal=true, you must build the planner with USE_LP=1. See LPBuildInstructions. '''Optimal search:''' when using landmarks for optimal search (admissible=true), you probably also want to enable the mpd option of the A* algorithm to improve heuristic estimates '''cost_type parameter:''' only used when admissible=true (see LandmarksDefinition) Language features supported: * '''action costs:''' supported * '''conditional_effects:''' supported if admissible=false * '''axioms:''' supported if admissible=false (but may behave stupidly and unsave Properties: * '''admissible:''' yes if admissible=true and there are neither conditional effects nor axioms * '''consistent:''' no * '''safe:''' yes (except maybe on tasks with axioms or when using admissible=true on tasks with conditional effects) * '''preferred operators:''' yes (if enabled; see pref_ops option) |
Line 170: | Line 213: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported * '''conditional_effects: '''not supported * '''axioms: '''not supported Properties: * '''admissible: '''yes * '''consistent: '''no * '''safe: '''yes * '''preferred operators: '''no |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported * '''conditional_effects:''' not supported * '''axioms:''' not supported Properties: * '''admissible:''' yes * '''consistent:''' no * '''safe:''' yes * '''preferred operators:''' no |
Line 182: | Line 229: |
Note: The numbering of the composition and collapsing options has changed in July 2010. Please adapt them when using old experiment scripts (reduce old value by 1). {{{ mas(max_states = -1, max_states_before_merge = -1, count = 1, merge_strategy = MERGE_LINEAR_CG_GOAL_LEVEL, shrink_strategy = SHRINK_HIGH_F_LOW_H, simplify_labels = true, expensive_statistics = false, merge_mixing_parameter = -1, cost_type = NORMAL) }}} * `max_states` (int): maximum abstraction size * `max_states_before_merge` (int): maximum abstraction size for factors of synchronized product * `count` (int): nr of abstractions to build * `merge_strategy` ({MERGE_LINEAR_CG_GOAL_LEVEL, MERGE_LINEAR_CG_GOAL_RANDOM, MERGE_LINEAR_GOAL_CG_LEVEL, MERGE_LINEAR_RANDOM, MERGE_DFP, MERGE_LINEAR_LEVEL, MERGE_LINEAR_REVERSE_LEVEL, MERGE_LEVEL_THEN_INVERSE, MERGE_INVERSE_THEN_LEVEL}): merge strategy * `shrink_strategy` ({SHRINK_HIGH_F_LOW_H, SHRINK_LOW_F_LOW_H, SHRINK_HIGH_F_HIGH_H, SHRINK_RANDOM, SHRINK_DFP, SHRINK_BISIMULATION, SHRINK_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_DFP_ENABLE_GREEDY_BISIMULATION, SHRINK_DFP_ENABLE_FURTHER_LABEL_REDUCTION, SHRINK_DFP_ENABLE_GREEDY_THEN_LABEL_REDUCTION, SHRINK_DFP_ENABLE_LABEL_REDUCTION_THEN_GREEDY, SHRINK_DFP_ENABLE_LABEL_REDUCTION_AND_GREEDY_CHOOSE_MAX, SHRINK_GREEDY_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_BISIMULATION_REDUCING_ALL_LABELS_NO_MEMORY_LIMIT, SHRINK_GREEDY_BISIMULATION_REDUCING_ALL_LABELS_NO_MEMORY_LIMIT}): shrink strategy * `simplify_labels` (bool): enable label simplification * `expensive_statistics` (bool): show statistics on "unique unlabeled edges" (WARNING: these are *very* slow -- check the warning in the output) * `merge_mixing_parameter` (double): merge mixing parameter * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''supported for SHRINK_DFP, SHRINK_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_DFP_ENABLE_GREEDY_BISIMULATION_NO_MEMORY_LIMIT * '''conditional_effects: '''not supported * '''axioms: '''not supported Properties: * '''admissible: '''yes * '''consistent: '''yes * '''safe: '''yes * '''preferred operators: '''no |
Note: The numbering of the composition and collapsing options has changed in July 2010. Please adapt them when using old experiment scripts (reduce old value by 1). {{{ mas(max_states, max_states_before_merge, count = 1, merge_strategy = MERGE_LINEAR_CG_GOAL_LEVEL, shrink_strategy = SHRINK_HIGH_F_LOW_H, simplify_labels = true, expensive_statistics = false, merge_mixing_parameter = -1, cost_type = NORMAL) }}} * ''max_states'' (int): maximum abstraction size * ''max_states_before_merge'' (int): maximum abstraction size for factors of synchronized product * ''count'' (int): nr of abstractions to build * ''merge_strategy'' ({MERGE_LINEAR_CG_GOAL_LEVEL, MERGE_LINEAR_CG_GOAL_RANDOM, MERGE_LINEAR_GOAL_CG_LEVEL, MERGE_LINEAR_RANDOM, MERGE_DFP, MERGE_LINEAR_LEVEL, MERGE_LINEAR_REVERSE_LEVEL, MERGE_LEVEL_THEN_INVERSE, MERGE_INVERSE_THEN_LEVEL}): merge strategy * ''shrink_strategy'' ({SHRINK_HIGH_F_LOW_H, SHRINK_LOW_F_LOW_H, SHRINK_HIGH_F_HIGH_H, SHRINK_RANDOM, SHRINK_DFP, SHRINK_BISIMULATION, SHRINK_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_DFP_ENABLE_GREEDY_BISIMULATION, SHRINK_DFP_ENABLE_FURTHER_LABEL_REDUCTION, SHRINK_DFP_ENABLE_GREEDY_THEN_LABEL_REDUCTION, SHRINK_DFP_ENABLE_LABEL_REDUCTION_THEN_GREEDY, SHRINK_DFP_ENABLE_LABEL_REDUCTION_AND_GREEDY_CHOOSE_MAX, SHRINK_GREEDY_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_BISIMULATION_REDUCING_ALL_LABELS_NO_MEMORY_LIMIT, SHRINK_GREEDY_BISIMULATION_REDUCING_ALL_LABELS_NO_MEMORY_LIMIT}): shrink strategy * ''simplify_labels'' (bool): enable label simplification * ''expensive_statistics'' (bool): show statistics on "unique unlabeled edges" (WARNING: these are *very* slow -- check the warning in the output) * ''merge_mixing_parameter'' (double): merge mixing parameter * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' supported for SHRINK_DFP, SHRINK_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_DFP_ENABLE_GREEDY_BISIMULATION_NO_MEMORY_LIMIT * '''conditional_effects:''' not supported * '''axioms:''' not supported Properties: * '''admissible:''' yes * '''consistent:''' yes * '''safe:''' yes * '''preferred operators:''' no == IPC-Max Heuristic == {{{ max(heuristics, cost_type = NORMAL) }}} * ''heuristics'' (list of heuristic): * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. |
Line 212: | Line 276: |
* `heuristics` (list of heuristic): heuristics * `alpha` (double): alpha * `classifier` ({NB, AODE}): classifier type * `conf_threshold` (double): confidence threshold * `training_set` (int): minimum size of training set * `eval_always` (int): number of heuristics that should always be evaluated * `random_sel` (bool): random selection * `retime` (bool): retime heuristics * `sample` ({Probe, ProbAStar, PDB}): state space sample type * `uniform` (bool): uniform sampling * `zero_threshold` (bool): set threshold constant 0 * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type Language features supported: * '''action costs: '''if supported by all component heuristics * '''conditional_effects: '''if supported by all component heuristics * '''axioms: '''if supported by all component heuristics Properties: * '''admissible: '''if all component heuristics are admissible * '''consistent: '''no * '''safe: '''if all component heuristics are safe * '''preferred operators: '''no (not yet) |
* ''heuristics'' (list of heuristic): heuristics * ''alpha'' (double): alpha * ''classifier'' ({NB, AODE}): classifier type * ''conf_threshold'' (double): confidence threshold * ''training_set'' (int): minimum size of training set * ''eval_always'' (int): number of heuristics that should always be evaluated * ''random_sel'' (bool): random selection * ''retime'' (bool): retime heuristics * ''sample'' ({Probe, ProbAStar, PDB}): state space sample type * ''uniform'' (bool): uniform sampling * ''zero_threshold'' (bool): set threshold constant 0 * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Language features supported: * '''action costs:''' if supported by all component heuristics * '''conditional_effects:''' if supported by all component heuristics * '''axioms:''' if supported by all component heuristics Properties: * '''admissible:''' if all component heuristics are admissible * '''consistent:''' no * '''safe:''' if all component heuristics are safe * '''preferred operators:''' no (not yet) |
Line 235: | Line 303: |
== alt == {{{ alt(sublists, boost = 0) }}} * `sublists` (list of openlist): * `boost` (int): boost value for preferred operator open lists == pareto == |
== Alternation open list == alternates between several open lists. {{{ alt(openlists, boost = 0) }}} * ''openlists'' (list of openlist): sub open lists * ''boost'' (int): boost value for sub-open-lists that are restricted to preferred operator nodes '''Preferred operators:''' Preferred operators are only taken from sub-open-lists that do not consider the evaluated state a dead end. '''Dead ends:''' A state is considered a dead end if either all alternated open lists agree that it is a dead end or at least one reliable open list considers is a dead end. A state is never inserted into a sub-open-list that considers it a dead end. '''Note:''' The treatment of dead ends is different from the one described in the [http://tr.informatik.uni-freiburg.de/reports/report258/report00258.ps.gz technical report] "The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning (Extended Version)" (Department of Computer Science at Freiburg University, No. 258, 2010) == Pareto open list == Selects one of the Pareto-optimal (regarding the sub-evaluators) entries for removal. |
Line 250: | Line 322: |
* `evals` (list of scalar evaluator): * `pref_only` (bool): insert only preferred operators * `state_uniform_selection` (bool): select uniformly from the candidate *states* == single == {{{ single(evaluators, pref_only = false) }}} * `evaluators` (list of scalar evaluator): * `pref_only` (bool): insert only preferred operators == single_buckets == {{{ single_buckets(evals, pref_only = false) }}} * `evals` (list of scalar evaluator): * `pref_only` (bool): insert only preferred operators == tiebreaking == |
* ''evals'' (list of scalar evaluator): scalar evaluators * ''pref_only'' (bool): insert only nodes generated by preferred operators * ''state_uniform_selection'' (bool): When removing an entry, we select a non-dominated bucket and return its oldest entry. If this option is false, we select uniformly from the non-dominated buckets; if the option is true, we weight the buckets with the number of entries. == Standard open list == Standard open list that uses a single evaluator {{{ single(eval, pref_only = false) }}} * ''eval'' (scalar evaluator): scalar evaluator * ''pref_only'' (bool): insert only nodes generated by preferred operators == Bucket-based open list == Bucket-based open list implementation that uses a single evaluator {{{ single_buckets(eval, pref_only = false) }}} * ''eval'' (scalar evaluator): scalar evaluator * ''pref_only'' (bool): insert only nodes generated by preferred operators == Tie-breaking open list == |
Line 278: | Line 353: |
* `evals` (list of scalar evaluator): * `pref_only` (bool): insert only preferred operators * `unsafe_pruning` (bool): allow unsafe pruning when the main evaluator regards a state a dead end |
* ''evals'' (list of scalar evaluator): scalar evaluators * ''pref_only'' (bool): insert only nodes generated by preferred operators * ''unsafe_pruning'' (bool): allow unsafe pruning when the main evaluator regards a state a dead end |
Line 283: | Line 359: |
== astar == |
== A* search (eager) == A* is a special case of eager best first search that uses g+h as f-function. We break ties using the evaluator. Closed nodes are re-opened. |
Line 289: | Line 365: |
* `eval` (scalar evaluator): * `pathmax` (bool): use pathmax correction * `mpd` (bool): use multi-path dependence (LM-A*) * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost == eager == |
* ''eval'' (scalar evaluator): evaluator for h-value * ''pathmax'' (bool): use pathmax correction * ''mpd'' (bool): use multi-path dependence (LM-A*) * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter '''mpd option:''' This option is currently only present for the A* algorithm and not for the more general eager search, because the current implementation of multi-path depedence does not support general open lists. == Eager best first search == |
Line 301: | Line 379: |
* `open` (openlist): * `reopen_closed` (bool): reopen closed nodes * `pathmax` (bool): use pathmax correction * `f_eval` (scalar evaluator): set evaluator for jump statistics * `preferred` (list of heuristic): use preferred operators of these heuristics * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost == eager_greedy == |
* ''open'' (openlist): open list * ''reopen_closed'' (bool): reopen closed nodes * ''pathmax'' (bool): use pathmax correction * ''f_eval'' (scalar evaluator): set evaluator for jump statistics * ''preferred'' (list of heuristic): use preferred operators of these heuristics * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter == Greedy search (eager) == |
Line 315: | Line 394: |
* `evals` (list of scalar evaluator): * `preferred` (list of heuristic): use preferred operators of these heuristics * `boost` (int): boost value for preferred operator open lists * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost == ehc == |
* ''evals'' (list of scalar evaluator): scalar evaluators * ''preferred'' (list of heuristic): use preferred operators of these heuristics * ''boost'' (int): boost value for preferred operator open lists * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter '''Open list:''' In most cases, eager greedy best first search uses an alternation open list with one queue for each evaluator. If preferred operator heuristics are used, it adds an extra queue for each of these evaluators that includes only the nodes that are generated with a preferred operator. If only one evaluator and no preferred operator heuristic is used, the search does not use an alternation open list but a standard open list with only one queue. '''Closed nodes:''' Closed node are not re-opened == Enforced hill-climbing == |
Line 327: | Line 409: |
* `h` (heuristic): * `bfs_use_cost` (bool): use cost for bfs * `preferred_usage` ({PRUNE_BY_PREFERRED, RANK_PREFERRED_FIRST}): preferred operator usage * `preferred` (list of heuristic): use preferred operators of these heuristics * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost == iterated == |
* ''h'' (heuristic): heuristic * ''bfs_use_cost'' (bool): use cost for bfs * ''preferred_usage'' ({PRUNE_BY_PREFERRED, RANK_PREFERRED_FIRST}): preferred operator usage * ''preferred'' (list of heuristic): use preferred operators of these heuristics * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter == Iterated search == |
Line 340: | Line 423: |
* `engine_configs` (list of parse tree (this just means the input is parsed at a later point. The real type is probably a search engine.)): * `pass_bound` (bool): use bound from previous search * `repeat_last` (bool): repeat last phase of search * `continue_on_fail` (bool): continue search after no solution found * `continue_on_solve` (bool): continue search after solution found * `plan_counter` (int): start enumerating plans with this number * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost == lazy == |
* ''engine_configs'' (list of parse tree (this just means the input is parsed at a later point. The real type is probably a search engine.)): list of search engines for each phase * ''pass_bound'' (bool): use bound from previous search. The bound is the real cost of the plan found before, regardless of the cost_type parameter. * ''repeat_last'' (bool): repeat last phase of search * ''continue_on_fail'' (bool): continue search after no solution found * ''continue_on_solve'' (bool): continue search after solution found * ''plan_counter'' (int): start enumerating plans with plan_counter + 1 * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter '''Note 1:''' We do no cache values between search iterations at the moment. If you perform a LAMA-style iterative search, heuristic values will be computed multiple times. Adding heuristic caching is [http://issues.fast-downward.org/issue108 issue108]. '''Note 2:''' Use heuristic predefinition to avoid duplicate preprocessing (e.g. in the merge-and-shrink heuristic) when using the same heuristic multiple times. '''Note 3:''' If you reuse the same landmark count heuristic (using heuristic predefinition) between iterations, the path data (that is, landmark status for each visited state) will be saved between iterations. == Lazy best first search == |
Line 355: | Line 442: |
* `open` (openlist): * `reopen_closed` (bool): reopen closed nodes * `preferred` (list of heuristic): use preferred operators of these heuristics * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost == lazy_greedy == |
* ''open'' (openlist): open list * ''reopen_closed'' (bool): reopen closed nodes * ''preferred'' (list of heuristic): use preferred operators of these heuristics * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter == Greedy search (lazy) == |
Line 367: | Line 455: |
* `evals` (list of scalar evaluator): * `preferred` (list of heuristic): use preferred operators of these heuristics * `reopen_closed` (bool): reopen closed nodes * `boost` (int): boost value for preferred operator open lists * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost == lazy_wastar == |
* ''evals'' (list of scalar evaluator): scalar evaluators * ''preferred'' (list of heuristic): use preferred operators of these heuristics * ''reopen_closed'' (bool): reopen closed nodes * ''boost'' (int): boost value for alternation queues that are restricted to preferred operator nodes * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter '''Open lists:''' In most cases, lazy greedy best first search uses an alternation open list with one queue for each evaluator. If preferred operator heuristics are used, it adds an extra queue for each of these evaluators that includes only the nodes that are generated with a preferred operator. If only one evaluator and no preferred operator heuristic is used, the search does not use an alternation open list but a standard open list with only one queue. == (Weighted) A* search (lazy) == Weighted A* is a special case of lazy best first search. |
Line 380: | Line 470: |
* `evals` (list of scalar evaluator): * `preferred` (list of heuristic): use preferred operators of these heuristics * `reopen_closed` (bool): reopen closed nodes * `boost` (int): boost value for preferred operator open lists * `w` (int): heuristic weight * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `bound` (int): bound on plan cost |
* ''evals'' (list of scalar evaluator): * ''preferred'' (list of heuristic): use preferred operators of these heuristics * ''reopen_closed'' (bool): reopen closed nodes * ''boost'' (int): boost value for preferred operator open lists * ''w'' (int): heuristic weight * ''cost_type'' ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * ''bound'' (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter '''Open lists:''' In the general case, it uses an alternation open list with one queue for each evaluator h that ranks the nodes by g + w * h. If preferred operator heuristics are used, it adds for each of the evaluators another such queue that only inserts nodes that are generated by preferred operators. In the special case with only one evaluator and no preferred operator heuristics, it uses a single queue that is ranked by g + w * h. |
Line 389: | Line 481: |
== g == |
== g-value evaluator == Returns the current g-value of the search. |
Line 396: | Line 488: |
== max == {{{ max(heuristics, cost_type = NORMAL) }}} * `heuristics` (list of heuristic): * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type == pref == |
== Preference evaluator == Returns 0 if preferred is true and 1 otherwise. |
Line 411: | Line 496: |
== sum == {{{ sum(evals) }}} * `evals` (list of scalar evaluator): == weight == {{{ weight(evals, weight) }}} * `evals` (list of scalar evaluator): * `weight` (int): |
== Sum evaluator == Calculates the sum of the sub-evaluators. {{{ sum(evalsat least one scalar evaluator) }}} * ''evalsat least one scalar evaluator'' (list of scalar evaluator): == Weighted evaluator == Multiplies the value of the scalar evaluator with the given weight. {{{ weight(eval, weight) }}} * ''eval'' (scalar evaluator): scalar evaluator * ''weight'' (int): weight |
Line 430: | Line 517: |
== lm_exhaust == |
== Exhaustive Landmarks == Exhaustively checks for each fact if it is a landmark.This check is done using relaxed planning. |
Line 436: | Line 523: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `reasonable_orders` (bool): generate reasonable orders * `only_causal_landmarks` (bool): keep only causal landmarks * `disjunctive_landmarks` (bool): keep disjunctive landmarks * `conjunctive_landmarks` (bool): keep conjunctive landmarks * `no_orders` (bool): discard all orderings * `lm_cost_type` ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment == lm_hm == |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. * ''reasonable_orders'' (bool): generate reasonable orders * ''only_causal_landmarks'' (bool): keep only causal landmarks * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''conjunctive_landmarks'' (bool): keep conjunctive landmarks * ''no_orders'' (bool): discard all orderings * ''lm_cost_type'' ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment '''Relevant options:''' reasonable_orders, only_causal_landmarks == h^m Landmarks == The landmark generation method introduced by Keyder, Richter & Helmert (ECAI 2010). |
Line 450: | Line 542: |
* `m` (int): m (as in h^m) * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `reasonable_orders` (bool): generate reasonable orders * `only_causal_landmarks` (bool): keep only causal landmarks * `disjunctive_landmarks` (bool): keep disjunctive landmarks * `conjunctive_landmarks` (bool): keep conjunctive landmarks * `no_orders` (bool): discard all orderings * `lm_cost_type` ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment == lm_merged == |
* ''m'' (int): subset size (if unsure, use the default of 2) * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. * ''reasonable_orders'' (bool): generate reasonable orders * ''only_causal_landmarks'' (bool): keep only causal landmarks * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''conjunctive_landmarks'' (bool): keep conjunctive landmarks * ''no_orders'' (bool): discard all orderings * ''lm_cost_type'' ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment '''Relevant options:''' m, reasonable_orders, conjunctive_landmarks, no_orders == Merged Landmarks == Merges the landmarks and orderings from the parameter landmarks |
Line 465: | Line 562: |
* `lm_graphs` (list of landmarks graph): * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `reasonable_orders` (bool): generate reasonable orders * `only_causal_landmarks` (bool): keep only causal landmarks * `disjunctive_landmarks` (bool): keep disjunctive landmarks * `conjunctive_landmarks` (bool): keep conjunctive landmarks * `no_orders` (bool): discard all orderings * `lm_cost_type` ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment == lm_rhw == |
* ''lm_graphs'' (list of landmarks graph): * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. * ''reasonable_orders'' (bool): generate reasonable orders * ''only_causal_landmarks'' (bool): keep only causal landmarks * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''conjunctive_landmarks'' (bool): keep conjunctive landmarks * ''no_orders'' (bool): discard all orderings * ''lm_cost_type'' ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment '''Precedence:''' Fact landmarks take precedence over disjunctive landmarks, orderings take precedence in the usual manner (gn > nat > reas > o_reas). '''Relevant options:''' Depends on landmarks '''Note:''' Does not currently support conjunctive landmarks == RHW Landmarks == The landmark generation method introduced by Richter, Helmert and Westphal (AAAI 2008). |
Line 480: | Line 584: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `reasonable_orders` (bool): generate reasonable orders * `only_causal_landmarks` (bool): keep only causal landmarks * `disjunctive_landmarks` (bool): keep disjunctive landmarks * `conjunctive_landmarks` (bool): keep conjunctive landmarks * `no_orders` (bool): discard all orderings * `lm_cost_type` ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment == lm_search == {{{ lm_search(max_depth = 10, num_tries = 10, uniform_sampling = false, cost_type = NORMAL, reasonable_orders = false, only_causal_landmarks = false, disjunctive_landmarks = true, conjunctive_landmarks = true, no_orders = false, lm_cost_type = NORMAL) }}} * `max_depth` (int): max depth * `num_tries` (int): max number of tries * `uniform_sampling` (bool): uniform sampling * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `reasonable_orders` (bool): generate reasonable orders * `only_causal_landmarks` (bool): keep only causal landmarks * `disjunctive_landmarks` (bool): keep disjunctive landmarks * `conjunctive_landmarks` (bool): keep conjunctive landmarks * `no_orders` (bool): discard all orderings * `lm_cost_type` ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment == lm_zg == |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. * ''reasonable_orders'' (bool): generate reasonable orders * ''only_causal_landmarks'' (bool): keep only causal landmarks * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''conjunctive_landmarks'' (bool): keep conjunctive landmarks * ''no_orders'' (bool): discard all orderings * ''lm_cost_type'' ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment '''relevant_options:''' reasonable_orders, only_causal_landmarks, disjunctive_landmarks, no_orders == Zhu/Givan Landmarks == The landmark generation method introduced by Zhu & Givan (ICAPS 2003 Doctoral Consortium). |
Line 511: | Line 603: |
* `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type * `reasonable_orders` (bool): generate reasonable orders * `only_causal_landmarks` (bool): keep only causal landmarks * `disjunctive_landmarks` (bool): keep disjunctive landmarks * `conjunctive_landmarks` (bool): keep conjunctive landmarks * `no_orders` (bool): discard all orderings * `lm_cost_type` ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment |
* ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. * ''reasonable_orders'' (bool): generate reasonable orders * ''only_causal_landmarks'' (bool): keep only causal landmarks * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''conjunctive_landmarks'' (bool): keep conjunctive landmarks * ''no_orders'' (bool): discard all orderings * ''lm_cost_type'' ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment '''Relevant options:''' reasonable_orders, no_orders |
Line 526: | Line 623: |
* `lm_graph` (landmarks graph): * `admissible` (bool): get admissible estimate * `optimal` (bool): optimal cost sharing * `alm` (bool): use action landmarks * `cost_type` ({NORMAL, ONE, PLUSONE}): operator cost adjustment type |
* ''lm_graph'' (landmarks graph): * ''admissible'' (bool): get admissible estimate * ''optimal'' (bool): optimal cost sharing * ''alm'' (bool): use action landmarks * ''cost_type'' ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions. * ''NORMAL'': all actions are accounted for with their real cost * ''ONE'': all actions are accounted for as unit cost * ''PLUSONE'': all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner. Help output finished. Peak memory: 2500 KB /* moin code generated by txt2tags 2.6b (http://txt2tags.sf.net) */ /* cmdline: txt2tags */ |
2011-08-09
Help: Experimental automatically generated documentation.
heuristics
Additive heuristic
add(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: supported
axioms: supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe)
Properties:
admissible: no
consistent: no
safe: yes for tasks without axioms
preferred operators: yes
Blind heuristic
Returns cost of cheapest action for non-goal states, 0 for goal states
blind(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: supported
axioms: supported
Properties:
admissible: yes
consistent: yes
safe: yes
preferred operators: no
Context-enhanced additive heuristic
cea(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: supported
axioms: supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe)
Properties:
admissible: no
consistent: no
safe: no
preferred operators: yes
Causal graph heuristic
cg(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: supported
axioms: supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe)
Properties:
admissible: no
consistent: no
safe: no
preferred operators: yes
FF heuristic
See also LAMA-FF synergy.
ff(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: supported
axioms: supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe)
Properties:
admissible: no
consistent: no
safe: yes for tasks without axioms
preferred operators: yes
Goal count heuristic
goalcount(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: ignored by design
conditional_effects: supported
axioms: supported
Properties:
admissible: no
consistent: no
safe: yes
preferred operators: no
h^m heuristic
hm(m = 2, cost_type = NORMAL)
m (int): subset size
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: ignored
axioms: ignored
Properties:
admissible: yes for tasks without conditional effects or axioms
consistent: yes for tasks without conditional effects or axioms
safe: yes for tasks without conditional effects or axioms
preferred operators: no
Max heuristic
hmax(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: supported
axioms: supported (in the sense that the planner won't complain -- handling of axioms might be very stupid and even render the heuristic unsafe)
Properties:
admissible: yes for tasks without axioms
consistent: yes for tasks without axioms
safe: yes for tasks without axioms
preferred operators: no
Landmark-count heuristic
See also LAMA-FF synergy
lmcount(lm_graph, admissible = false, optimal = false, pref = false, alm = true, cost_type = NORMAL)
lm_graph (landmarks graph): the set of landmarks to use for this heuristic. The set of landmarks can be specified here, or predefined (see LandmarksDefinition).
admissible (bool): get admissible estimate
optimal (bool): use optimal (LP-based) cost sharing (only makes sense with admissible=true)
pref (bool): identify preferred operators
alm (bool): use action landmarks
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Note: to use optimal=true, you must build the planner with USE_LP=1. See LPBuildInstructions. Optimal search: when using landmarks for optimal search (admissible=true), you probably also want to enable the mpd option of the A* algorithm to improve heuristic estimates cost_type parameter: only used when admissible=true (see LandmarksDefinition) Language features supported:
action costs: supported
conditional_effects: supported if admissible=false
axioms: supported if admissible=false (but may behave stupidly and unsave
Properties:
admissible: yes if admissible=true and there are neither conditional effects nor axioms
consistent: no
safe: yes (except maybe on tasks with axioms or when using admissible=true on tasks with conditional effects)
preferred operators: yes (if enabled; see pref_ops option)
Landmark-cut heuristic
lmcut(cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported
conditional_effects: not supported
axioms: not supported
Properties:
admissible: yes
consistent: no
safe: yes
preferred operators: no
Merge-and-shrink heuristic
Note: The numbering of the composition and collapsing options has changed in July 2010. Please adapt them when using old experiment scripts (reduce old value by 1).
mas(max_states, max_states_before_merge, count = 1, merge_strategy = MERGE_LINEAR_CG_GOAL_LEVEL, shrink_strategy = SHRINK_HIGH_F_LOW_H, simplify_labels = true, expensive_statistics = false, merge_mixing_parameter = -1, cost_type = NORMAL)
max_states (int): maximum abstraction size
max_states_before_merge (int): maximum abstraction size for factors of synchronized product
count (int): nr of abstractions to build
merge_strategy ({MERGE_LINEAR_CG_GOAL_LEVEL, MERGE_LINEAR_CG_GOAL_RANDOM, MERGE_LINEAR_GOAL_CG_LEVEL, MERGE_LINEAR_RANDOM, MERGE_DFP, MERGE_LINEAR_LEVEL, MERGE_LINEAR_REVERSE_LEVEL, MERGE_LEVEL_THEN_INVERSE, MERGE_INVERSE_THEN_LEVEL}): merge strategy
shrink_strategy ({SHRINK_HIGH_F_LOW_H, SHRINK_LOW_F_LOW_H, SHRINK_HIGH_F_HIGH_H, SHRINK_RANDOM, SHRINK_DFP, SHRINK_BISIMULATION, SHRINK_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_DFP_ENABLE_GREEDY_BISIMULATION, SHRINK_DFP_ENABLE_FURTHER_LABEL_REDUCTION, SHRINK_DFP_ENABLE_GREEDY_THEN_LABEL_REDUCTION, SHRINK_DFP_ENABLE_LABEL_REDUCTION_THEN_GREEDY, SHRINK_DFP_ENABLE_LABEL_REDUCTION_AND_GREEDY_CHOOSE_MAX, SHRINK_GREEDY_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_BISIMULATION_REDUCING_ALL_LABELS_NO_MEMORY_LIMIT, SHRINK_GREEDY_BISIMULATION_REDUCING_ALL_LABELS_NO_MEMORY_LIMIT}): shrink strategy
simplify_labels (bool): enable label simplification
expensive_statistics (bool): show statistics on "unique unlabeled edges" (WARNING: these are *very* slow -- check the warning in the output)
merge_mixing_parameter (double): merge mixing parameter
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: supported for SHRINK_DFP, SHRINK_BISIMULATION_NO_MEMORY_LIMIT, SHRINK_DFP_ENABLE_GREEDY_BISIMULATION_NO_MEMORY_LIMIT
conditional_effects: not supported
axioms: not supported
Properties:
admissible: yes
consistent: yes
safe: yes
preferred operators: no
IPC-Max Heuristic
max(heuristics, cost_type = NORMAL)
heuristics (list of heuristic):
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Selective-max heuristic
selmax(heuristics, alpha = 1, classifier = NB, conf_threshold = 0.6, training_set = 100, eval_always = 0, random_sel = false, retime = false, sample = Probe, uniform = false, zero_threshold = false, cost_type = NORMAL)
heuristics (list of heuristic): heuristics
alpha (double): alpha
classifier ({NB, AODE}): classifier type
conf_threshold (double): confidence threshold
training_set (int): minimum size of training set
eval_always (int): number of heuristics that should always be evaluated
random_sel (bool): random selection
retime (bool): retime heuristics
sample ({Probe, ProbAStar, PDB}): state space sample type
uniform (bool): uniform sampling
zero_threshold (bool): set threshold constant 0
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Language features supported:
action costs: if supported by all component heuristics
conditional_effects: if supported by all component heuristics
axioms: if supported by all component heuristics
Properties:
admissible: if all component heuristics are admissible
consistent: no
safe: if all component heuristics are safe
preferred operators: no (not yet)
openlists
Alternation open list
alternates between several open lists.
alt(openlists, boost = 0)
openlists (list of openlist): sub open lists
boost (int): boost value for sub-open-lists that are restricted to preferred operator nodes
Preferred operators: Preferred operators are only taken from sub-open-lists that do not consider the evaluated state a dead end. Dead ends: A state is considered a dead end if either all alternated open lists agree that it is a dead end or at least one reliable open list considers is a dead end. A state is never inserted into a sub-open-list that considers it a dead end. Note: The treatment of dead ends is different from the one described in the [http://tr.informatik.uni-freiburg.de/reports/report258/report00258.ps.gz technical report] "The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning (Extended Version)" (Department of Computer Science at Freiburg University, No. 258, 2010)
Pareto open list
Selects one of the Pareto-optimal (regarding the sub-evaluators) entries for removal.
pareto(evals, pref_only = false, state_uniform_selection = false)
evals (list of scalar evaluator): scalar evaluators
pref_only (bool): insert only nodes generated by preferred operators
state_uniform_selection (bool): When removing an entry, we select a non-dominated bucket and return its oldest entry. If this option is false, we select uniformly from the non-dominated buckets; if the option is true, we weight the buckets with the number of entries.
Standard open list
Standard open list that uses a single evaluator
single(eval, pref_only = false)
eval (scalar evaluator): scalar evaluator
pref_only (bool): insert only nodes generated by preferred operators
Bucket-based open list
Bucket-based open list implementation that uses a single evaluator
single_buckets(eval, pref_only = false)
eval (scalar evaluator): scalar evaluator
pref_only (bool): insert only nodes generated by preferred operators
Tie-breaking open list
tiebreaking(evals, pref_only = false, unsafe_pruning = true)
evals (list of scalar evaluator): scalar evaluators
pref_only (bool): insert only nodes generated by preferred operators
unsafe_pruning (bool): allow unsafe pruning when the main evaluator regards a state a dead end
search engines
A* search (eager)
A* is a special case of eager best first search that uses g+h as f-function. We break ties using the evaluator. Closed nodes are re-opened.
astar(eval, pathmax = false, mpd = false, cost_type = NORMAL, bound = 2147483647)
eval (scalar evaluator): evaluator for h-value
pathmax (bool): use pathmax correction
mpd (bool): use multi-path dependence (LM-A*)
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
mpd option: This option is currently only present for the A* algorithm and not for the more general eager search, because the current implementation of multi-path depedence does not support general open lists.
Eager best first search
eager(open, reopen_closed = false, pathmax = false, f_eval = 0, preferred = [], cost_type = NORMAL, bound = 2147483647)
open (openlist): open list
reopen_closed (bool): reopen closed nodes
pathmax (bool): use pathmax correction
f_eval (scalar evaluator): set evaluator for jump statistics
preferred (list of heuristic): use preferred operators of these heuristics
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
Greedy search (eager)
eager_greedy(evals, preferred = [], boost = 0, cost_type = NORMAL, bound = 2147483647)
evals (list of scalar evaluator): scalar evaluators
preferred (list of heuristic): use preferred operators of these heuristics
boost (int): boost value for preferred operator open lists
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
Open list: In most cases, eager greedy best first search uses an alternation open list with one queue for each evaluator. If preferred operator heuristics are used, it adds an extra queue for each of these evaluators that includes only the nodes that are generated with a preferred operator. If only one evaluator and no preferred operator heuristic is used, the search does not use an alternation open list but a standard open list with only one queue. Closed nodes: Closed node are not re-opened
Enforced hill-climbing
ehc(h, bfs_use_cost = false, preferred_usage = PRUNE_BY_PREFERRED, preferred = [], cost_type = NORMAL, bound = 2147483647)
h (heuristic): heuristic
bfs_use_cost (bool): use cost for bfs
preferred_usage ({PRUNE_BY_PREFERRED, RANK_PREFERRED_FIRST}): preferred operator usage
preferred (list of heuristic): use preferred operators of these heuristics
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
Iterated search
iterated(engine_configs, pass_bound = true, repeat_last = false, continue_on_fail = false, continue_on_solve = true, plan_counter = 0, cost_type = NORMAL, bound = 2147483647)
engine_configs (list of parse tree (this just means the input is parsed at a later point. The real type is probably a search engine.)): list of search engines for each phase
pass_bound (bool): use bound from previous search. The bound is the real cost of the plan found before, regardless of the cost_type parameter.
repeat_last (bool): repeat last phase of search
continue_on_fail (bool): continue search after no solution found
continue_on_solve (bool): continue search after solution found
plan_counter (int): start enumerating plans with plan_counter + 1
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
Note 1: We do no cache values between search iterations at the moment. If you perform a LAMA-style iterative search, heuristic values will be computed multiple times. Adding heuristic caching is [http://issues.fast-downward.org/issue108 issue108]. Note 2: Use heuristic predefinition to avoid duplicate preprocessing (e.g. in the merge-and-shrink heuristic) when using the same heuristic multiple times. Note 3: If you reuse the same landmark count heuristic (using heuristic predefinition) between iterations, the path data (that is, landmark status for each visited state) will be saved between iterations.
Lazy best first search
lazy(open, reopen_closed = false, preferred = [], cost_type = NORMAL, bound = 2147483647)
open (openlist): open list
reopen_closed (bool): reopen closed nodes
preferred (list of heuristic): use preferred operators of these heuristics
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
Greedy search (lazy)
lazy_greedy(evals, preferred = [], reopen_closed = false, boost = 1000, cost_type = NORMAL, bound = 2147483647)
evals (list of scalar evaluator): scalar evaluators
preferred (list of heuristic): use preferred operators of these heuristics
reopen_closed (bool): reopen closed nodes
boost (int): boost value for alternation queues that are restricted to preferred operator nodes
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
Open lists: In most cases, lazy greedy best first search uses an alternation open list with one queue for each evaluator. If preferred operator heuristics are used, it adds an extra queue for each of these evaluators that includes only the nodes that are generated with a preferred operator. If only one evaluator and no preferred operator heuristic is used, the search does not use an alternation open list but a standard open list with only one queue.
(Weighted) A* search (lazy)
Weighted A* is a special case of lazy best first search.
lazy_wastar(evals, preferred = [], reopen_closed = true, boost = 1000, w = 1, cost_type = NORMAL, bound = 2147483647)
evals (list of scalar evaluator):
preferred (list of heuristic): use preferred operators of these heuristics
reopen_closed (bool): reopen closed nodes
boost (int): boost value for preferred operator open lists
w (int): heuristic weight
cost_type ({NORMAL, ONE, PLUSONE}): operator cost adjustment type
bound (int): depth bound on g-values. Cutoffs are always performed according to the real cost, regardless of the cost_type parameter
Open lists: In the general case, it uses an alternation open list with one queue for each evaluator h that ranks the nodes by g + w * h. If preferred operator heuristics are used, it adds for each of the evaluators another such queue that only inserts nodes that are generated by preferred operators. In the special case with only one evaluator and no preferred operator heuristics, it uses a single queue that is ranked by g + w * h.
scalar evaluators
g-value evaluator
Returns the current g-value of the search.
g()
Preference evaluator
Returns 0 if preferred is true and 1 otherwise.
pref()
Sum evaluator
Calculates the sum of the sub-evaluators.
sum(evalsat least one scalar evaluator)
evalsat least one scalar evaluator (list of scalar evaluator):
Weighted evaluator
Multiplies the value of the scalar evaluator with the given weight.
weight(eval, weight)
eval (scalar evaluator): scalar evaluator
weight (int): weight
landmarks graphs
Exhaustive Landmarks
Exhaustively checks for each fact if it is a landmark.This check is done using relaxed planning.
lm_exhaust(cost_type = NORMAL, reasonable_orders = false, only_causal_landmarks = false, disjunctive_landmarks = true, conjunctive_landmarks = true, no_orders = false, lm_cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
reasonable_orders (bool): generate reasonable orders
only_causal_landmarks (bool): keep only causal landmarks
disjunctive_landmarks (bool): keep disjunctive landmarks
conjunctive_landmarks (bool): keep conjunctive landmarks
no_orders (bool): discard all orderings
lm_cost_type ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment
Relevant options: reasonable_orders, only_causal_landmarks
h^m Landmarks
The landmark generation method introduced by Keyder, Richter & Helmert (ECAI 2010).
lm_hm(m = 2, cost_type = NORMAL, reasonable_orders = false, only_causal_landmarks = false, disjunctive_landmarks = true, conjunctive_landmarks = true, no_orders = false, lm_cost_type = NORMAL)
m (int): subset size (if unsure, use the default of 2)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
reasonable_orders (bool): generate reasonable orders
only_causal_landmarks (bool): keep only causal landmarks
disjunctive_landmarks (bool): keep disjunctive landmarks
conjunctive_landmarks (bool): keep conjunctive landmarks
no_orders (bool): discard all orderings
lm_cost_type ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment
Relevant options: m, reasonable_orders, conjunctive_landmarks, no_orders
Merged Landmarks
Merges the landmarks and orderings from the parameter landmarks
lm_merged(lm_graphs, cost_type = NORMAL, reasonable_orders = false, only_causal_landmarks = false, disjunctive_landmarks = true, conjunctive_landmarks = true, no_orders = false, lm_cost_type = NORMAL)
lm_graphs (list of landmarks graph):
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
reasonable_orders (bool): generate reasonable orders
only_causal_landmarks (bool): keep only causal landmarks
disjunctive_landmarks (bool): keep disjunctive landmarks
conjunctive_landmarks (bool): keep conjunctive landmarks
no_orders (bool): discard all orderings
lm_cost_type ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment
Precedence: Fact landmarks take precedence over disjunctive landmarks, orderings take precedence in the usual manner (gn > nat > reas > o_reas). Relevant options: Depends on landmarks Note: Does not currently support conjunctive landmarks
RHW Landmarks
The landmark generation method introduced by Richter, Helmert and Westphal (AAAI 2008).
lm_rhw(cost_type = NORMAL, reasonable_orders = false, only_causal_landmarks = false, disjunctive_landmarks = true, conjunctive_landmarks = true, no_orders = false, lm_cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
reasonable_orders (bool): generate reasonable orders
only_causal_landmarks (bool): keep only causal landmarks
disjunctive_landmarks (bool): keep disjunctive landmarks
conjunctive_landmarks (bool): keep conjunctive landmarks
no_orders (bool): discard all orderings
lm_cost_type ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment
relevant_options: reasonable_orders, only_causal_landmarks, disjunctive_landmarks, no_orders
Zhu/Givan Landmarks
The landmark generation method introduced by Zhu & Givan (ICAPS 2003 Doctoral Consortium).
lm_zg(cost_type = NORMAL, reasonable_orders = false, only_causal_landmarks = false, disjunctive_landmarks = true, conjunctive_landmarks = true, no_orders = false, lm_cost_type = NORMAL)
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
reasonable_orders (bool): generate reasonable orders
only_causal_landmarks (bool): keep only causal landmarks
disjunctive_landmarks (bool): keep disjunctive landmarks
conjunctive_landmarks (bool): keep conjunctive landmarks
no_orders (bool): discard all orderings
lm_cost_type ({NORMAL, ONE, PLUSONE}): landmark action cost adjustment
Relevant options: reasonable_orders, no_orders
synergys
lm_ff_syn
lm_ff_syn(lm_graph, admissible = false, optimal = false, alm = true, cost_type = NORMAL)
lm_graph (landmarks graph):
admissible (bool): get admissible estimate
optimal (bool): optimal cost sharing
alm (bool): use action landmarks
cost_type ({NORMAL, ONE, PLUSONE}): Action cost adjustment type. No matter what this setting is, axioms will always be considered as actions of cost 0 by the heuristics that treat axioms as actions.
NORMAL: all actions are accounted for with their real cost
ONE: all actions are accounted for as unit cost
PLUSONE: all actions are accounted for as their real cost +1 (except if all actions have original cost 1, in which case cost 1 is used). This is the behaviour known from the LAMA planner.
Help output finished. Peak memory: 2500 KB