July 25, 2024
Entropy Regularisation is a widely adopted technique that enhances policy optimisation performance and stability. A notable form of entropy regularisation is augmenting the objective with an entropy term, thereby simultaneously optimising the expected return and the entropy. This framework, known as maximum entropy reinforcement learning (MaxEnt RL), has shown theoretical and empirical successes. However, its practical application in straightforward on-policy actor-critic settings remains surprisingly underexplored. We hypothesise that this is due to the difficulty of managing the entropy reward in practice. This paper proposes a simple method of separating the entropy objective from the MaxEnt RL objective, which facilitates the implementation of MaxEnt RL in on-policy settings. Our empirical evaluations demonstrate that extending Proximal Policy Optimisation (PPO) and Trust Region Policy Optimisation (TRPO) within the MaxEnt framework improves policy optimisation performance in both MuJoCo and Procgen tasks. Additionally, our results highlight MaxEnt RL’s capacity to enhance generalisation.
Entropy regularisation is pivotal to many practical deep reinforcement learning (RL) algorithms. Practical algorithms such as Trust Region Policy Optimization (TRPO) [1] penalise the policy improvement or greedy step using Kullback-Leibler (KL) divergence (also called as relative entropy) to regularise the deviations between consecutive policies. This method, often termed KL regularisation, has been the foundational approach for contemporary deep RL algorithms [2], [3].
Another critical approach is to regularise the policy evaluation step by augmenting the conventional RL task objective with an entropy term, thereby directing policies toward areas of higher expected trajectory entropy. This scheme is often called Maximum Entropy RL (MaxEnt RL) [4]–[6]. MaxEnt RL formulation is known to improve the exploration and robustness of policies by promoting stochasticity [7], [8]. In practice, MaxEnt RL can simply be implemented by adding an entropy reward to the original task reward.
Recent theoretical advancements inspired by the Mirror Descent theory have developed a unified view of these approaches [2], [3], [9], suggesting that their combination could lead to faster convergence to the solution of the regularised objective [10]. Furthermore, the latest studies on policy gradient (PG) methods have shown the effectiveness of the MaxEnt RL in accelerating the convergence of PG algorithms [11]–[13]. However, despite the enticing theoretical support, its practical application remains underexplored, particularly in stochastic policy gradient methods in on-policy settings.
R0.5
We hypothesise that this research gap is potentially attributed to the difficulty of handling the entropy reward in practice. [14] empirically analysed the problematic nature of the entropy reward using Soft Actor-Critic (SAC) [5], an off-policy MaxEnt algorithm. Authors pointed out that in an episodic setting, the entropy return is largely correlated to the episode’s length, thereby rendering the policy overly optimistic or pessimistic, and even in infinite-horizon settings, the entropy reward can still obscure the task reward.
Inspired by this observation, we proposed a simple but practical approach to control the impact of the entropy reward. In this paper, we introduce Entropy Advantage Policy Optimisation (EAPO), a method that estimates the task and entropy objectives of the regularised (soft) objective separately. By employing a dedicated discount factor for the entropy reward and utilising Generalised Advantage Estimation (GAE) [15] on each objective separately, EAPO controls the effective horizon of the entropy return estimation and the entropy regularisation on policy evaluation. EAPO’s simplicity requires only minor modifications to existing advantage actor-critic algorithms. This work extends the well-established PPO [16] and TRPO [1].
Figure [fig:minigrid-empty] illustrates the challenge of learning the MaxEnt policy for an episodic task using a naive implementation that simply augments the task reward with an entropy reward. In this task, the agent is required to reach the goal state while performing the minimum number of actions. The naive MaxEnt agent fails to learn the optimal stochastic policy, resulting in two failure modes: acting almost deterministically when the temperature \(\tau\) is low or wandering around indefinitely when \(\tau\) is high. In contrast, EAPO successfully achieves the near-optimal stochastic policy by utilising TD\((0)\) learning [17] (i.e., set GAE \(\lambda\) to \(0\)) for the entropy objective. Additionally, the example demonstrates that lowering the discount factor for the entropy estimation \(\gamma_\mathcal{H}\) helps prevent the inflation of the entropy reward [14] and reduces sensitivity to the temperature.
In this work, we empirically demonstrate that EAPO allows the development of a practical MaxEnt on-policy actor-critic algorithm. We test the efficacy of EAPO within deterministic environments with the discrete action space to align with existing theories on the MaxEnt formulation [6] and the softmax policy gradient methods [11]. Specifically, we evaluate the general training performance on 4 discretised [18] Mujoco continuous control tasks, including those with an infinite horizon [19]. We also test the robustness in 16 Procgen episodic environments [20]. Additionally, we examine the usefulness of a MaxEnt policy in MiniGrid DoorKey environment [21].
This work considers a finite discounted deterministic Markov Decision Process (MDP) \(\langle\mathcal{S}, \mathcal{A}, r, \rho, \mathcal{T}, \gamma_V, \gamma_\mathcal{H}\rangle\), where \(\mathcal{S}\) is the set of states \(s\) and \(\mathcal{A}\) is the set of actions \(a\), and \(\rho\) is the initial state distribution. \(\mathcal{T}\) is the deterministic transition function \(\mathcal{T}: \mathcal{S}\times\mathcal{A}\mapsto \mathcal{S}\), and \(r\) is the reward function \(r: \mathcal{S}\times\mathcal{A}\mapsto\mathbb{R}\). \(\gamma_V\) and \(\gamma_\mathcal{H}\) are the discount factors.
We define the value function of state \(s\) under the policy \(\pi\) as \[V^\pi(s)\mathrel{\vcenter{:}}= \mathbb{E}_{ % \substack{ s_0=s, a_t\sim\pi(\cdot|s_t), \\ s_{t+1}=\mathcal{T}(s_t,a_t) % } }\left[{\sum_{t=0}^{\infty}\gamma_V^{t}r(s_t,a_t)}\right].\]
Also, the action-value of performing action \(a\) at state \(s\) under the policy \(\pi\) is \[Q^\pi(s,a) \mathrel{\vcenter{:}}= \mathbb{E}_{ % \substack{ s_0=s, a_0=a, \\ a_{t>0}\sim\pi(\cdot|s_t), \\ s_{t+1}=\mathcal{T}(s_t,a_t) % } }\left[{ \sum_{t=0}^{\infty}\gamma_V^{t}r(s_t,a_t)}\right].\] And define the advantage function \(A^\pi\) as \(\label{eq:adv_f} A^\pi(s,a) \mathrel{\vcenter{:}}= Q^\pi(s,a) - \mathbb{E}_{\pi(\cdot|s)}\left[{Q^\pi(s,\cdot)}\right] = Q^\pi(s,a) - V^\pi(s)\). We also define the discounted policy-induced trajectory entropy, or the entropy rate of state \(s\) under policy \(\pi\) as \[\label{eq:hfunc} V^\pi_{\mathcal{H}}(s)\mathrel{\vcenter{:}}= \mathbb{E}_{ \substack{s_0=s, a_t\sim\pi(\cdot|s_t), \\ s_{t+1}=\mathcal{T}(s_t,a_t)}}\left[{ \sum_{t=0}^{\infty}-\gamma_\mathcal{H}^{t}\log\pi(a_t|s_t) }\right].\tag{1}\] This trajectory entropy represents the Shannon entropy of the possible future trajectories’ distribution in an MDP with deterministic dynamics [6], [22]. The objective of Maximum Entropy Reinforcement Learning (MaxEnt RL), or often Regularised MDPs [3], [23] is to maximise the expectation of the sum of the value and the trajectory entropy with respect to the initial state distribution:
\[\begin{align} \label{eq:soft_obj} J(\pi) &= \mathbb{E}_{ \substack{s_0\sim \rho, a_t\sim\pi, \\ s_{t+1}=\mathcal{T}(s_t,a_t)}}\left[{ \sum_{t=0}^{\infty}\gamma_V^{t} r(s_t,a_t)-\gamma_\mathcal{H}^t\tau\log\pi(a_t|s_t) }\right] \\ &= \mathbb{E}_{s_0\sim \rho}\left[{V^\pi(s_0) + \tau V^\pi_{\mathcal{H}}(s_0)}\right] \end{align}\tag{2}\] where the temperature parameter \(\tau\geq0\) is a hyperparameter to be controlled to balance the significance between these two objectives, and we introduce the distinct discount factors.
Analogous to the definition of the action-value function \(Q^\pi\) as the expected cumulative rewards after selecting an action \(a\) [17], we define \(Q^\pi_\mathcal{H}\) as the expected future trajectory entropy after selecting an action: \[\begin{align} \label{eq:qdef} Q^\pi_\mathcal{H}(s_t,a_t) &\mathrel{\vcenter{:}}= \gamma_\mathcal{H}V^\pi_{\mathcal{H}}(\mathcal{T}(s_t,a_t)) = \gamma_\mathcal{H}V^\pi_{\mathcal{H}}(s_{t+1}). \end{align}\tag{3}\] The definition arises naturally from the consideration that uncertainty exists due to the stochastic policy at the current state, which has settled by the time an action is performed. Consequently, the \(Q^\pi_\mathcal{H}\) is simply the discounted trajectory entropy of the next state determined by the deterministic transition function.
From the recursive relation of trajectory entropy from (1 ) and the defintion (3 ), the following relation is derived: \[\label{eq:hqh} V^\pi_{\mathcal{H}}(s_t) = \mathbb{E}_{a_t\sim\pi(\cdot|s_t)}\left[{-\log\pi(a_t|s_t)+ Q^\pi_\mathcal{H}(s_t,a_t)}\right].\tag{4}\] We now define the entropy advantage function \(A^\pi_\mathcal{H}\) analogous to ([eq:adv_f]): \[\begin{align} \label{eq:ea} A^\pi_\mathcal{H}(s_t,a_t) &\mathrel{\vcenter{:}}= Q^\pi_\mathcal{H}(s_t,a_t) - \mathbb{E}_{a\sim\pi(\cdot|s_t)}\left[{Q^\pi_\mathcal{H}(s_t,a)}\right] \nonumber\\ &= Q^\pi_\mathcal{H}(s_t,a_t) - V^\pi_{\mathcal{H}}(s_t) + \mathbb{E}_{a\sim\pi(\cdot|s_t)}\left[{-\log\pi(a|s_t)}\right]. \end{align}\tag{5}\]
We let \(\tilde{V}^\pi(s)\mathrel{\vcenter{:}}= V^\pi(s)+\tau V^\pi_{\mathcal{H}}(s)\) as the soft value function, and let \(\tilde{Q}^\pi(s,a)\mathrel{\vcenter{:}}= Q^\pi(s)+\tau Q^\pi_\mathcal{H}(s,a)\) as the soft Q-function. Finally, we define the soft advantage function: \[\begin{align} \label{eq:sa} \tilde{A}^\pi(s_t,a_t) &\mathrel{\vcenter{:}}= A^\pi(s_t,a_t) + \tau A^\pi_\mathcal{H}(s_t,a_t) \\ &= Q^\pi(s_t,a_t) - V^\pi(s_t) + \tau (Q^\pi_\mathcal{H}(s_t,a_t) - V^\pi_{\mathcal{H}}(s_t) + \mathbb{E}_{a\sim\pi(\cdot|s_t)}\left[{-\log\pi(a|s_t)}\right]) \notag \\ &= \tilde{Q}^\pi(s_t, a_t) - \tilde{V}^\pi(s_t) + \tau \mathbb{E}_{a\sim\pi(\cdot|s_t)}\left[{-\log\pi(a|s_t)}\right]. \end{align}\tag{6}\]
[24] showed that it is possible to optimise the soft objective using direct policy gradient from samples. Thus, we can use the soft advantage function to find the policy that maximises the MaxEnt RL objective.
Theorem 1 (Soft Policy Gradient). Let \(J(\pi)\) the MaxEnt RL objective defined in 2 . And \(\pi_\theta(a|s)\) be a parameterised policy. Then, \[\nabla_\theta J(\pi_\theta) = \mathbb{E}_{\substack{s_0\sim \rho, \\ a_t\sim\pi, \\ s_{t+1}= \mathcal{T}(s_t,a_t)} }\left[{(\gamma_V^t A(s_t,a_t)+\gamma_\mathcal{H}^t \tau A^\pi_\mathcal{H}(s_t,a_t))\nabla_\theta\log\pi_\theta(a_t|s_t)}\right].\]
We provide the proof in Appendix 7. While the exact soft policy gradient theorem requires the corresponding exponential discount term for each advantage estimate, we use the approximate policy gradient in this work: \[\nabla_\theta J(\pi_\theta) \approx \mathbb{E}_{\substack{s_0\sim \rho, \\ a_t\sim\pi, \\ s_{t+1}= \mathcal{T}(s_t,a_t)} }\left[{\tilde{A}^\pi(s_t,a_t)\nabla_\theta\log\pi_\theta(a_t|s_t)}\right].\] It is worth noting that when the exact gradient is known, [11] proved that the soft policy gradient has the global convergence property and may converge faster than the policy gradient without entropy regularisation despite the objective being biased. However, in our practical setup, this is not guaranteed.
One of the most prominent aspects of the MaxEnt RL formulation that has been studied is the ability to connect policy gradient methods and off-policy value-based methods that learn the soft \(Q\)-function [5], [25]–[27]. However, this work focuses on the soft policy gradient using the soft advantage estimation in an on-policy setting.
[24] explored the soft policy gradient method, emphasising its inherent simplicity. While they employed the soft \(Q\)-function to guide the policy gradient, linking their method to off-policy techniques, EAPO leverages the variance-reduced estimation of the entropy advantage function to formulate the soft advantage function suitable for on-policy algorithms. Moreover, [24] introduced additional techniques to mitigate the challenging task of estimating the soft \(Q\)-function. However, EAPO can seamlessly integrate with existing techniques, such as value function normalisation, and GAE, due to its structural equivalence between its method for estimating the entropy advantage function and the conventional advantage function.
A more common approach to applying entropy regularisation to PG methods is to add an entropy cost term to the sample-based policy gradient estimator to maximise the policy entropy at each sampled state, retaining the stochasticity of the policy during optimisation process [16], [28]. While the entropy bonus term seeks to maximise policy entropy at visited states, MaxEnt RL directs a policy toward regions of higher expected trajectory entropy, albeit at the cost of bias imposed on the objective [6], [27]. Despite its empirical success, this method remains a heuristic approach without solid theoretical understanding[29]. In this work, we show that the use of MaxEnt RL can replace the traditional entropy cost term.
The algorithms studied in this work can be seen as an instance of algorithm that both KL regularisation and entropy regularisation are applied [2], [3]. However, this work does not analyse how these two types of regularisations interact.
[14] studied the harmful effect of having entropy regularisation on the policy evaluation step and has motivated this research. Unlike their work, we draw a positive conclusion for the use of entropy rewards. In our experiments comparing the entropy cost method, using the MaxEnt framework instead of the entropy cost consistently improves the performance of on-policy algorithms.
Recent studies have investigated the theoretical properties of policy gradient methods [11]–[13]. Notably, the authors have shown that combining Natural Policy Gradient (NPG) methods [30] and the entropy-regularised MDPs can speed up the convergence. Although some authors [10], [31] have drawn the connection between PPO and NPG methods rigorously in theoretical settings, it remains unclear whether PPO-based EAPO, which extends PPO to the Regularised MDP setting, can benefit from the theoretical guarantees.
In this section, we develop our Entropy Advantage Policy Optimisation (EAPO) method. At its core, EAPO independently estimates both the value advantage function and the entropy advantage function and combines them to derive the soft advantage function. EAPO adopts a separate prediction head to the conventional value critic to approximate the trajectory entropy of a state, which is then used for entropy advantage estimation. We extend the PPO [16] and TRPO [1] by substituting the advantage estimate with the soft advantage estimate and omitting the entropy bonus term.
The entropy advantage \(A^\pi_\mathcal{H}\) is estimated from the sampled log probabilities of the behaviour policy. We utilise the Generalised Advantage Estimation (GAE) [15] for a variance-reduced estimation of the entropy advantage: \[\begin{align} \hat{A}^{\mathcal{H}, \text{GAE}(\lambda_\mathcal{H},\gamma_\mathcal{H})}(s_t, a_t) \mathrel{\vcenter{:}}= \sum^\infty_{l=0}(\lambda_\mathcal{H}\gamma_\mathcal{H})^l\delta^\mathcal{H}_{t+l}, \end{align}\] where \(\delta^\mathcal{H}_{t}\mathrel{\vcenter{:}}= -\log\pi(a_t|s_t) + \gamma_\mathcal{H}V^\pi_{\mathcal{H}}(s_{t+1}) - V^\pi_{\mathcal{H}}(s_t)\), and \(\gamma_\mathcal{H}\) and \(\lambda_\mathcal{H}\) are the discount factor and GAE lambda for entropy advantage estimation, respectively. Note that the equation is the same as the GAE for the conventional advantage, except the reward term is replaced by the negative log probability. This simplicity is also consistent with the remark that the only modification required for the MaxEnt policy gradient is to add the negative log probability term to the reward at each time step [6].
An entropy critic network, parameterised by \(\omega\), approximates the trajectory entropy \(V^\pi_{\mathcal{H}}\), and it is trained by minimising the mean squared error \(L^\mathcal{H}(\omega) \mathrel{\vcenter{:}}= \hat{\mathbb{E}}_t{\left[{\frac{1}{2}\left(V^\pi_{\mathcal{H}}(s_t;\omega) - \hat{V}^\pi_\mathcal{H}(s_t)\right)^2}\right]},\) where the trajectory entropy estimate \(\hat{V}^\pi_\mathcal{H}(s_t)\) is calculated using TD\((\lambda_\mathcal{H})\): \(\hat{V}^\pi_\mathcal{H}(s_t) = \hat{A}^{\mathcal{H}, \text{GAE}(\lambda_\mathcal{H},\gamma_\mathcal{H})}(s_t,a_t) + V^\pi_{\mathcal{H}}(s_t;\omega)\). Throughout the conducted experiments, we implemented the entropy critic network to share its parameters with the return value critic \(V^V_\phi\), with only the final linear layers for outputting its prediction distinct. This form of parameter sharing allows minimal computational overhead to implement EAPO.
Further, we employ the PopArt normalisation [32] to address the scale difference of entropy and return estimates. It is important to note that the negative log probability \(-\log\pi(a_t|s_t)\) is collected for every timestep. In contrast, the reward can be sparse, leading to significant magnitude variations based on the dynamics of the environment [33]. This discrepancy can pose challenges, especially when using a shared architecture. Thus, utilising the value normalisation technique like PopArt is pivotal for the practical implementation of EAPO.
Subsequently, we integrate the entropy advantage with the standard advantage estimate \(\hat{A}^\pi_V\), also computed using GAE and return value critic parameterised by \(\phi\), analogously to the entropy advantage estimation process we describe above. Then the soft advantage function \(\tilde{A}^\pi\) is \[\begin{align} \tilde{A}^\pi(s_t,a_t) = \hat{A}^{V, \text{GAE}(\lambda_V,\gamma_V)}(s_t, a_t) + \tau \hat{A}^{\mathcal{H}, \text{GAE}(\lambda_\mathcal{H},\gamma_\mathcal{H})}(s_t,a_t), \end{align}\] where \(\hat{A}^{V, \text{GAE}(\lambda_V,\gamma_V)}\) is the value advantage estimation using GAE. Finally, we substitute the estimated conventional advantage function in the policy objective of PPO and TRPO with \(\tilde{A}^\pi\). The PPO objective function becomes:
\[\begin{align} L(\theta, \phi, \omega) &= \hat{\mathbb{E}}_t{\left[{\min(r_t(\theta)\tilde{A}^\pi(s_t,a_t), \text{clip}(r_t(\theta),1-\epsilon,1+\epsilon)\tilde{A}^\pi(s_t,a_t))}\right]} \nonumber \\ &+ c_1(L^V(\phi) + c_2 L^\mathcal{H}(\omega)), \end{align}\] where \(r_t(\theta)\) is the probability ratio between the behaviour policy \(\pi_{\theta_\text{old}}(a_t|s_t)\) and the current policy \(\pi_\theta(a_t|s_t)\), and \(c_1\), \(c_2\) and \(\epsilon\) are hyperparameters to be adjusted. The value critic loss \(L^V\) is also defined by the mean square error, \(L^V(\phi)=\hat{\mathbb{E}}_t{\left[{\frac{1}{2}\left(V(s_t;\phi) - \hat{V}^\pi(s_t)\right)^2}\right]}\) where \(\hat{V}^\pi\) is the return value estimate.
Similarly, the optimisation problem of TPRO becomes: \[\begin{align} \max_{\theta\in\Theta}\hat{\mathbb{E}}_t{\left[{r_t(\theta)\tilde{A}^\pi_t(s,a)}\right]},\;\;s.t. \;\; \hat{\mathbb{E}}_t{\left[{\text{KL}(\pi_{\theta_\text{old}} || \pi_\theta)}\right]} \leq \delta, \end{align}\] where \(\delta\) is a hyperparameter.
In this section, we evaluate the policy optimisation performance of EAPO against the corresponding baseline on-policy algorithms, PPO and TRPO. Specifically, we assess the optimisation efficiency for episodic tasks and the generalisation capability of
EAPO on 16 Procgen [20] benchmark environments. Moreover, we investigate EAPO’s efficacy on continuing control tasks using 4
discretised popular MuJoCo [19] environments, and we analyse the impact of hyperparameters \(\tau\),
\(\gamma_\mathcal{H}\) and \(\lambda_\mathcal{H}\). Finally, we include MiniGrid-DoorKey-8x8
environment [21] to examine if EAPO can help solve the hard exploration task.
We implemented EAPO using Stable-baseline3 [34] and conducted experiments on environments provided by the Envpool [35] library. All empirical results are averaged over from 10 random seeds, with a 95% confidence interval indicated.
For the hyperparameter selection, we conducted a brief search for baseline algorithm hyperparameters that perform reasonably well, tuning only the EAPO-specific hyperparameters such as \(\gamma_\mathcal{H}\) to ensure fair comparisons. Implementation details and hyperparameters are reported in Appendix 8.
We evaluate the performance and the generalisation capability of PPO-based EAPO on the 16 Procgen benchmark environments [20]. These environments have a discrete action space and use raw images as observations. Procgen suite includes episodic tasks with both positive (e.g., BigFish) and negative (e.g., Climber) correlations between the episode length and the return, making them suitable for testing MaxEnt RL algorithms. Following the evaluation procedure in [20], we trained agents on 200 procedurally generated levels and test the performance as the mean episodic return on 100 unseen levels for each environment. We use the easy difficulty setting. We employed a single set of hyperparameters for all environments. For hyperparameter tuning, we used three representative environments: BigFish, Climber and Dodgeball. Each represents different levels of correlation between episode length and the return. BigFish requires the agent to survive as long as possible, Climber allows indefinite exploration, and in Dodgeball, the agent must survive during the first phase and reach the goal quickly in the second stage.
Figure [fig:procgen] and Table 1 summarise the generalisation test results of EAPO and baseline PPO agents with varying \(\tau\) and the entropy bonus coefficient. EAPO, with a lower discount factor of \(\gamma_\mathcal{H}=0.8\) and \(\lambda_\mathcal{H}=0.95\) surpasses the baseline PPO agent in most of the environments. Additionally, EAPO also outperforms the baseline during the training phase, demonstrating its efficiency in policy optimisation.
We also investigate the impact of the GAE \(\lambda_\mathcal{H}\) hyperparameter for the entropy advantage estimation. The result shows that \(\lambda_\mathcal{H}\) does not affect the performance significantly, suggesting that adjusting \(\gamma_\mathcal{H}\) and \(\tau\) would be sufficient for most cases.
Figure [fig:procgen] (Right) shows the improved generalisation capability of high entropy policies. The policy trained with higher temperature \(\tau\) favours high entropy trajectories (see Figure [fig:procgen_ent]) and performs similar or worse than the one with lower \(\tau\) during the training but achieves better during the test. This result is in coherence with the previous study of [8] that a MaxEnt policy is robust to the distributional shift in environments.
Env. | EAPO \(\gamma_\mathcal{H}\):0.8 \(\lambda_\mathcal{H}\):0.95 | EAPO \(\gamma_\mathcal{H}\):0.9 \(\lambda_\mathcal{H}\):0.0 | PPO | |||
---|---|---|---|---|---|---|
2-7 | ||||||
CoinRun | 8.34\(\pm\)0.24 | 8.31\(\pm\)0.22 | 7.59\(\pm\)0.51 | 8.33\(\pm\)0.36 | 8.13\(\pm\)0.22 | 7.38\(\pm\)2.48 |
StarPilot | 54.33\(\pm\)3.41 | 52.12\(\pm\)1.95 | 53.28\(\pm\)2.57 | 54.24\(\pm\)3.13 | 49.4\(\pm\)3.72 | 50.57\(\pm\)2.4 |
CaveFlyer | 7.03\(\pm\)0.32 | 6.48\(\pm\)0.57 | 7.17\(\pm\)0.3 | 6.62\(\pm\)0.56 | 6.32\(\pm\)0.7 | 6.3\(\pm\)0.63 |
Dodgeball | 13.64\(\pm\)0.68 | 11.59\(\pm\)0.86 | 13.23\(\pm\)0.63 | 12.34\(\pm\)0.85 | 8.51\(\pm\)0.98 | 7.2\(\pm\)1.14 |
Fruitbot | 27.28\(\pm\)0.74 | 26.5\(\pm\)0.9 | 27.19\(\pm\)1.14 | 26.57\(\pm\)1.32 | 25.91\(\pm\)1.26 | 25.34\(\pm\)1.18 |
Chaser | 10.5\(\pm\)0.46 | 11.12\(\pm\)0.3 | 10.52\(\pm\)0.38 | 11.05\(\pm\)0.38 | 11.12\(\pm\)0.45 | 10.64\(\pm\)0.4 |
Miner | 10.13\(\pm\)0.38 | 8.9\(\pm\)0.84 | 10.13\(\pm\)0.5 | 9.08\(\pm\)0.78 | 8.6\(\pm\)0.76 | 8.06\(\pm\)0.94 |
Jumper | 5.7\(\pm\)0.46 | 5.76\(\pm\)0.27 | 5.84\(\pm\)0.54 | 5.45\(\pm\)0.48 | 5.21\(\pm\)0.45 | 5.17\(\pm\)0.44 |
Leaper | 8.24\(\pm\)0.52 | 7.75\(\pm\)0.33 | 7.51\(\pm\)1.17 | 7.88\(\pm\)0.67 | 6.54\(\pm\)0.9 | 6.61\(\pm\)1.06 |
Maze | 6.5\(\pm\)0.48 | 5.7\(\pm\)0.27 | 5.75\(\pm\)0.52 | 5.56\(\pm\)0.47 | 5.38\(\pm\)0.56 | 5.45\(\pm\)0.31 |
BigFish | 19.89\(\pm\)2.14 | 17.88\(\pm\)1.46 | 19.83\(\pm\)2.4 | 18.73\(\pm\)2.87 | 12.84\(\pm\)1.54 | 12.56\(\pm\)2.86 |
Heist | 3.75\(\pm\)0.66 | 2.97\(\pm\)0.67 | 4.22\(\pm\)0.58 | 3.06\(\pm\)0.49 | 2.11\(\pm\)0.54 | 1.68\(\pm\)0.5 |
Climber | 7.43\(\pm\)0.87 | 8.0\(\pm\)0.5 | 6.29\(\pm\)0.74 | 7.22\(\pm\)0.52 | 6.78\(\pm\)0.68 | 6.22\(\pm\)0.48 |
Plunder | 9.0\(\pm\)0.71 | 7.66\(\pm\)1.15 | 9.55\(\pm\)0.9 | 8.35\(\pm\)1.38 | 4.16\(\pm\)0.55 | 3.94\(\pm\)1.23 |
Ninja | 6.49\(\pm\)0.47 | 6.07\(\pm\)0.46 | 6.43\(\pm\)0.41 | 6.21\(\pm\)0.37 | 6.09\(\pm\)0.63 | 5.87\(\pm\)0.58 |
BossFight | 7.49\(\pm\)0.77 | 9.58\(\pm\)0.66 | 7.82\(\pm\)0.71 | 9.38\(\pm\)0.59 | 7.61\(\pm\)0.76 | 5.15\(\pm\)3.32 |
Norm. | 0.54\(\pm\)0.06 | 0.5\(\pm\)0.05 | 0.52\(\pm\)0.07 | 0.51\(\pm\)0.06 | 0.42\(\pm\)0.07 | 0.38\(\pm\)0.11 |
We measure the performance of EAPO extending PPO (EAPO-PPO) and TRPO (EAPO-TRPO) on continuing control tasks in 4 MuJoCo environments, comparing them against their corresponding baselines. For the PPO baselines, we searched for the best entropy coeffcient within the set \(c\in(0.0001, 0.001, 0.01)\). Additionally, we tested the PPO and TRPO agent with the reward augmented by the entropy reward \(-\tau\log\pi(a_t|s_t)\) to evaluate the impact of separating the MaxEnt objective. Note that the entropy reward-augmented baseline is effectively regarded as EAPO with \(\gamma_\mathcal{H}= \gamma\) and \(\lambda_\mathcal{H}= \lambda\), but without the entropy critic. We discretise the continuous action space using the method proposed by [18]. Experiments using continuous action space are provided in Appendix 9. The training curves are presented in Figure [mujoco_best].
The result shows that by adjusting \(\gamma_\mathcal{H}\) and \(\lambda_\mathcal{H}\), we can configure EAPO to outperform or match the conventional entropy regularisation method throughout all environments. We found that the best-performing values of \(\gamma_\mathcal{H}\) and \(\lambda_\mathcal{H}\) vary depending on the characteristics of the environment, similar to their value counterparts \(\gamma\) and \(\lambda\), respectively. Although EAPO demonstrates more stable performance compared to the entropy bonus, this relatively modest performance gain suggests that EAPO may be less efficient for continuing tasks.
Figure [mujoco_best] also demonstrates that the adjustability adopted by EAPO improves the naive implementation of the MaxEnt policy that augments the entropy reward. We also provide ablation experiments on \(\gamma_\mathcal{H}\) and \(\lambda_\mathcal{H}\) using PPO-based EAPO in Appendix 9.
MiniGrid-DoorKey-8x8
environment↩︎Finally, we evaluate the exploration performance of PPO-based EAPO on the MiniGrid-DoorKey-8x8
environment [21].
Figure [dk] shows that EAPO, with the given hyperparameters, can solve this hard exploration task within 5,000,000 frames for all 10 seeds, whereas the baseline PPO only achieves the goal for
3 seeds. However, unlike other tasks presented in this work, this task was highly sensitive to hyperparameters. As noted by [11], entropy
regularization may not effectively mitigate epistemic uncertainty. Our results show inconclusive evidence for better exploration using MaxEnt RL in this context.
We have introduced EAPO, a model-free on-policy actor-critic algorithm based on the maximum entropy reinforcement learning framework. Our approach shows that a straightforward extension of existing mechanisms for standard value learning in on-policy actor-critic algorithms to the trajectory entropy objective can facilitate the practical implementation of MaxEnt RL. Through empirical evaluations, our method has been shown to replace the conventional entropy regularisation method and that a more principled entropy maximisation method enhances generalisation. While this paper focuses on PPO and TRPO, one can seamlessly adapt EAPO to other advantage actor-critic algorithms such as A3C [28]. This adaptability lays the groundwork for deeper investigations into the interactions between the MaxEnt RL framework and various components of reinforcement learning algorithms. We anticipate that the inherent simplicity of on-policy algorithms and EAPO will encourage broader applications of the MaxEnt RL algorithm to promising areas like competitive reinforcement learning and robust reinforcement learning.
We begin with the proof of [24]. Let us denote the discounted state distributions induced by the policy \(\pi\) as \(\rho^\pi(s)\) for the discount factor \(\gamma_V\), and as \(\rho^\pi_\mathcal{H}(s)\) for the discount factor \(\gamma_\mathcal{H}\), respectively. Then, \[\begin{align} \nabla_\theta J(\pi_\theta) &= \mathbb{E}_{\substack{s_0\sim \rho, \\ a_t\sim\pi, \\ s_{t+1}=\mathcal{T}(s_t,a_t)} }\left[{(\tilde{Q}^\pi(s_t, a_t) - \tau\log\pi(a_t|s_t) - 1)\nabla_\theta\log\pi(a_t|s_t)}\right] \\ &= \sum_{s}\left[\rho^\pi(s)[\nabla_\theta\sum_a\pi(s|a)[Q^\pi(s, a) - V^\pi(s)]] \right. \\ & \left. \qquad+ \tau\rho^\pi_\mathcal{H}(s)[\nabla_\theta\sum_a\pi(s|a)(Q^\pi_\mathcal{H}(s,a) -\log\pi(a|s))]\right] \\ &= \mathbb{E}_{s\sim\rho^\pi,a_t\sim\pi}\left[{\nabla_\theta\log\pi_\theta(a_t|s_t)A^\pi(s_t,a_t)}\right] + \tau\mathbb{E}_{s_t\sim\rho^\pi_\mathcal{H},a_t\sim\pi}\left[{\nabla_\theta\log\pi_\theta(a_t|s_t)A^\pi_\mathcal{H}(s_t,a_t)}\right] \\ &= \mathbb{E}_{\substack{s_0\sim \rho, \\ a_t\sim\pi, \\ s_{t+1}=\mathcal{T}(s_t,a_t)} }\left[{\nabla_\theta\log\pi_\theta(a_t|s_t)\gamma_V^t A^\pi(s_t,a_t)}\right] \\ &\qquad+ \tau\mathbb{E}_{\substack{s_0\sim \rho, \\ a_t\sim\pi, \\ s_{t+1}=\mathcal{T}(s_t,a_t)} }\left[{\nabla_\theta\log\pi_\theta(a_t|s_t)\gamma_\mathcal{H}^t A^\pi_\mathcal{H}(s_t,a_t)}\right] \\ &= \mathbb{E}_{\substack{s_0\sim \rho, \\ a_t\sim\pi, \\ s_{t+1}= \mathcal{T}(s_t,a_t)} }\left[{(\gamma_V^t A(s_t,a_t)+\gamma_\mathcal{H}^t \tau A^\pi_\mathcal{H}(s_t,a_t))\nabla_\theta\log\pi_\theta(a_t|s_t)}\right]. \tag*{\square} \end{align}\]
MiniGrid-Empty-8x8-v0
example↩︎The action space of MiniGrid-Empty-8x8-v0
[21] consists of 7 discrete actions: 2 actions for turning left or right, 1
action for moving forward, and 4 no-op actions. The reward, calculated as \(1 - 0.9t/T\) is given only when the agent reaches the goal state, where \(t\) is the number of steps taken and
\(T\) is the maximum number of steps allowed. For \(T\), the default value (256) is used. We modified the turning actions so that they also move the agent forward to the corresponding
directions (i.e., no extra step is required to maneuver), enabling multiple optimal trajectories. This modification reduces the optimal number of steps from 11 to 10. The observation used is the full \(8\times 8 \times 3\)
image without partial observability. We employ a simple CNN architecture from [36] as a shared feature extractor. The state visitation
plots are generated from 100 rollouts using policies trained over 4M frames. The mean trajectory entropy and the mean steps are averaged from 10 different random seeds. We select the representative heatmap for each setup from the run with the trajectory
entropy closest to the average trajectory entropy across all seeds. The normalised state visitation frequency is calculated by dividing the number of visits to each state divided by the total number of state visits in the trajectories.
We use the default values in stable-baseline3 [34] and envpool [35] libraries for the settings not specified in the table 2. EAPO-specific hyperparameters are reported in Table 3. The parameters for the MuJoCo tasks are found in a coarse hyperparameter search.
::: {#tbl:table:ppo hp} | Parameter | MuJoCo (PPO) | MuJoCo (TRPO) | Procgen | Empty | DoorKey | |:———————-|:——————-|:——————-|:————-|:———–|:—————| | Timesteps | 10M | 10M | 25M | 4M | 5M | | Num. Envs | 64 | 64 | 64 | 16 | 64 | | Num. Steps | 128 | 64 | 256 | 128 | 128 | | Learning Rate | 5 × 10−4 | 5 × 10−4 | 5 × 10−4 | 5 × 10−4 | 1 × 10−3 | | Batch Size | 1024 | 1024 (critic) | 2048 | 1024 | 1024 | | Epochs | 4 | 4 (critic) | 3 | 4 | 4 | | Discount Factor | 0.99 | 0.99 | 0.995 | 0.99 | 0.995 | | GAE \(\lambda\) | 0.95 | 0.95 | 0.8 | 0.95 | 0.995 | | Clip Range \(\epsilon\) | 0.2 | 0.2 | 0.1 | 0.2 | 0.2 | | Max Grad. Norm. | 3.5 | 3.5 | 0.5 | 0.5 | 0.5 | | Adv. Norm. | True | True | True | True | True | | Obs. Norm. | True | True | False | False | False | | Rew. Norm. | False | False | False | False | False | | PopArt \(\beta\) | 0.03 | 0.03 | 0.03 | 0.03 | 0.03 | | Value Loss Coeff. | 0.25 | 0.25 | 0.5 | 0.5 | 0.5 | | Entropy Coeff. | (1e-2, 1e-3, 1e-4) | (1e-2, 1e-3, 1e-4) | (1e-2, 1e-3) | None | [1e-5, 1e-4] | | Target KL | None | 0.07 | None | None | None |
: Common hyperparameters.
:::
Parameter | Procgen | Empty | DoorKey | MuJoCo (PPO) | MuJoCo (TRPO) | |
---|---|---|---|---|---|---|
\(\gamma_\mathcal{H}\) | (0.8, 0.9) | (0.9, 0.99) | 0.8 | Ant | 0.99 | 0.9 |
Walker2d | 0.95 | 0.95 | ||||
HalfCheetah | 0.99 | 0.999 | ||||
Humanoid | 0.999 | 0.99 | ||||
\(\lambda_\mathcal{H}\) | (0.95, 0.0) | 0.0 | 0.0 | Ant | 0.001 | 0.8 |
Walker2d | 0.99 | 0.95 | ||||
HalfCheetah | 0.001 | 0.8 | ||||
Humanoid | 0.001 | 0.8 | ||||
\(\tau\) | (0.2, 0.005) | 0.0 | (0.001, | Ant | 0.02 | 0.1 |
0.002, | Walker2d | 0.1 | 0.4 | |||
0.003) | HalfCheetah | 0.1 | 0.2 | |||
Humanoid | 0.01 | 0.2 | ||||
\(c_2\) | 0.5 | 1.0 | 1.0 | 1.0 | 1.0 |
For discretised MuJoCo tasks, we used simple \(\tanh\) networks for the policy and the critics with hidden layers of depth [64, 64] and [128, 128], respectively. We implemented the entropy critic as the independent output layer that shares the hidden layers with the value network. For the continuous MuJoCo tasks we use [256, 256] and [512, 512] for policy and critic networks and the state- and action-dependent \(\sigma\) output for the Gaussian policy with the Softplus output layer.
In Procgen benchmark experiments, we adopt the same IMPALA CNN architecture used in [20]. The entropy critic is again a single final output layer that shares the CNN feature extractor.