Possible conflicts: a compilation technique for consistency-based diagnosis

Consistency-based diagnosis is one of the most widely used approaches to model-based diagnosis within the artificial intelligence community. It is usually carried out through an iterative cycle of behavior prediction, conflict detection, candidate generation, and candidate refinement. In that process conflict detection has proven to be a nontrivial step from the theoretical point of view. For this reason, many approaches to consistency-based diagnosis have relied upon some kind of dependency-recording. These techniques have had different problems, specially when they were applied to diagnose dynamic systems. Recently, offline dependency compilation has established itself as a suitable alternative approach to online dependency-recording. In this paper we propose the possible conflict concept as a compilation technique for consistency-based diagnosis. Each possible conflict represents a subsystem within system description containing minimal analytical redundancy and being capable to become a conflict. Moreover, the whole set of possible conflicts can be computed offline with no model evaluation. Once we have formalized the possible conflict concept, we explain how possible conflicts can be used in the consistency-based diagnosis framework, and how this concept can be easily extended to diagnose dynamic systems. Finally, we analyze its relation to conflicts in the general diagnosis engine (GDE) framework and compare possible conflicts with other compilation techniques, especially with analytical redundancy relations (ARRs) obtained through structural analysis. Based on results from these comparisons we provide additional insights in the work carried out within the BRIDGE community to provide a common framework for model-based diagnosis for both artificial intelligence and control engineering approaches.

[1]  Pieter J. Mosterman,et al.  Derivative Estimation for Diagnosis , 1999 .

[2]  Janos J. Gertler,et al.  Analytical Redundancy Methods in Fault Detection and Isolation , 1991 .

[3]  Olayiwola Oluwemimo Oyeleye.  Qualitative modeling of continuous chemical processes and applications to fault diagnosis , 1989 .

[4]  Giovanni Guida,et al.  Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis , 1993, IEEE Trans. Syst. Man Cybern..

[5]  Paul M. Frank,et al.  Issues of Fault Diagnosis for Dynamic Systems , 2010, Springer London.

[6]  Patrick Taillibert.  Residual Evaluation without Derivative Computation , 2000 .

[7]  Erik Frisk,et al.  Residual Generator Design for Non-linear, Polynomial Systems - A Gröbner Basis Approach , 2000 .

[8]  Philippe Dague,et al.  When Oscillators Stop Oscillating , 1991, IJCAI.

[9]  Claude Berge,et al.  Hypergraphs - combinatorics of finite sets , 1989, North-Holland mathematical library.

[10]  Gregory ProvanRockwell.  Exploiting System Structure in Model-Based Diagnosis of Discrete-Event Systems , 1996 .

[11]  Masaharu Kitamura,et al.  A New Approach to Quantitative and Credible Diagnosis for Multiple Faults of Components and Sensors , 1997, Artif. Intell..

[12]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[13]  A. Misra,et al.  Robust diagnostic system: structural redundancy approach , 1994, Defense, Security, and Sensing.

[14]  Jean-Philippe Cassar,et al.  A STRUCTURAL APPROACH FOR THE DESIGN OF FAILURE DETECTION AND IDENTIFICATION SYSTEMS , 1997 .

[15]  Carlos Alonso González,et al.  Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models , 2001, IEA/AIE.

[16]  Vasant Honavar,et al.  Intelligent Diagnosis Systems , 1998 .

[17]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[18]  Michel Minoux,et al.  Graphs and Algorithms , 1984 .

[19]  P. J. Monsterman.  Hybrid dynamic systems: A hybrid bond graph modeling paradigm and its application in diagnosis , 1997 .

[20]  W. Kunz,et al.  AND / OR Graphs , 1995 .

[21]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[22]  Brian C. Williams,et al.  Decompositional, Model-based Learning and its Analogy to Diagnosis , 1998, AAAI/IAAI.

[23]  Marcel Staroswiecki,et al.  A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis , 2000, ECAI.

[24]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

[25]  Gisela Schäfer-Richter,et al.  SIDIA: Extending Prediction Based Diagnosis to Dynamic Models , 1990, Expert Systems in Engineering.

[26]  Janos Gertler,et al.  Fault detection and diagnosis in engineering systems , 1998 .

[27]  P. Nooteboom,et al.  Focusing Based on the Structure of a Model in Model-Based Diagnosis , 1993, Int. J. Man Mach. Stud..

[28]  K. Murota.  Systems Analysis by Graphs and Matroids: Structural Solvability and Controllability , 1987 .

[29]  Peter Struss,et al.  Fundamentals of Model-Based Diagnosis of Dynamic Systems , 1997, IJCAI.

[30]  Hartmut Freitag,et al.  Prediction Sharing Across Time and Contexts , 1994, AAAI.

[31]  Kazuo Murota,et al.  Systems Analysis by Graphs and Matroids , 1987 .

[32]  Adnan Darwiche,et al.  Model-Based Diagnosis using Structured System Descriptions , 1998, J. Artif. Intell. Res..

[33]  Mattias Krysander,et al.  Structural Analysis Utilizing MSS Sets with Application to a Paper Plant , 2002 .

[34]  Johan de Kleer,et al.  Fundamentals of model-based diagnosis , 2003 .

[35]  Winfried K. Grassmann,et al.  Matemática discreta y lógica , 2003 .

[36]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[37]  Patrick Taillibert,et al.  Polynomial Temporal Band Sequences for Analog Diagnosis , 1997, IJCAI.

[38]  Linda Rattfält.  A comparative study of two structural methods for fault isolation analysis , 2004 .

[39]  M. Staroswiecki,et al.  ANALYTICAL REDUNDANCY IN NON LINEAR INTERCONNECTED SYSTEMS BY MEANS OF STRUCTURAL ANALYSIS , 1989 .

[40]  Antoni Ligęza,et al.  Systematic Conflict Generation in Model-Based Diagnosis , 2000 .

[41]  R. Isermann,et al.  Parameter estimation triggered by continuous-time parity equations , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[42]  J. Lunze,et al.  LOGIC-BASED PROCESS DIAGNOSIS UTILISING THE CAUSAL STRUCTURE OF DYNAMICAL SYSTEMS , 1993 .

[43]  Bill Millar,et al.  Automated Decomposition of Model-based Learning Problems , 1996 .

[44]  Mattias Nyberg,et al.  A General Framework for Fault Diagnosis Based on Statistical Hypothesis Testing , 2001 .

[45]  Oskar Dressler.  On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines , 1996, ECAI.

[46]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[47]  Carlos J. Alonso,et al.  An alternative approach to dependency-recording engines in consistency-based diagnosis , 2000 .

[48]  Peter Fröhlich,et al.  A Static Model-Based Engine for Model-Based Reasoning , 1997, IJCAI.

[49]  Donal O'Shea,et al.  Ideals, varieties, and algorithms - an introduction to computational algebraic geometry and commutative algebra (2. ed.) , 1997, Undergraduate texts in mathematics.

[50]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[51]  J. Gertler.  Fault detection and isolation using parity relations , 1997 .