Provably Feedback-Efficient Reinforcement Learning via Active Reward Learning

TL;DR

This paper introduces a provably feedback-efficient reinforcement learning algorithm that actively learns reward functions with minimal human queries, ensuring near-optimal policies even with noisy feedback.

Contribution

It proposes a theoretically grounded active-learning-based RL framework that reduces human feedback requirements for reward specification in RL tasks.

Findings

Achieves near-optimal policies with $ ilde{O}(H ext{dim}_R^2)$ reward queries.

Handles noisy feedback effectively, maintaining query efficiency.

Outperforms standard RL in reward query complexity by a significant margin.

Abstract

An appropriate reward function is of paramount importance in specifying a task in reinforcement learning (RL). Yet, it is known to be extremely challenging in practice to design a correct reward function for even simple tasks. Human-in-the-loop (HiL) RL allows humans to communicate complex goals to the RL agent by providing various types of feedback. However, despite achieving great empirical successes, HiL RL usually requires too much feedback from a human teacher and also suffers from insufficient theoretical understanding. In this paper, we focus on addressing this issue from a theoretical perspective, aiming to provide provably feedback-efficient algorithmic frameworks that take human-in-the-loop to specify rewards of given tasks. We provide an active-learning-based RL algorithm that first explores the environment without specifying a reward function and then asks a human teacher for only a few queries about the rewards of a task at some state-action pairs. After that, the algorithm guarantees to provide a nearly optimal policy for the task with high probability. We show that, even with the presence of random noise in the feedback, the algorithm only takes $\widetilde{O}(H{{\dim_{R}^2}})$ queries on the reward function to provide an $\epsilon$-optimal policy for any $\epsilon > 0$. Here $H$ is the horizon of the RL environment, and $\dim_{R}$ specifies the complexity of the function class representing the reward function. In contrast, standard RL algorithms require to query the reward function for at least $\Omega(\operatorname{poly}(d, 1/\epsilon))$ state-action pairs where $d$ depends on the complexity of the environmental transition.