{"type":"ScholarlyArticle","title":"Theory Diagnoses: A Concise Characterization of Faulty Systems","authors":[{"name":"Gerhard Friedrich","slug":"gerhard-friedrich","given":"Gerhard","family":"Friedrich","affiliation":""}],"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 ).","doi":null,"url":"https://ijcai.org/proceedings/1993/203","pdf":"https://ijcai.org/proceedings/1993/0203.pdf","markdown":"https://ijcai.org/proceedings/1993/203.md","bibtex":"https://ijcai.org/proceedings/1993/bibtex/203","volume":{"slug":"1993","title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1993","url":"https://ijcai.org/proceedings/1993/","year":1993,"location":"Chambéry, France","dates":"","editors":"Ruzena Bajcsy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Qualitative Reasoning and Naive Physics","track":"Qualitative Reasoning and Naive Physics","number":203,"pages":{"first":1466,"last":1472},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}