Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performed by domain experts. In particular, assessing the compliance of a product with the relative schematic is a time-consuming and prone-to-error process. In this paper, we address this problem in a specific industrial scenario. In particular, we define a Neuro-Symbolic approach for automating the compliance verification of the electrical control panels. Our approach is based on the combination of Deep Learning techniques with Answer Set Programming (ASP), and allows for identifying possible anomalies and errors in the final product even when a very limited amount of training data is available. The experiments conducted on a real test case provided by an Italian Company operating in electrical control panel production demonstrate the effectiveness of the proposed approach

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels / Barbara, Vito; Guarascio, Massimo; Leone, Nicola; Manco, Giuseppe; Quarta, Alessandro; Ricca, Francesco; Ritacco, Ettore. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1475-3081. - 23:4(2023). [10.1017/S1471068423000170]

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels

GUARASCIO MASSIMO;QUARTA ALESSANDRO;
2023

Abstract

Artificial Intelligence plays a main role in supporting and improving smart manufacturing and Industry 4.0, by enabling the automation of different types of tasks manually performed by domain experts. In particular, assessing the compliance of a product with the relative schematic is a time-consuming and prone-to-error process. In this paper, we address this problem in a specific industrial scenario. In particular, we define a Neuro-Symbolic approach for automating the compliance verification of the electrical control panels. Our approach is based on the combination of Deep Learning techniques with Answer Set Programming (ASP), and allows for identifying possible anomalies and errors in the final product even when a very limited amount of training data is available. The experiments conducted on a real test case provided by an Italian Company operating in electrical control panel production demonstrate the effectiveness of the proposed approach
2023
Automated Quality Control Systems, Answer Set Programming, Computer Vision, Data Scarcity
01 Pubblicazione su rivista::01a Articolo in rivista
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels / Barbara, Vito; Guarascio, Massimo; Leone, Nicola; Manco, Giuseppe; Quarta, Alessandro; Ricca, Francesco; Ritacco, Ettore. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1475-3081. - 23:4(2023). [10.1017/S1471068423000170]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

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/1690041
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact