eProPlanM

, Last updated by serban, on Wed, 10/06/2010 - 13:33

Updated at 22.March.2010eProPlan-M: A plug-in to edit the task/method decompositions that are used by our HTN-Planning approach.

To do planning with HTNs we have to model a set of tasks: the end-user chooses one for planning (indirectly via choosing a goal), when he presses the plan button in eProPlan-P.
Each task has a set of methods that can solve the task. In the Ontology this is modeled via the objectProperty solvedBy. This plugin offers the Task/Method decomposition view to allow easy editing.
Each method has a condition (editable via condition/contribution View, same syntax as operator condition premisses, no conclusion), that have to be satisfied to choose a method. Applying a method means decomposing it into a sequence of subtasks or operator(-application)s. This is modelled with the step1 , ..., stepn subObject property of decomposedTo. This plugin offers the Task/Method decomposition view to allow easy editing. This is easiest understood as a very powerful grammar (we have first-order logic conditions on grammar rules and parameter passing, editable in the Method Bindings View, so we have a turing-machine equivalent grammar formalism):

  • tasks are non-terminal symbols,
  • operators are terminal symbols,
  • methods are the grammar rules,
  • the plans (workflows) are the words in the language specified by this grammar,
  • planning is enumerating all words in the language

Added at 24.Feb.2010

Figure 1: The eProPlanM Tab to Model Tasks and Methods for HTN planning

eProPlan-M tab layout for download here.