Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
doc:reasoning_about_actions [2013/10/22 14:21] – [Reasoning about action requirements] admindoc:reasoning_about_actions [2014/08/28 13:24] – [Query for a sequence of actions that fulfils the ordering constraints] admin
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',