Abstract:Given a system that does not work as expected, Sequential Diagnosis (SD) aims at suggesting a series of system measurements to isolate the true explanation for the system's misbehavior from a potentially exponential set of possible explanations. To reason about the best next measurement, SD methods usually require a sample of possible fault explanations at each step of the iterative diagnostic process. The computation of this sample can be accomplished by various diagnostic search algorithms. Among those, Reiter's HS-Tree is one of the most popular due its desirable properties and general applicability. Usually, HS-Tree is used in a stateless fashion throughout the SD process to (re)compute a sample of possible fault explanations in each iteration, each time given the latest (updated) system knowledge including all so-far collected measurements. At this, the built search tree is discarded between two iterations, although often large parts of the tree have to be rebuilt in the next iteration, involving redundant operations and calls to costly reasoning services. As a remedy to this, we propose DynamicHS, a variant of HS-Tree that maintains state throughout the diagnostic session and additionally embraces special strategies to minimize the number of expensive reasoner invocations. In this vein, DynamicHS provides an answer to a longstanding question posed by Raymond Reiter in his seminal paper from 1987. Extensive evaluations on real-world diagnosis problems prove the reasonability of the DynamicHS and testify its clear superiority to HS-Tree wrt. computation time. More specifically, DynamicHS outperformed HS-Tree in 96% of the executed sequential diagnosis sessions and, per run, the latter required up to 800% the time of the former. Remarkably, DynamicHS achieves these performance improvements while preserving all desirable properties as well as the general applicability of HS-Tree.

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

An Evolutionary Approach Based on Ant Colony System to System-Level Fault Diagnosis

An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets

A More General Theory of Diagnosis from First Principles

Symbolic Cognitive Diagnosis via Hybrid Optimization for Intelligent Education Systems

Model-Based Diagnosis using Structured System Descriptions

Evolutionary and Neural Computing Based Decision Support System for Disease Diagnosis from Clinical Data Sets in Medical Practice

Scalable Computation of Optimized Queries for Sequential Diagnosis

Diagnosis of Multiple Faults: A Sensitivity Analysis

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

Medical diagnosis based on artificial intelligence and decision support system in the management of health development

Identifying Failure-Causing Schemas in the Presence of Multiple Faults

A Hybrid Simplex-Harmony Search Algorithm and Its Application to Model Reduction of Linear Systems

A new method for diagnostic problem solving based on a fuzzy abductive inference model and the tabu search approach

Enhance SAT Conflict Analysis for Model Checking

DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis

An Algorithm Designed for Improving Diagnostic Efficiency by Setting Multi-Cutoff Values of Multiple Tumor Markers

Using K-Dependence Causal Forest to Mine the Most Significant Dependency Relationships among Clinical Variables for Thyroid Disease Diagnosis

AN APPROACH TO OPTIMAL MEASUREMENTS IN MODEL BASED DIAGNOSIS

Medical Dialogue Generation via Intuitive-then-Analytical Differential Diagnosis

A multiperiod hybrid decision support model for medical diagnosis and treatment based on similarities and three‐way decision theory