Abstract:Model-based diagnosis has been an active research topic in different communities including artificial intelligence, formal methods, and control. This has led to a set of disparate approaches addressing different classes of systems and seeking different forms of diagnoses. In this paper, we resolve such disparities by generalising Reiter's theory to be agnostic to the types of systems and diagnoses considered. This more general theory of diagnosis from first principles defines the minimal diagnosis as the set of preferred diagnosis candidates in a search space of hypotheses. Computing the minimal diagnosis is achieved by exploring the space of diagnosis hypotheses, testing sets of hypotheses for consistency with the system's model and the observation, and generating conflicts that rule out successors and other portions of the search space. Under relatively mild assumptions, our algorithms correctly compute the set of preferred diagnosis candidates. The main difficulty here is that the search space is no longer a powerset as in Reiter's theory, and that, as consequence, many of the implicit properties (such as finiteness of the search space) no longer hold. The notion of conflict also needs to be generalised and we present such a more general notion. We present two implementations of these algorithms, using test solvers based on satisfiability and heuristic search, respectively, which we evaluate on instances from two real world discrete event problems. Despite the greater generality of our theory, these implementations surpass the special purpose algorithms designed for discrete event systems, and enable solving instances that were out of reach of existing diagnosis approaches.

New Method of Using Causal Relations for Model-Based Fault Diagnosis

A Design Approach of Model-Based Optimal Fault Diagnosis

Model Diagnosis Based on Failure Behavior

A Method of Computing Minimal Diagnoses Based on Pseudo-Failure-Degree to Create New Enumeration Tree

Algorithm for fault diagnosis of multi-output model based on improved ATMS

Solving model-based fault diagnosis with flag propagation

A New Method to Compute Minimal Detectable and Isolable Faults of Active Fault Diagnosis*

A Complete Analytic Method for Fault Diagnosis of Power Systems Based on Model-based Diagnosis for Dimensionality Reduction

A Novel Method Of Model-Based Diagnosis By Propagating Failure Value

Measurement point optimization strategy of model-based fault diagnosis expert system

Hybrid Method for Fault Diagnosis Based on Model and Case-Based Reasoning

Improved Algorithms For Deriving All Minimal Conflict Sets In Model-Based Diagnosis

Dynamic theorem proving algorithm for consistency-based diagnosis

Research and implementation of a multi-fault diagnosis method based on case-based reasoning

Test Point Optimization for Model-Based Fault Diagnosis Expert System

A New Algorithm Combining with the Characteristic of the Problem for Model-Based Diagnosis

A Kind of Fuzzy Causal Diagnosis Method

A Compounded Genetic and Simulated Annealing Algorithm for Computing Minimal Diagnosis

Deriving All Minimal Consistency-Based Diagnosis Sets Using SAT Solvers

Single Model-Based Analysis of Relative Causal Changes for Root-Cause Diagnosis in Complex Industrial Processes

A More General Theory of Diagnosis from First Principles