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), pp. 748-764. [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), pp. 748-764. [10.1017/S1471068423000170]
File allegati a questo prodotto
File Dimensione Formato  
Vito_preprintNeuro-Symbolic_2023.pdf.pdf

accesso aperto

Note: DOI10.1017/S1471068423000170
Tipologia: Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza: Creative commons
Dimensione 1.21 MB
Formato Adobe PDF
1.21 MB Adobe PDF
Vito_Neuro-Symbolic_2023.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.07 MB
Formato Adobe PDF
1.07 MB Adobe PDF   Contatta l'autore

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
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact