Alphabeta Math
AlgorithmAlgorithm: Literature-sourcedProof: Not applicablePipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Tabular Q-learning

Definition

Inputs: A finite MDP with nonempty finite state set S, finite nonempty action sets A(s), finite reward alphabet R, and discount 0≤γ<1; an initial state S0∈S; a behavior rule that selects a legal action using the interaction history available at time n; an initial table Q0∈RD; and a step-size rule that, before observing the next reward and state, supplies αn(Sn,An)∈[0,1] from the history and selected pair. A deterministic per-pair schedule αk(s,a)∈[0,1] based on the number of previous visits to (s,a) is a special case. The interaction must, conditional on its history and the selected pair (Sn,An), draw (Sn+1,Rn+1) with joint mass p(s′,ρ∣Sn,An).

Output: The action-value table after every interaction, (Qn)n≥0; a finite run outputs its current table Qn.

Initialize Q=Q0. For each n=0,1,2,…, select An by the behavior rule, obtain αn(Sn,An) from the step-size rule, and observe (Rn+1,Sn+1). Compute

δn=Rn+1+γmax⁡b∈A(Sn+1)Qn(Sn+1,b)−Qn(Sn,An),

then update only the visited coordinate by

Qn+1(Sn,An)=Qn(Sn,An)+αn(Sn,An)δn.

Leave every other coordinate unchanged, set the current table to Qn+1, and set the current state to Sn+1. The target uses the greedy maximum even when the behavior rule explores, so this is off-policy and uses no importance-sampling ratio. The procedure makes no convergence claim; convergence requires additional hypotheses not imposed here.

Depends on

Used by

Dependency tree · two levels

14 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources