← All parts of this equation

Equation 8 · Part 5 · Comparing the Main Approaches to AI Agent Architecture

Symbol pi_worker^(i)

g(i)∼πsuper(g∣task),at(i)∼πworker(i)(a∣o≤t(i), ht(i), g(i)).g^{(i)} \sim \pi_{\text{super}}(g \mid \text{task}), \qquad a_t^{(i)} \sim \pi_{\text{worker}}^{(i)}\bigl(a \mid o_{\le t}^{(i)},\ h_t^{(i)},\ g^{(i)}\bigr).
πworker(i)\pi_{\text{worker}}^{(i)}

What this part means

piwi_worker^(i) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Its job in the formula

piwi_worker^(i) is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

The passage around this formula

Formally, the supervisor’s policy chooses a subgoal for each worker, and each worker then runs its own instance of the general loop against a history that never touches its siblings’: g(i)∼πsuper(g∣task),at(i)∼πworker(i)(a∣o≤t(i), ht(i), g(i))g^{(i)} \sim \pi_{\text{super}}(g \mid \text{task}), \qquad a_t^{(i)} \sim \pi_{\text{worker}}^{(i)}\bigl(a \mid o_{\le t}^{(i)},\ h_t^{(i)},\ g^{(i)}\bigr). Because h(i)h^{(i)} and h(j)h^{(j)} are disjoint by construction, worker i ’s error cannot enter worker j ’s context directly — it can only reach the supervisor, and only in whatever compressed form the worker chooses to report. That disjointness is the formal reason this pattern offers stronger containment than the single loop for genuinely independent subtasks, and it is also exactly why the pattern is documented to struggle when subtasks are not independent: the architecture has no channel for…

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

See this notation across published equations →

Sources cited in the article section

These citations provide research context; check each source for the exact claim it supports.