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...

Celý popis

Podrobná bibliografie
Hlavní autoři: Umili, E, Capobianco, R, De Giacomo, G
Médium: Conference item
Jazyk:English
Vydáno: International Joint Conferences on Artificial Intelligence 2023