Task Planning
How it works
1. Representation: the world state is described by a set of predicates/facts, and actions as operators with preconditions and effects (added and deleted facts). 2. Goal specification: the goal is a partial description of the desired state. 3. Search: the planner searches the state space (forward, backward, or in plan space), often with heuristics, to find a sequence of actions leading from the initial state to the goal. 4. Decomposition (HTN): compound tasks are recursively decomposed into subtasks down to primitive actions. 5. Motion integration (TAMP): the task plan is checked for geometric feasibility by a motion planner; infeasible steps trigger backtracking and replanning. 6. LLM variant: a large language model generates candidate steps in natural language, and a grounding mechanism (e.g. skill value functions) selects actions that are actually feasible for the given robot.
Problem solved
How to automatically translate a high-level goal ("make coffee", "clear the table") into a concrete, executable sequence of actions, accounting for preconditions, effects and environment constraints โ without hand-coding every situation. Task planning handles the decision layer of "what to do", decoupled from "how to physically execute it".
Components
A set of predicates/facts describing the current world state (e.g. at(robot, kitchen), holding(cup)).
Official
Action schemas with preconditions and effects (added/deleted facts), e.g. in STRIPS/PDDL.
Official
A partial description of the desired final state the plan must achieve.
The engine that searches the state or plan space (e.g. with heuristics) to find a valid plan. Variants: classical, HTN, and LLM-based planners.
Official
The resulting ordered sequence (or partial order / policy) of actions leading to the goal.
Evolution
Fikes and Nilsson at SRI International define STRIPS; its language became the basis for most modern planning languages.
Drew McDermott and colleagues introduce PDDL for the International Planning Competition, standardizing planning domain descriptions.
Garrett et al. formalize and organize methods for integrating task planning with motion planning in robotics.
Ahn et al. (Google) combine LLM knowledge with skill value functions to produce feasible high-level plans for robots.
Hyperparameters (configurable axes)
How far into the future (how many steps) the planner reasons.
Search method: forward / backward / plan-space, with or without heuristics.
The abstraction level of operators โ from coarse tasks to fine primitive actions.
Computational complexity
Time complexity: PSPACE-complete.
Hardware requirements
Classical and hierarchical planning is symbolic search โ primarily a CPU operation, independent of accelerators.
LLM-based variants require a GPU for inference of the model that generates plan steps.