Summary
The paper focuses on goal-conditioned reinforcement learning (RL), where the goal-conditioned reward function is often sparse. Consequently, standard goal-conditioned RL algorithms suffer from the exploration problem, thus requiring the need to shape rewards. The paper proposes a a new formulation that minimizes the $f$-divergence between the policy's state-visitation distribution and the goal distribution. The paper theoretically shows that minimizing such objective yields the optimal policy and provided empirical evaluations on two maze tasks.
Strengths
- As far as I know, the $f$-divergence between state-visitation distribution and goal distribution is a novel contribution.
- The paper theoretically shows that optimizing their objective yields the optimal policy.
- Good visualizations on demonstrating the policies' behaviours.
Weaknesses
- I think $\gamma$ should not be introduced as it does not really contribute to the idea. Also, since we wish to maximize $\mathbb{E}_\theta\left[\eta\right]$, the aim to achieve the task as quickly as possible is there.
- How is $\int \eta_\tau(s) ds = T$ in theorem 4.3 when we are not assuming fixed horizon $T$---this is based on page 3, on line 131, where the paper assumes that the trajectory ends when the agent reaches the goal or if maximum horizon $T$ is reached.
- It seems like if the paper is using the fixed-horizon setting, then theorem 4.3 will make sense, in terms of being similar to maximizing the expected return.
- Furthermore, I believe we can actually relate the policy error even if the trained policy is sub-optimal. It will be nice if there is some results regarding suboptimality.
- On page 5, second last paragraph, why do we not just assign equiprobability to the correct goal states, but $\varepsilon$ to all other states? It seems like we already have such access anyway. Otherwise, is this not a "coverage" assumption?
- If I am not mistaken, under Gaussian policies, $f$-PG with FKL essentially recovers some sort of L2 distance. I think for reaching tasks this is naturally a good and dense reward, which may explain the better performance than other approaches.
- It will be interesting if the paper provides plot describing the correlation of the "constructed" reward and the "natural" dense reward (i.e. L2 distance between state and goal).
- It will also be nice to show a task aside from maze and analyze whether FKL still performs better in general.
- The paper should further describe how the state-visitation distribution $p_\pi$ and the goal distribution $p_g$ are trained, maybe in the appendix.
Questions
- Based on Figure 4, the paper suggests that the maximizing entropy of state-visitation matters.
- When computing the success rate, are we sampling from the policy, or taking the mean of the policy?
- How would PPO with entropy-regularized objective (or SAC) perform?
- The paper proposes to learn the distributions separately using kernel density estimators (KDE).
- It seems like this is not really the consequence of the theory, but just a choice, is that right?
- If it is indeed a choice, I am not completely sure if the instability of the discriminator plays a role.
- In the related works section, there were few sentences indicating instability due to non-stationary rewards (in particular, under the subsection shaping rewards). Isn't this approach also non-stationary? Shouldn't there be similar instability as other approaches then?
**Possible typos**
- On page 2, line 52: "insufficiency" instead of "insufficient"
- On page 2, line 90: "learning" instead of "Learning"
- On page 3, line 94: "expert's" instead of "expert"
- On page 3, line 102: "learning" instead of "Learning"
- On page 3, line 133: The expectation should also be over the goal $g$
- On page 3, line 137: The distribution should include $\mu_0(s_0)$
- On page 3, equation (1): $p_\theta(\tau ; g)$ instead of $p_\theta(\tau)$
- On page 3, equation (2): $(s) d\tau$ should be $d\tau$ on the numerator
- On page 4, line 160: $\pi$ instead of $p_\pi$.
- Figure 2, legend: $fkl-rew$ should be $fkl-new$
- Appendix, on page 6, line 86: Should be "Theorem 4.3" instead of "Theorem 4.2"
Rating
6: Weak Accept: Technically solid, moderate-to-high impact paper, with no major concerns with respect to evaluation, resources, reproducibility, ethical considerations.
Confidence
3: You are fairly confident in your assessment. It is possible that you did not understand some parts of the submission or that you are unfamiliar with some pieces of related work. Math/other details were not carefully checked.
Limitations
- The paper requires an assumption of knowing the goal function. That is, reward $r(s, a, s';g) = \mathbb{I}(s' = g)$. Designing such a goal function can be challenging due to hardware constraints in real-life applications, notably in robotics tasks.