Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
documentation:skiros:skill_description [2023/06/26 12:36] – pontusr | documentation:skiros:skill_description [2023/06/26 12:39] (current) – pontusr | ||
---|---|---|---|
Line 55: | Line 55: | ||
</ | </ | ||
- | A precondition for a skill with this skill description will then be that param1 is related to param2 with a hasA relation. This can be used to infer parameters from the world model, an example of this can be seen in [[infer_parameter|https:// | + | A precondition for a skill with this skill description will then be that param1 is related to param2 with a hasA relation. This can be used to infer parameters from the world model, an example of this can be seen in [[https:// |
The relationship between parameters specified can't be overly complicated because then SkiROS will not be able to infer them correctly. Exactly when SkiROS fails to infer parameters is unknown at the moment. A normal relationship as above and chained relationships are however fine. When several elements are related to several other elements it gets more hairy. | The relationship between parameters specified can't be overly complicated because then SkiROS will not be able to infer them correctly. Exactly when SkiROS fails to infer parameters is unknown at the moment. A normal relationship as above and chained relationships are however fine. When several elements are related to several other elements it gets more hairy. | ||
Line 64: | Line 64: | ||
<cli> | <cli> | ||
- | self.addHoldCondition(""" | + | |
- | <\cli> | + | </cli> |
===== Post-conditions ===== | ===== Post-conditions ===== | ||
- | A post condition is a condition which needs to be true when the skill has concluded. These are primarily used for skill planning. | + | A post condition is a condition which needs to be true when the skill has concluded. These are primarily used for skill planning. |
+ | |||
+ | < | ||
+ | self.addPostCondition(""" | ||
+ | </ |