Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
doc:reasoning_about_actions [2014/06/05 11:38] – external edit 127.0.0.1 | 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', |