---
title: "Diagnosing Tree Structured Systems"
authors:
  - "Markus Stumptner"
  - "Franz Wotawa"
doi: ""
url: "https://ijcai.org/proceedings/1997/65"
pdf: "https://ijcai.org/proceedings/1997/0065.pdf"
venue: "Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence"
year: 1997
pages: "440-444"
track: "Diagnosis and Qualitative Reasoning"
keywords:
---

# Diagnosing Tree Structured Systems

Markus Stumptner, Franz Wotawa

*Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence*, pages 440-444.

## Abstract

This paper introduces the algorithm TREE_DIAG for computing minimal diagnoses for tree structured systems. Diagnoses are computed by descending into the tree, enumerating the input combinations that might be reponsible for a given incorrect observation, and combining the diagnoses for the subtrees generating these inputs into diagnoses for the whole system. We prove soundness and correctness of the algorithm and show experimental results that indicate that it compares favorably to Reiter's hitting-set-based algorithm and El Fattah and Dechter's SAB. Extensions of the algorithm related to general acyclic systems, use of fault modes and the practical application to the software diagnosis domain are discussed.