Eduardo C. Garrido-Merchán

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems

A three-stage post-hoc transformation that extracts a frozen proximal policy optimization teacher, induces an ordered rule list from its decisions in the manner of classical relational learning, and emits the result as a Prolog program whose every decision is executed by an off-the-shelf logic engine is presented.