Synthesizing Evolving Symbolic Representations for Autonomous Systems
Gabriele Sartor, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci, Rosa Meo

TL;DR
This paper introduces an open-ended learning system that synthesizes and updates symbolic representations from experience, enabling autonomous exploration and planning without predefined goals, by integrating intrinsic motivation with high-level knowledge abstraction.
Contribution
It presents a novel architecture that synthesizes and updates symbolic knowledge in real-time, combining low-level exploration with high-level planning in an open-ended learning framework.
Findings
The system can discover options and explore environments autonomously.
It effectively abstracts collected knowledge into PPDDL representations.
The approach enables continuous learning and planning without predefined goals.
Abstract
Recently, AI systems have made remarkable progress in various tasks. Deep Reinforcement Learning(DRL) is an effective tool for agents to learn policies in low-level state spaces to solve highly complex tasks. Researchers have introduced Intrinsic Motivation(IM) to the RL mechanism, which simulates the agent's curiosity, encouraging agents to explore interesting areas of the environment. This new feature has proved vital in enabling agents to learn policies without being given specific goals. However, even though DRL intelligence emerges through a sub-symbolic model, there is still a need for a sort of abstraction to understand the knowledge collected by the agent. To this end, the classical planning formalism has been used in recent research to explicitly represent the knowledge an autonomous agent acquires and effectively reach extrinsic goals. Despite classical planning usually…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEvolutionary Algorithms and Applications · Computability, Logic, AI Algorithms
MethodsSparse Evolutionary Training
