Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
doc:reasoning_about_actions [2013/10/22 14:21] – [Reasoning about action requirements] admin | doc:reasoning_about_actions [2014/08/28 13:24] – [Query for a sequence of actions that fulfils the ordering constraints] admin |
---|
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', |