Equation 5 · Comparing the Main Approaches to Robotics and Embodied AI
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol a_1:H
:H appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.
Symbol E_hatp_θ
atp_θ appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.
Symbol t
t appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.
Symbol H
H appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.
Symbol gamma^t
gamm appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.
Symbol r
r appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.
Symbol s_t
appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.
Symbol a_t
appears inside an expected value, so its contribution is averaged under the distribution or condition shown by that operator.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →subscript
The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.
superscript
A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.
See an illustrated explanation →Starting index or lower bound: t=1
This label says where the repeated addition, multiplication, or accumulation starts. Read its value or condition together with the article’s description of the index.
Ending index or upper bound: H
This label says where the repeated addition, multiplication, or accumulation stops. It sets the last term or end of the range.
How to interpret it
Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
Nothing in this update requires knowing or estimating p(s' s, a) ; it only requires having experienced (s, a, r, s') . A model-based approach instead fits an explicit dynamics model — a “world model” — and plans against it directly: . A comprehensive survey of the model-based literature frames the trade this way: fitting and planning against typically buys sample efficiency, because every transition teaches the model something reusable across many hypothetical future plans rather than updating one value estimate, and it buys interpretability, because the model can be queried and its predictions checked against reality…
Read the full surrounding passage
Nothing in this update requires knowing or estimating p(s' s, a) ; it only requires having experienced (s, a, r, s') . A model-based approach instead fits an explicit dynamics model — a “world model” — and plans against it directly: . A comprehensive survey of the model-based literature frames the trade this way: fitting and planning against typically buys sample efficiency, because every transition teaches the model something reusable across many hypothetical future plans rather than updating one value estimate, and it buys interpretability, because the model can be queried and its predictions checked against reality independent of the policy it supports; the cost is that policy quality is now bounded by model accuracy, and errors in compound over the planning horizon H in ways that are hard to detect from the outside [ 6 ] . Classical robotics has practiced a version of this for decades without calling it “model-based reinforcement learning”: model-predictive control on the MIT Cheetah 3 solves a convex optimization over ground reaction forces against a simplified but explicit rigid-body dynamics model, to optimality, in well under half a millisecond per solve at 20 to 30 hertz, producing trot, bound, pace and full three-dimensional gallop gaits on real hardware [ 10 ] . The model there is hand-derived physics rather than a learned network, but the structural bet is the same one Moerland and colleagues describe: an explicit, checkable model of dynamics, planned against at run time.
Sources cited in the surrounding passage
- [6] Model-Based Reinforcement Learning: A Survey ↗
- [10] Dynamic Locomotion in the MIT Cheetah 3 Through Convex Model-Predictive Control ↗
These citations give research context. Read each source to check which claims it supports.
Return to Comparing the Main Approaches to Robotics and Embodied AI