Talks and Poster Presentations (with Proceedings-Entry):
E. A. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori:
"A Normative Supervisor for Reinforcement Learning Agents";
Talk: 28th International Conference on Automated Deduction (CADE 28),
- 2021-07-15; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)",
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.