Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming

This paper proposes a learning and diagnosis method that can be applied immediately after a distributed system starts cooperative operation. The proposed method first learns behavioral rules for individual systems from their time series data, which are collected under independent operations. Then, anomality is detected and the system is diagnosed following the cooperative specification. The proposed method learns rules for individual systems based on ACEDIA, which is a kind of inductive logic programming; the rules are either transition rules or relationship rules that hold among variables at the same transition time. In a diagnostic phase, inconsistent rules and inconsistent specifications are obtained with ranking information against the diagnostic data, where ranking is performed through evaluation in terms of the generality on each rule and specification. We demonstrate that the proposed method correctly outputs the rules and specifications that are violated by diagnostic data. Moreover, in a case study on a simplified automotive system consisting of multiple control systems, the rules essentially related to the error were ranked higher.

[1]  Bo Zong,et al.  Deep Autoencoding Gaussian Mixture Model for Unsupervised Anomaly Detection , 2018, ICLR.

[2]  Vítor Santos Costa,et al.  Inductive Logic Programming , 2013, Lecture Notes in Computer Science.

[3]  Chiaki Sakama,et al.  Learning from interpretation transition , 2013, Machine Learning.

[4]  Abhishek Das,et al.  Grad-CAM: Visual Explanations from Deep Networks via Gradient-Based Localization , 2016, 2017 IEEE International Conference on Computer Vision (ICCV).

[5]  Hiroyuki Seki,et al.  Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT , 2016, FTSCS.

[6]  Christopher Leckie,et al.  High-dimensional and large-scale anomaly detection using a linear one-class SVM with deep learning , 2016, Pattern Recognit..

[7]  Geoffrey E. Hinton,et al.  Zero-shot Learning with Semantic Output Codes , 2009, NIPS.

[8]  Frédéric Goualard,et al.  Revising Hull and Box Consistency , 1999, ICLP.

[9]  Katsushi Sanda,et al.  Degradation Estimation of Turbines in Wind Farm Using Denoising Autoencoder Model , 2019, 2019 IEEE International Conference on Prognostics and Health Management (ICPHM).

[10]  Zhi-Hua Zhou,et al.  Logical Vision: One-Shot Meta-Interpretive Learning from Real Images , 2017, ILP.

[11]  Henrik Boström,et al.  Learning First Order Logic Time Series Classifiers: Rules and Boosting , 2000, PKDD.

[12]  Ivan Laptev,et al.  Learning and Transferring Mid-level Image Representations Using Convolutional Neural Networks , 2014, 2014 IEEE Conference on Computer Vision and Pattern Recognition.

[13]  Richard Evans,et al.  Learning Explanatory Rules from Noisy Data , 2017, J. Artif. Intell. Res..