|
Size: 4411
Comment:
|
Size: 3043
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 12: | Line 12: |
| lm_exhaust(reasonable_orders=false, only_causal_landmarks=false, disjunctive_landmarks=true, conjunctive_landmarks=true, no_orders=false) | lm_exhaust(only_causal_landmarks=false) |
| Line 15: | Line 15: |
| * ''reasonable_orders'' (bool): generate reasonable orders | |
| Line 17: | Line 16: |
| * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''conjunctive_landmarks'' (bool): keep conjunctive landmarks * ''no_orders'' (bool): discard all orderings '''Relevant options:''' reasonable_orders, only_causal_landmarks |
|
| Line 27: | Line 21: |
| lm_hm(m=2, reasonable_orders=false, only_causal_landmarks=false, disjunctive_landmarks=true, conjunctive_landmarks=true, no_orders=false) | lm_hm(m=2, conjunctive_landmarks=true, use_orders=true) |
| Line 32: | Line 26: |
| * ''reasonable_orders'' (bool): generate reasonable orders * ''only_causal_landmarks'' (bool): keep only causal landmarks * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks |
|
| Line 36: | Line 27: |
| * ''no_orders'' (bool): discard all orderings '''Relevant options:''' m, reasonable_orders, conjunctive_landmarks, no_orders |
* ''use_orders'' (bool): use orders between landmarks |
| Line 42: | Line 31: |
| lm_merged(lm_factories, reasonable_orders=false, only_causal_landmarks=false, disjunctive_landmarks=true, conjunctive_landmarks=true, no_orders=false) | lm_merged(lm_factories) |
| Line 47: | Line 36: |
| * ''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 |
|
| Line 53: | Line 37: |
'''Relevant options:''' Depends on landmarks |
|
| Line 60: | Line 42: |
| == HPS Orders == Adds reasonable orders and obedient reasonable orders described in the following paper * Jörg Hoffman, JuliePorteous and LauraSebastia.<<BR>> [[https://jair.org/index.php/jair/article/view/10390/24882|Ordered Landmarks in Planning]].<<BR>> ''Journal of Artificial Intelligence Research'' 22:215-278. 2004. {{{ lm_reasonable_orders_hps(lm_factory) }}} * ''lm_factory'' ([[Doc/LandmarkFactory|LandmarkFactory]]): Language features supported: * '''conditional_effects:''' supported if subcomponent supports them |
|
| Line 63: | Line 59: |
| lm_rhw(reasonable_orders=false, only_causal_landmarks=false, disjunctive_landmarks=true, conjunctive_landmarks=true, no_orders=false) | lm_rhw(disjunctive_landmarks=true, use_orders=true, only_causal_landmarks=false) |
| Line 67: | Line 63: |
| * ''reasonable_orders'' (bool): generate reasonable orders | * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''use_orders'' (bool): use orders between landmarks |
| Line 69: | Line 66: |
| * ''disjunctive_landmarks'' (bool): keep disjunctive landmarks * ''conjunctive_landmarks'' (bool): keep conjunctive landmarks * ''no_orders'' (bool): discard all orderings '''Relevant Options:''' reasonable_orders, only_causal_landmarks, disjunctive_landmarks, no_orders |
|
| Line 79: | Line 71: |
| lm_zg(reasonable_orders=false, only_causal_landmarks=false, disjunctive_landmarks=true, conjunctive_landmarks=true, no_orders=false) | lm_zg(use_orders=true) |
| Line 83: | Line 75: |
| * ''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 '''Relevant options:''' reasonable_orders, no_orders |
* ''use_orders'' (bool): use orders between landmarks |
Contents
A landmark factory specification is either a newly created instance or a landmark factory that has been defined previously. This page describes how one can specify a new landmark factory instance. For re-using landmark factories, see Landmark Predefinitions.
This plugin type can be predefined using --landmarks.
Exhaustive Landmarks
Exhaustively checks for each fact if it is a landmark.This check is done using relaxed planning.
lm_exhaust(only_causal_landmarks=false)
only_causal_landmarks (bool): keep only causal landmarks
Language features supported:
conditional_effects: ignored, i.e. not supported
h^m Landmarks
The landmark generation method introduced by Keyder, Richter & Helmert (ECAI 2010).
lm_hm(m=2, conjunctive_landmarks=true, use_orders=true)
m (int): subset size (if unsure, use the default of 2)
conjunctive_landmarks (bool): keep conjunctive landmarks
use_orders (bool): use orders between landmarks
Merged Landmarks
Merges the landmarks and orderings from the parameter landmarks
lm_merged(lm_factories)
lm_factories (list of LandmarkFactory):
Precedence: Fact landmarks take precedence over disjunctive landmarks, orderings take precedence in the usual manner (gn > nat > reas > o_reas).
Note: Does not currently support conjunctive landmarks
Language features supported:
conditional_effects: supported if all components support them
HPS Orders
Adds reasonable orders and obedient reasonable orders described in the following paper
Jörg Hoffman, JuliePorteous and LauraSebastia.
Ordered Landmarks in Planning.
Journal of Artificial Intelligence Research 22:215-278. 2004.
lm_reasonable_orders_hps(lm_factory)
lm_factory (LandmarkFactory):
Language features supported:
conditional_effects: supported if subcomponent supports them
RHW Landmarks
The landmark generation method introduced by Richter, Helmert and Westphal (AAAI 2008).
lm_rhw(disjunctive_landmarks=true, use_orders=true, only_causal_landmarks=false)
disjunctive_landmarks (bool): keep disjunctive landmarks
use_orders (bool): use orders between landmarks
only_causal_landmarks (bool): keep only causal landmarks
Language features supported:
conditional_effects: supported
Zhu/Givan Landmarks
The landmark generation method introduced by Zhu & Givan (ICAPS 2003 Doctoral Consortium).
lm_zg(use_orders=true)
use_orders (bool): use orders between landmarks
Language features supported:
conditional_effects: We think they are supported, but this is not 100% sure.