A Normative Supervisor for Reinforcement Learning Agents
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori · Lecture notes in computer science · 2021
Abstract We introduce a modular and transparent approach for augmenting the ability of reinforcement learning agents to comply with a given norm base. The normative supervisor module functions as both an event recorder and real-time compliance checker w.r.t. an external norm base. We have implemented this module with a theorem prover for defeasible deontic logic, in a reinforcement learning agent that we task with playing a “vegan” version of the arcade game Pac-Man.