Summary
The paper studies the problem of multi-agent imitation learning (MAIL), with a focus on the differences and relationships between the value gap objective and the regret gap objective.
The set-up consists of a multi-agent Markov game, where a central mediator attempts to coordinate the behaviors of the agents. Two potential objectives are compared: (1) Value gap objective: the coordinator tries to minimize the maximum deficiency among the agents in the overall value under the (joint) learning policy compared to the expert policy; (2) Regret gap objective: the coordinator minimizes instead the excess regret with respect to the expert policy, with regret defined as the maximum utility gain among the agents by deviating from the recommendation.
The authors show that, under certain completeness assumptions of both the reward and the deviation classes, regret equivalence implies value equivalence; In contrast, value equivalence in general does not imply regret equivalence. These are in sharp contrast to the single-agent imitation learning setting, where the two notions become equivalent.
While regret equivalence is hard in general, the authors provide two algorithms, MALICE and BLADES, under different assumptions on recoverability, policy coverage, and/or query-ability of expert. Both algorithms provide a linear (in horizon) bound on the regret gap, which matches the single agent case.
Strengths
[Originality and significance] The paper brings novel insights on MAIL in the sense that it characterizes how MAIL differs from SAIL in the regret perspective. Both the value-regret relationship results and the algorithms demonstrate the hardness in the multi-agent case due to lack of access to expert recommendations in counter-factual settings. In addition to the hardness results, the authors also provide algorithms that can be potentially useful to tackle the regret gap problem; this is valuable despite the still limited conditions.
[Quality and clarity] The paper is generally well written and easy for me to follow. The results and their proofs seem correct.
Weaknesses
The main limitations of this paper lie in the significance of the results, both from the theoretical and the practical front. This is by no means to diminish the value of the results. What concerns me is two folds: (1) The main claims on the hardness of value gap and regret gap see mostly standard. The hardness due to inability to observe certain information in the multi-agent setting seems generally intuitive and unsurprising, and I think prior works (e.g., [1]) have to some extent demonstrated similar insights in related (albeit different) settings. The contribution seems more marginal in this respect. (I do perceive the contribution on the algorithmic side, though, as more substantial.) (2) On the practical side, I am not sure how the proposed methodology shall be applied to solving real world problems. Despite the theoretical nature of this paper, additional discussion on this can help make the paper more approachable to a larger audience.
[1] Zhao, G., Zhu, B., Jiao, J., & Jordan, M. Online learning in Stackelberg games with an omniscient follower. International Conference on Machine Learning 2023.
Questions
- Line 172: I am not sure why Theorem 4.2 “proves that the completeness of the classes is *necessary*”. I suspect the word “necessary” is not in its mathematical meaning, since the theorem seems to only show that some condition on the classes is necessary.
- Line 179: Why is this the italicized statement “surprising”? I in fact find it quite expected, especially given the discussion in Line 176-177 on the regret equivalence as a stronger notion. This really makes me think that I’m missing on some key intuition regarding why one could hope for the direct implication.
- I would like to see more discussion on how restrictive the assumptions (in particular, the recoverability Assumption 5.1) actually are, e.g., when one could expect them to hold. This would help better bridge the gap between the theoretical results and the practice.
Minor comments:
- Line 146: I find this notation a bit unstandard $\Psi := \{\Psi_i\}_{I=1}^m$ (as a sequence of sets). Maybe the product is more appropriate?
- I think $r$ and $f$ are used interchangeably when denoting the reward function. Nothing wrong, but I suppose they could be made consistent.
- Line 183: Typo “even” => “even if”
Limitations
Addressed in Section 6 and Appendix A. The paper is of a theoretical nature.