Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 6 papers in the map (data through 7 Oct 2026). Builds on 11 of its 34 references that are in the map. First posted on arXiv 17 May 2023.
Builds on
11 of 34 references.
References · 11
- 2015Deep Residual Learning for Image Recognitioncited by 51,809
- 2020An Image is Worth 16x16 Words: Transformers for Image Recognition at Scalecited by 29,915
- 2015Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networkscited by 9,617
- 2017Mask R-CNNcited by 7,259
- 2015You Only Look Once: Unified, Real-Time Object Detectioncited by 4,829
- 2015SSD: Single Shot MultiBox Detectorcited by 3,125
- 2019KagNet: Knowledge-Aware Graph Networks for Commonsense Reasoningcited by 216
- 2017End-to-End Differentiable Provingcited by 159
- 2017Logic Tensor Networks for Semantic Image Interpretationcited by 92
- 2019The Seventh Answer Set Programming Competition: Design and Resultscited by 11
- 2016Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)cited by 8
Built on by
Citing papers per year: 2025: 4; 2026: 2.
6 papers.
- 2025Visual Graph Question Answering with ASP and LLMs for Language Parsingcited by 2
- 2025RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verificationcited by 1
- 2026Neural Decision-Propagation for Answer Set Programmingcited by 1
- 2025Improving ASP-based ORS Schedules through Machine Learning Predictionscited by 0
- 2025Policy-Driven AI in Dataspaces: Taxonomy, Explainability, and Pathways for Compliant Innovationcited by 0
- 2026The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understandingcited by 0
- 2026Neural Decision-Propagation for Answer Set Programming3 May 2026
- 2026The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding3 Feb 2026
- 2025RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification30 Oct 2025
- 2025Policy-Driven AI in Dataspaces: Taxonomy, Explainability, and Pathways for Compliant Innovation26 Jul 2025
- 2025Improving ASP-based ORS Schedules through Machine Learning Predictions22 Jul 2025
- 2025Visual Graph Question Answering with ASP and LLMs for Language Parsing13 Feb 2025