Neuro-Symbolic Artificial Intelligence for Safety Engineering

被引:0
作者
Carnevali, Laura [1 ]
Lippi, Marco [1 ]
机构
[1] Univ Florence, Dept Informat Engn, Via Santa Marta 3, I-50139 Florence, Italy
来源
COMPUTER SAFETY, RELIABILITY, AND SECURITY. SAFECOMP 2024 WORKSHOPS | 2024年 / 14989卷
关键词
Neuro-symbolic artificial intelligence; Learning and reasoning; Explainable artificial intelligence; Safety engineering;
D O I
10.1007/978-3-031-68738-9_35
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
One of the challenges for safety engineering in the coming years is to fully exploit the potential of artificial intelligence technologies, while maintaining a high level of interpretability, trustworthiness, and accountability. In this position paper, we argue that neuro-symbolic artificial intelligence approaches could represent the ideal framework to address tasks in the field of safety engineering, by combining the capability of neural networks of processing large volumes of data and of handling uncertainty, with the expressive power of symbolic approaches in modeling domain knowledge, rules, and constraints.
引用
收藏
页码:438 / 445
页数:8
相关论文
共 34 条
  • [1] A Survey of Statistical Model Checking
    Agha, Gul
    Palmskog, Karl
    [J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (01):
  • [2] Logic Tensor Networks
    Badreddine, Samy
    Garcez, Artur d'Avila
    Serafini, Luciano
    Spranger, Michael
    [J]. ARTIFICIAL INTELLIGENCE, 2022, 303
  • [3] Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
  • [4] Besold TR, 2022, FRONT ARTIF INTEL AP, V342, P1, DOI 10.3233/FAIA210348
  • [5] A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments
    Biagi, Marco
    Carnevali, Laura
    Paolieri, Marco
    Patara, Fulvio
    Vicario, Enrico
    [J]. IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, 2019, 49 (04) : 293 - 303
  • [6] Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks
    Biagi, Marco
    Carnevali, Laura
    Tarani, Fabio
    Vicario, Enrico
    [J]. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2019, 3 (02)
  • [7] Improving the analysis of dependable systems by mapping fault trees into Bayesian networks
    Bobbio, A
    Portinale, L
    Minichino, M
    Ciancamerla, E
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2001, 71 (03) : 249 - 260
  • [8] Camacho A, 2019, Arxiv, DOI arXiv:1912.13430
  • [9] An Efficient Library for Reliability Block Diagram Evaluation
    Carnevali, Laura
    Ciani, Lorenzo
    Fantechi, Alessandro
    Gori, Gloria
    Papini, Marco
    [J]. APPLIED SCIENCES-BASEL, 2021, 11 (09):
  • [10] Performability Evaluation of Water Distribution Systems During Maintenance Procedures
    Carnevali, Laura
    Tarani, Fabio
    Vicario, Enrico
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (05): : 1704 - 1720