LGJun 26, 2024

Confident Natural Policy Gradient for Local Planning in $q_π$-realizable Constrained MDPs

arXiv:2406.18529v34 citations
Originality Highly original
AI Analysis

This addresses the challenge of safe reinforcement learning with function approximation for researchers and practitioners, offering the first polynomial sample complexity result in this setting.

The paper tackles the problem of learning efficiently in constrained Markov decision processes (CMDPs) with linear function approximation in the challenging $q_\pi$-realizable setting, proposing a primal-dual algorithm that outputs a policy satisfying constraints and nearly optimizing reward with high probability after $\tilde{O}(\text{poly}(d) \epsilon^{-3})$ queries.

The constrained Markov decision process (CMDP) framework emerges as an important reinforcement learning approach for imposing safety or other critical objectives while maximizing cumulative reward. However, the current understanding of how to learn efficiently in a CMDP environment with a potentially infinite number of states remains under investigation, particularly when function approximation is applied to the value functions. In this paper, we address the learning problem given linear function approximation with $q_π$-realizability, where the value functions of all policies are linearly representable with a known feature map, a setting known to be more general and challenging than other linear settings. Utilizing a local-access model, we propose a novel primal-dual algorithm that, after $\tilde{O}(\text{poly}(d) ε^{-3})$ queries, outputs with high probability a policy that strictly satisfies the constraints while nearly optimizing the value with respect to a reward function. Here, $d$ is the feature dimension and $ε> 0$ is a given error. The algorithm relies on a carefully crafted off-policy evaluation procedure to evaluate the policy using historical data, which informs policy updates through policy gradients and conserves samples. To our knowledge, this is the first result achieving polynomial sample complexity for CMDP in the $q_π$-realizable setting.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes