The Object Centered Language Manual
OCLh - Version1.2

Planform Home

4. Task Specification

After a domain model has been built up, we can compose task specifications for a planner to solve. The form of a task specification depends on the planner used. Normally it is an initial state together with some goals to achieve and/or some high level tasks to perform.

For example, it could have the form planner_task(goal, initial-state), where a goal is a list of object expressions, as in the following task:

  planner_task(
          [se(gripper,g, [free(g)]),
           se(block,b1,[on_block(b1,b3)]) ],
          [ss(gripper, g,[free(g)]),
           ss(block,b1,[on_table(b1),clear(b1)]),
           ss(block,b2,[on_block(b2,b3),clear(b2)]),
           ss(block,b3,[on_table(b3)])]).

prev content next Feedback:t.l.mccluskey@hud.ac.uk