This paper presents an ongoing work on project MAP4ID “Multipurpose Analytics Platform 4 Industrial Data”, where one of the objectives is to propose suitable combinations of machine learning and Answer Set Programming (ASP) to cope with industrial problems. In particular, we focus on a specific use case of the project, where we combine deep learning and ASP to solve a problem of compliance to blueprints of electric panels. The use case data was provided by Elettrocablaggi srl, a SME leader in the market. Our proposed solution couples an object-recognition layer, implemented resorting to deep neural networks, that identifies components in an image of an electric panel, and sends this information to a logic program, that checks the compliance of the panel in the picture with the blueprint of the circuit.
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels / Barbara, Vito; Buelli, Dimitri; Guarascio, Massimo; Ierace, Stefano; Iiritano, Salvatore; Laboccetta, Giovanni; Leone, Nicola; Manco, Giuseppe; Pesenti, Valerio; Quarta, Alessandro; Ricca, Francesco; Ritacco, Ettore. - 3204:(2022), pp. 247-253. (Intervento presentato al convegno 37th Italian Conference on Computational Logic (CILC 2022) tenutosi a Bologna; Italy).
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels
Guarascio Massimo
;Ierace Stefano
;Quarta Alessandro
;
2022
Abstract
This paper presents an ongoing work on project MAP4ID “Multipurpose Analytics Platform 4 Industrial Data”, where one of the objectives is to propose suitable combinations of machine learning and Answer Set Programming (ASP) to cope with industrial problems. In particular, we focus on a specific use case of the project, where we combine deep learning and ASP to solve a problem of compliance to blueprints of electric panels. The use case data was provided by Elettrocablaggi srl, a SME leader in the market. Our proposed solution couples an object-recognition layer, implemented resorting to deep neural networks, that identifies components in an image of an electric panel, and sends this information to a logic program, that checks the compliance of the panel in the picture with the blueprint of the circuit.File | Dimensione | Formato | |
---|---|---|---|
Barbara_A-loosely_2022.pdf
accesso aperto
Note: https://ceur-ws.org/Vol-3204/paper_24.pdf
Tipologia:
Documento in Post-print (versione successiva alla peer review e accettata per la pubblicazione)
Licenza:
Creative commons
Dimensione
425.61 kB
Formato
Adobe PDF
|
425.61 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.