On Corrigibility and Alignment in Multi Agent Games
This work addresses the under-explored issue of corrigibility for autonomous agents in multi-agent environments, which is incremental as it extends single-agent concepts to more complex settings.
The paper tackles the problem of corrigibility in multi-agent systems by modeling it as a two-player game where agents can ask for human supervision, analyzing cases including common payoff and harmonic games, and providing a general result for belief conditions to induce corrigibility in adversarial settings.
Corrigibility of autonomous agents is an under explored part of system design, with previous work focusing on single agent systems. It has been suggested that uncertainty over the human preferences acts to keep the agents corrigible, even in the face of human irrationality. We present a general framework for modelling corrigibility in a multi-agent setting as a 2 player game in which the agents always have a move in which they can ask the human for supervision. This is formulated as a Bayesian game for the purpose of introducing uncertainty over the human beliefs. We further analyse two specific cases. First, a two player corrigibility game, in which we want corrigibility displayed in both agents for both common payoff (monotone) games and harmonic games. Then we investigate an adversary setting, in which one agent is considered to be a `defending' agent and the other an `adversary'. A general result is provided for what belief over the games and human rationality the defending agent is required to have to induce corrigibility.