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 symbols into sequences of images by exploiting symbolic logical knowledge in the form of Linear Temporal Logic over finite traces (LTLf) formulas, and sequence-level labels expressing if a sequence of images is compliant or not with the given formula. Our approach is based on translating the LTLf formula into an equivalent deterministic finite automaton (DFA) and interpreting the latter in fuzzy logic. Experiments show that our system outperforms recurrent neural networks in sequence classification and can reach high image classification accuracy without being trained with any single-image label.

Grounding LTLf Specifications in Image Sequences / Umili, Elena; Capobianco, Roberto; DE GIACOMO, Giuseppe. - (2023), pp. 668-678. (Intervento presentato al convegno International Conference on the Principles of Knowledge Representation and Reasoning tenutosi a Rhodes, Greece) [10.24963/kr.2023/65].

Grounding LTLf Specifications in Image Sequences

Elena Umili
;
Roberto Capobianco;Giuseppe De Giacomo
2023

Abstract

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 symbols into sequences of images by exploiting symbolic logical knowledge in the form of Linear Temporal Logic over finite traces (LTLf) formulas, and sequence-level labels expressing if a sequence of images is compliant or not with the given formula. Our approach is based on translating the LTLf formula into an equivalent deterministic finite automaton (DFA) and interpreting the latter in fuzzy logic. Experiments show that our system outperforms recurrent neural networks in sequence classification and can reach high image classification accuracy without being trained with any single-image label.
2023
International Conference on the Principles of Knowledge Representation and Reasoning
Grounding representations in the physical world; Integrating symbolic and sub-symbolic approaches ; Neural-symbolic learning; Applications of KR in computer vision
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Grounding LTLf Specifications in Image Sequences / Umili, Elena; Capobianco, Roberto; DE GIACOMO, Giuseppe. - (2023), pp. 668-678. (Intervento presentato al convegno International Conference on the Principles of Knowledge Representation and Reasoning tenutosi a Rhodes, Greece) [10.24963/kr.2023/65].
File allegati a questo prodotto
File Dimensione Formato  
Umili_Grounding_2023.pdf

accesso aperto

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Creative commons
Dimensione 834.67 kB
Formato Adobe PDF
834.67 kB Adobe PDF

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1688956
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact