Conditions on Features for Temporal Difference-Like Methods to Converge

Conditions on Features for Temporal Difference-Like Methods to Converge

Marcus Hutter, Samuel Yang-Zhao, Sultan Javed Majeed

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Main track. Pages 2570-2577. https://doi.org/10.24963/ijcai.2019/357

The convergence of many reinforcement learning (RL) algorithms with linear function approximation has been investigated extensively but most proofs assume that these methods converge to a unique solution. In this paper, we provide a complete characterization of non-uniqueness issues for a large class of reinforcement learning algorithms, simultaneously unifying many counter-examples to convergence in a theoretical framework. We achieve this by proving a new condition on features that can determine whether the convergence assumptions are valid or non-uniqueness holds. We consider a general class of RL methods, which we call natural algorithms, whose solutions are characterized as the fixed point of a projected Bellman equation. Our main result proves that natural algorithms converge to the correct solution if and only if all the value functions in the approximation space satisfy a certain shape. This implies that natural algorithms are, in general, inherently prone to converge to the wrong solution for most feature choices even if the value function can be represented exactly. Given our results, we show that state aggregation-based features are a safe choice for natural algorithms and also provide a condition for finding convergent algorithms under other feature constructions.
Keywords:
Machine Learning: Learning Theory
Machine Learning: Reinforcement Learning
Machine Learning: Feature Selection ; Learning Sparse Models