This tutorial by Celeste Veronese and Daniele Meli provides a theoretical and practical introduction to Neurosymbolic decision making, with a particular focus on Reinforcement Learning (NeSyRL) for autonomous agents. This emerging paradigm combines the strengths of symbolic reasoning (expressive abstraction and generalization) with the adaptability of Deep RL under uncertainty. Participants will explore how symbolic task knowledge can be represented in various ways, from reward machines to structured logic programs, enabling declarative representations of actions, constraints, and preferences for decision making. The core of the tutorial presents a critical overview of leading NeSyRL frameworks that integrate these symbolic abstractions into RL algorithms, producing autonomous agents that balance interpretability, safe generalization, and data efficiency. Practical examples from both single- and multi-agent scenarios will complement the theoretical discussion, equipping attendees with methods and tools for neurosymbolic decision making. Finally, the tutorial will highlight current trends and open challenges that are shaping the future of this rapidly evolving research field.
In the spirit of the Italian National Digital School Plan, the Department of Computer Science of the University of Verona, Sapienza University and International Study University of Rome promote and showcase the use of Robotics and Artificial Intelligence in various contexts of high social value.