Grounding LTLf specifications in image sequences

A critical challenge in neuro-symbolic (NeSy) approaches is to handle the symbol grounding problem without direct supervision. That is mapping high-dimensional raw data into an interpretation over a finite set of abstract concepts with a known meaning, without using labels. In this work, we ground s...

Full description

Bibliographic Details
Main Authors: Umili, E, Capobianco, R, De Giacomo, G
Format: Conference item
Language:English
Published: International Joint Conferences on Artificial Intelligence 2023