用于电气控制面板合规性检查的神经符号AI
人工智能
2023-05-18 v1 机器学习
摘要
人工智能通过实现由领域专家手动执行的不同类型任务的自动化，在支持和改进智能制造与工业 4.0 方面发挥着主要作用。特别是，评估产品与相关原理图的合规性是一个耗时且容易出错的过程。本文针对特定工业场景解决这一问题。具体而言，我们定义了一种神经符号方法，用于自动化电气控制面板的合规性验证。该方法基于深度学习技术与回答集编程（ASP）的结合，即使在可用训练数据非常有限的情况下，也能识别最终产品中可能存在的异常和错误。在一家从事电气控制面板生产的意大利公司提供的真实测试用例上进行的实验证明了所提方法的有效性。
引用
@article{arxiv.2305.10113,
title = {Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels},
author = {Vito Barbara and Massimo Guarascio and Nicola Leone and Giuseppe Manco and Alessandro Quarta and Francesco Ricca and Ettore Ritacco},
journal= {arXiv preprint arXiv:2305.10113},
year = {2023}
}
备注
16 pages, 10 figures, accepted for publication in Theory and Practice of Logic Programming journal