Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels

被引:0
|
作者
Barbara, Vito [1 ]
Leone, Nicola [1 ]
Ricca, Francesco [1 ]
Guarascio, Massimo [2 ]
Manco, Giuseppe [2 ]
Quarta, Alessandro [3 ]
Ritacco, Ettore [4 ]
机构
[1] Univ Calabria, Arcavacata Di Rende, Italy
[2] ICAR CNR, Arcavacata Di Rende, Italy
[3] Sapienza Univ Rome, Rome, Italy
[4] Univ Udine, Udine, Italy
关键词
automated quality control systems; answer set programming; computer vision; data scarcity;
D O I
10.1017/S1471068423000170
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:748 / 764
页数:17
相关论文
共 50 条
  • [41] Logic-Based Machine Learning: Recent Advances and Their Role in Neuro-Symbolic AI
    Russo, Alessandra
    Law, Mark
    Cunnington, Daniel
    Furelos-Blanco, Daniel
    Broda, Krysia
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2022, 2022, 13416 : XVIII - XXI
  • [42] Is neuro-symbolic AI meeting its promises in natural language processing? A structured review
    Hamilton, Kyle
    Nayak, Aparna
    Bozic, Bojan
    Longo, Luca
    SEMANTIC WEB, 2024, 15 (04) : 1265 - 1306
  • [43] Tools and experiments for hybrid neuro-symbolic processing
    Alexandre, F
    NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 338 - 345
  • [44] Neuro-symbolic XAI for Computational Drug Repurposing
    Drance, Martin
    Boudin, Marina
    Mougin, Fleur
    Diallo, Gayo
    PROCEEDINGS OF THE 13TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT (KEOD), VOL 2, 2021, : 220 - 225
  • [45] Weightless neuro-symbolic GPS trajectory classification
    Barbosa, Raul
    Cardoso, Douglas O.
    Carvalho, Diego
    Franca, Felipe M. G.
    NEUROCOMPUTING, 2018, 298 : 100 - 108
  • [46] Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints
    Shiqi, Shen
    Shinde, Shweta
    Ramesh, Soundarya
    Roychoudhury, Abhik
    Saxena, Prateek
    26TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2019), 2019,
  • [47] Reliable Neuro-Symbolic Abstractions for Planning and Learning
    Shah, Naman
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 7093 - 7094
  • [48] Overcoming Recommendation Limitations with Neuro-Symbolic Integration
    Carraro, Tommaso
    PROCEEDINGS OF THE 17TH ACM CONFERENCE ON RECOMMENDER SYSTEMS, RECSYS 2023, 2023, : 1325 - 1331
  • [49] Robust Neuro-Symbolic Goal and Plan Recognition
    Amado, Leonardo
    Pereira, Ramon Fraga
    Meneguzzi, Felipe
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 10, 2023, : 11937 - 11944
  • [50] ADAM: A Prototype of Hierarchical Neuro-Symbolic AGI
    Shumsky, Sergey
    Baskov, Oleg
    ARTIFICIAL GENERAL INTELLIGENCE, AGI 2023, 2023, 13921 : 255 - 264