{"type":"ScholarlyArticle","title":"Diagnosing Tree Structured Systems","authors":[{"name":"Markus Stumptner","slug":"markus-stumptner","given":"Markus","family":"Stumptner","affiliation":""},{"name":"Franz Wotawa","slug":"franz-wotawa","given":"Franz","family":"Wotawa","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1997/65","pdf":"https://ijcai.org/proceedings/1997/0065.pdf","markdown":"https://ijcai.org/proceedings/1997/65.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/65","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Diagnosis and Qualitative Reasoning","track":"Diagnosis and Qualitative Reasoning","number":65,"pages":{"first":440,"last":444},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}