Intuition The One Core Idea
A neural network is a big list of numbers (its "weights"). When you teach it a new task, you nudge those numbers , but the very same numbers were also holding the memory of the old task — so nudging them for the new lesson quietly erases the old one. Continual learning is the art of nudging the numbers for the new task while protecting the ones that still remember the old tasks.
This page assumes you have never seen a single symbol from the parent note. We build each one from nothing, anchor it to a picture, and only then use it. Read top to bottom — nothing appears before it is earned.
Before any Greek letters, picture a machine with knobs.
A model is a machine that takes an input (a picture, a sentence) and produces an output (a label like "cat"). Inside, it has thousands of little knobs . Turning the knobs changes what output you get. Learning = finding the right knob settings.
θ
The symbol ==θ == (Greek letter "theta") is the plain-words phrase "the current settings of all the knobs, written as one long list of numbers."
Picture: the row of dials in the figure above.
Why the topic needs it: every task the model learns is stored in these numbers . Forgetting happens because the knobs get re-turned. You cannot talk about forgetting without a name for "the thing that gets overwritten."
When we write θ = [ w 1 , w 2 , b ] we just mean the list has three knobs: two called w (weights) and one called b (a bias, an offset knob). θ j (theta-sub-j ) means "knob number j " — a single dial picked out of the list.
x , y , and a data point
==x == (bold x) = one input example , e.g. the pixels of one photo. Bold means it is a list of numbers (many pixels), not a single number.
==y == = the correct answer for that input, e.g. the label "3".
A pair ( x , y ) = one flashcard : a question and its answer.
Picture: a stack of flashcards; the front is x , the back is y .
D
==D == (fancy D) = the whole pile of flashcards for one task. Written D = {( x i , y i )} , where the subscript i counts the cards: card 1, card 2, card 3...
The curly braces { } just mean "the set/collection of."
T t
==T t == = one job to learn , e.g. "recognise French words." The subscript t is a clock: T 1 comes first, T 2 second, and so on.
Picture: a conveyor belt delivering one box (task) at a time — see figure below.
Why the topic needs it: ordinary machine learning has one task. Continual learning's whole reason for existing is that tasks arrive one after another in a stream , and the earlier boxes are taken away before the next arrives.
The crucial pain, shown by the crossed-out boxes: once D 1 leaves the belt, you cannot look at it again. That is why you can't just "retrain on everything." This single constraint is the seed of the whole field — see Online Learning for the streaming-data setting and Catastrophic Forgetting for what goes wrong.
Definition The model function
f ( x ; θ )
==f == is the machine itself, written as a function: give it an input x and the knob settings θ , and it returns a prediction. The semicolon separates "the thing we feed in" (x ) from "the knobs" (θ ).
Read f ( x ; θ ) as "what the machine says about x when the knobs are set to θ ."
Why the semicolon and not a comma? It signals θ is a setting we control , while x is data flowing through .
Intuition Why we need a number for wrongness
To improve, the machine must know how badly it did, as a single number it can try to shrink. A big number = very wrong; zero = perfect. That number is the loss .
Definition Per-example loss
ℓ and task loss L
==ℓ == (small script-l) = wrongness on ONE flashcard : ℓ ( f ( x ; θ ) , y ) compares the machine's guess to the true answer y .
==L t == (big script-L, subscript t ) = average wrongness over the whole task T t .
Picture: ℓ is one exam question's error; L is your average score over the whole exam.
Definition The expectation
E
==E ( x , y ) ∼ D [ ⋅ ] == (blackboard E) just means "the average value, taken over all flashcards drawn from D ." The ∼ ("tilde") reads "drawn from" . So
L t ( θ ) = E ( x , y ) ∼ D t [ ℓ ( f ( x ; θ ) , y ) ]
reads in plain English: "the task-t loss is the average wrongness of machine f across all of task t 's flashcards."
Why an average? One card could be lucky or unlucky; the average is the honest overall score.
Here is the tool that makes learning and forgetting happen. It deserves its own picture.
Think of the loss as a hilly landscape : each point on the ground is one knob-setting θ , and the height is the loss L . Learning = walking downhill to the lowest valley (least wrongness).
∇ θ L
==∇ θ L == (upside-down triangle, "nabla") = an arrow that points in the steepest-uphill direction of the loss landscape , computed with respect to the knobs θ .
Why this tool and not another? We want to know which way to turn each knob to reduce loss fastest . The gradient is precisely the answer: it is the multi-knob version of "slope." To go down , we step in the opposite direction, hence the minus sign next.
Picture: the red uphill arrow in the figure; we walk against it (green arrow, downhill).
Common mistake The trap hiding in that arrow
The update uses ∇ θ L t — the slope of only the current task . It knows nothing about old tasks' valleys. Walking downhill for task 2 can walk you straight up the hillside of task 1. That is catastrophic forgetting, and the whole topic exists to fix it.
θ ∗ and arg min
==arg min θ L ( θ ) == = "the knob-setting that gives the smallest loss" — the location of the valley bottom, not the depth.
==θ ∗ == (theta-star) = the name we give that best setting once found. The star means "the good one we settled on."
Picture: the lowest point of the valley in the previous figure.
Why the topic needs it: once we reach θ 1 ∗ (task 1's best knobs), the ground is flat there — the slope ∇ θ L 1 ( θ 1 ∗ ) ≈ 0 . That flatness is exactly why the machine "stopped learning" task 1, and why nudging it later for task 2 is what breaks things.
The regularization methods later ask: "how sharply does the loss rise if I move away from the valley bottom?" A gentle valley → moving is cheap; a steep valley → moving is costly.
H
==H == = a table describing the curvature (steepness of the walls) of the loss valley around θ ∗ . Big curvature in a direction = a steep wall = moving there hurts a lot.
Picture: a bowl. A narrow deep bowl has high curvature; a wide flat dish has low curvature.
Definition The Fisher Information
F j
==F j == = a cheap, practical stand-in for the curvature of knob j , i.e. how much the model's predictions change if you jiggle knob j . High F j = knob j is important , don't move it. It approximates the diagonal of H .
Why not just use H ? The full Hessian is a giant table (every knob paired with every other) — too big to compute. F j gives one importance number per knob, which is all we need to say "protect this one."
Links: this curvature idea underpins Regularization Techniques and the EWC method in the parent note.
Definition Remaining symbols in one place
==λ == (lambda) = a dial for how hard we protect old tasks (stability vs. plasticity trade-off). Big λ = rigid, remembers well, learns new tasks slowly.
==β == (beta) = how much weight we give replayed old examples during new-task training.
==M == = the memory buffer : a small backpack of saved old flashcards we carry forward.
==p ( y ∣ x ; θ ) == = the model's probability that the answer is y given input x ; the vertical bar ∣ reads "given."
==σ == (sigma) = the squashing function that turns any number into a value between 0 and 1 (a probability), e.g. σ ( z ) = 1 + e − z 1 .
Parameters theta = the knobs
Model f maps input to output
Dataset D = pile of cards
Task loss L = average wrongness
Gradient nabla = steepest uphill arrow
SGD update = step downhill
Best knobs theta-star at valley bottom
Curvature H and Fisher F = wall steepness
Continual Learning methods
The map reads left-to-right into the topic: knobs and data build the loss; the loss builds the gradient and SGD; SGD over a stream of tasks is what causes forgetting; curvature tells us which knobs to protect — and that is where Continual and Lifelong Learning proper begins.
What does the bold x (vs plain x ) tell you? That the input is a list of numbers (like all pixels of an image), not a single number.
What does θ store, and why does forgetting live there? All the model's knob settings; every task's memory sits in these same numbers, so re-turning them for a new task overwrites old ones.
In words, what does E ( x , y ) ∼ D [ ℓ ( ⋅ )] mean? The average per-example wrongness taken over all flashcards drawn from dataset D .
Which direction does ∇ θ L point, and which way do we step? It points steepest uphill ; we step in the opposite (downhill) direction to reduce loss.
Why does ∇ θ L 1 ( θ 1 ∗ ) ≈ 0 ? At the valley bottom (best task-1 knobs) the loss landscape is flat, so its slope is roughly zero.
What is the difference between arg min and min ? arg min gives the location (which θ ) of the lowest loss; min would give the value (how low).
What does a large Fisher value F j tell you to do with knob j ? Protect it — knob j strongly affects predictions, so it is important for the old task; don't move it much.
What do the two trade-off dials λ and β each control? λ = how hard to protect old weights (stability vs plasticity); β = how much weight to give replayed old examples.
Why can't continual learning just retrain on all past data? Because in a task stream , old datasets are removed before new ones arrive, so they are no longer available.