---
title: "Theory Diagnoses: A Concise Characterization of Faulty Systems"
authors:
  - "Gerhard Friedrich"
doi: ""
url: "https://ijcai.org/proceedings/1993/203"
pdf: "https://ijcai.org/proceedings/1993/0203.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "1466-1472"
track: "Qualitative Reasoning and Naive Physics"
keywords:
---

# Theory Diagnoses: A Concise Characterization of Faulty Systems

Gerhard Friedrich

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 1466-1472.

## Abstract

In this article a new characterization of the set of diagnoses in the domain of consistency-based diagnosis is developed. The needs for such a characterization arise from the inability of the current characterizations (e.g. minimal diagnoses and kernel diagnoses) to deal with abstractions like component hierarchies. We propose a characterization based on theories which takes advantage of hierarchies and therefore allows a concise description of various sets of diagnoses (e.g. minimal diagnoses and kernel diagnoses ).