The proof-theoretic analysis of transfinitely iterated quasi least fixed points.

Published in: J. Symb. Log. (2006)

Keyphrases

theoretic analysis
fixed point
linear logic
temporal difference learning
sufficient conditions
approximate value iteration
dynamical systems
belief propagation
initial conditions
free energy
asymptotic properties
graphical models