---
title: Backward Goal Decomposition
url: https://www.emergentmind.com/topics/backward-goal-decomposition
type: topic
---

# Backward Goal Decomposition

Backward goal decomposition refers to the family of algorithmic strategies and formal techniques that approach planning, reasoning, or learning by starting from a terminal goal state and decomposing it into a sequence or tree of necessary subgoals or precursor states, rather than proceeding incrementally from the initial state toward the goal. This paradigm, found across logic, learning, and sequential decision-making, is particularly suited to settings with sparse rewards, asymmetries, or natural task bottlenecks, and has been instantiated in systems for large language model (LLM) planning, curriculum design in reinforcement learning, program analysis, and structured natural language reasoning.

## 1. Formal Principles of Backward Goal Decomposition

At its core, backward goal decomposition operates by recursively breaking down a high-level goal $G$ into intermediary actions and subgoals whose satisfaction is necessary and sufficient for the parent goal to be achieved. In LLM-based planning formalized by "Thinking Forward and Backward: Effective Backward Planning with Large Language Models," a text-based planning problem is represented as $P = (s_0, g, O)$: an initial state $s_0$, a goal state $g$, and a set of operators $O$. A plan is a sequence $(a_0, a_1, \ldots, a_{T-1})$ mapping $s_0 \to \cdots \to g$.

Backward decomposition considers the "flipped" problem $P^{-} = (g, s_0, O^{-})$, with $g$ as start, $s_0$ as goal, and inverted operators $O^{-}$. The decomposition process, rather than constructing a plan from the initial state forward, works from $g$ recursively through $O^{-}$, thereby generating a plan that, when reversed, presents a feasible trajectory from $s_0$ to $g$ [2411.01790].

In the BAR agent for Minecraft, backward decomposition is performed by a decomposition operator $\mathrm{Decompose}: \mathcal{G} \to (S, \{g_1, ..., g_m\})$, which for any goal $G$ yields a one-step synthesis action $S$ realizing $G$ (given its preconditions), and a set of new subgoals necessary for $S$ to be executable. Recursive invocation of $\mathrm{Decompose}$ constructs a full plan, maintained as a stack of steps for execution in forward order [2505.14079].

Backward decomposition also arises in symbolic reasoning, as in SLD resolution (logic programming), where the initial query is recursively resolved against rules, always operating toward initial facts via substitution, and in program analysis through backward collecting semantics on Horn clauses [2402.12806, 1707.01277].

## 2. Algorithmic Realizations and Pseudocode

The mechanics of backward goal decomposition differ across domains but share several algorithmic motifs: recursive subgoal expansion, state consistency enforcement, memory augmentation for subdecomposition reuse, and bi-directional search strategies.

**LLM Flip-then-Forward Planning** [2411.01790]:

- Construct both $P$ and its flipped version $P^{-}$.
- With equal probability, sample a forward plan either on $P$ (from $s_0$) or on $P^{-}$ (from $g$), where the latter is reversed and its operators inverted to fit the original specification.
- Aggregate all candidate plans in a pool $\mathcal{C}$ and self-verify correctness, selecting the optimal plan accordingly.

**BAR Recursive Goal Decomposition** [2505.14079]:

```
GoalQueue ← [G]        # FIFO for subgoals
StepStack ← []         # LIFO for steps

while GoalQueue not empty:
    G_curr ← pop_front(GoalQueue)
    (S, SubGoals) ← Decompose(G_curr)
    push(StepStack, S)
    for g in SubGoals:
        push_back(GoalQueue, g)
        
P ← []  # planned steps
while StepStack not empty:
    S ← pop(StepStack)
    append(P, S)
return P
```

**SymBa (Symbolic Backward Chaining with LLMs)** [2402.12806]:

- Maintain a fact/rule database $D$ and natural-language context $C$.
- For current goals $G$, select a literal $A_k$.
- Try to resolve $A_k$ symbolically with $D$; if not possible, invoke an LLM to generate a plausible clause, then retry recursively, ensuring SLD completeness.

**Backward Reachability Curriculum** [1806.06161]:

- Iteratively construct the backward reachable set (BRS) from the goal via approximate dynamics.
- Sample states from BRS as new starting states for policy training.
- Expand coverage backward repeatedly until the initial state distribution is enveloped.

These schemes enforce correctness and coverage by verifying plan feasibility and incorporating learned or symbolic memory for subgoal decompositions.

## 3. Theoretical Implications and Bias Analysis

Backward goal decomposition leverages intrinsic asymmetries in planning complexity. In LLMs, left-to-right generative bias and prior-driven initial state regularities mean that native backward generation pe

Source: https://www.emergentmind.com/topics/backward-goal-decomposition