.png){kind=icon}
返回
Model-based reasoning using answer set programming
.png){kind=icon}
OA
AI
DOI：10.1007/s10489-022-03272-2.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Diagnosis, i.e., the detection and identification of faults, provides the basis for bringing systems back to normal operation in case of a fault. Diagnosis is a very important task of our daily live, assuring safe and reliable behavior of systems. The automation of diagnosis has been a successful research topic for several decades. However, there are limitations due to complexity issues and lack of expressiveness of the underlying reasoning mechanisms. More recently logic reasoning like answer set programming has gained a lot of attention and practical use. In this paper, we tackle the question whether answer set programming can be used for automating diagnosis, focusing on industrial applications. We discuss a formalization of the diagnosis problem based on answer set programming, introduce a general framework for modeling systems, and present experimental results of an answer set programming based diagnosis algorithm. Past limitations like not being able to deal with numerical operations for modeling can be solved to some extent. The experimental results indicate that answer set programming is efficient enough for being used in diagnosis applications, providing that the underlying system is of moderate size. For digital circuits having less than 500 components, diagnosis time has been less than one second even for computing triple fault diagnoses.
Keyword:
Model-based diagnosis
Answer set programming
Modeling for diagnosis
Experimental evaluation
期刊
IF:
3.5
论文数:
7.6K
被引数:
1.7W
机构
引用论文
Intelligent Agents Diagnostics-Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities智能代理诊断-通过自我诊断功能增强网络物理系统
PREAI
分享收藏The Co-Selection of Fluoroquinolone Resistance Genes in the Gut Flora of Vietnamese Children.png)
PLoS ONE
OAAI
PLoS ONEIF0
OAAI分享收藏
查看更多内容