Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		Previous revision
Next revisionBoth sides next revision
doc:reasoning_about_actions [2013/04/22 08:34] – created admindoc:reasoning_about_actions [2014/08/28 13:24] – [Query for a sequence of actions that fulfils the ordering constraints] admin
Line 4: Line 4:
 The knowrob_tutorial package contains an example task description for making pancakes. You can start the system for this tutorial using the following commands: The knowrob_tutorial package contains an example task description for making pancakes. You can start the system for this tutorial using the following commands:
 <code> <code>
- roscd knowrob_tutorial + roscd knowrob_basics_tutorial 
- rosrun rosprolog rosprolog knowrob_tutorial+ rosrun rosprolog rosprolog knowrob_basics_tutorial
  ?- owl_parse('owl/pancake-making.owl', false, false, true).  ?- owl_parse('owl/pancake-making.owl', false, false, true).
 </code> </code>
Line 46: Line 46:
 The plan_subevents(Super, Sub) predicate reads the sub-actions of a plan and applies topological sorting based on the partial ordering constraints between the sub-actions to generate a sequence of actions that complies with these constraints: The plan_subevents(Super, Sub) predicate reads the sub-actions of a plan and applies topological sorting based on the partial ordering constraints between the sub-actions to generate a sequence of actions that complies with these constraints:
 <code> <code>
- ?- plan_subevents(pancake:'MakingPancakes', SEs).+ ?- plan_subevents(pancake:'MakingPancakes', Sub).
  Sub = ['http://ias.cs.tum.edu/kb/pancake-making.owl#CrackingAnEgg',  Sub = ['http://ias.cs.tum.edu/kb/pancake-making.owl#CrackingAnEgg',
         'http://ias.cs.tum.edu/kb/pancake-making.owl#MixFlourAndMilk',         'http://ias.cs.tum.edu/kb/pancake-making.owl#MixFlourAndMilk',
Line 187: Line 187:
  
 ===== Reasoning about action requirements ===== ===== Reasoning about action requirements =====
-Actions can have prerequisites in terms of components or capabilities a robot needs to have in order to execute them. The [http://ros.org/wiki/mod_srdl Semantic Robot Description Language] allows to describe robot components, robot capabilities, and dependencies of actions. +Actions can have prerequisites in terms of components or capabilities a robot needs to have in order to execute them. The [[http://ros.org/wiki/mod_srdl|Semantic Robot Description Language]] allows to describe robot components, robot capabilities, and dependencies of actions. 
  
 The following are just some examples, a full overview of SRDL can be found in the [[SRDL2_Tutorial|tutorial]]. The following are just some examples, a full overview of SRDL can be found in the [[SRDL2_Tutorial|tutorial]].