Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
E. A. Neufeld, E. Bartocci, A. Ciabattoni, G. Governatori:
"A Normative Supervisor for Reinforcement Learning Agents";
Vortrag: 28th International Conference on Automated Deduction (CADE 28),
Virtual Event;
12.07.2021
- 15.07.2021; in: "Proc. of CADE 2021: 28th International Conference on Automated Deduction (CADE 28)",
12699
(2021),
S. 565
- 576.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-79876-5_32
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.