Detta dokument introducerar algoritmen TREE DIAG för att beräkna minimala diagnoser för trädstrukturerade system. Diagnoser beräknas genom att gå ner i trädet, räkna upp de inmatningskombinationer som kan vara reponserbara för en given felaktig observation, och kombinera diagnoser för delträd som genererar dessa ingångar till diagnoser för hela systemet. Vi bevisar att algoritmen är sund och korrekt och visar experimentella resultat som tyder på att den på ett gynnsamt sätt jämför med Reiters slog-set-baserade algoritm och El Fattah och Dechter's SAB. Utökningar av algoritmen relaterade till allmänna acykliska system, användning av fellägen och den praktiska tillämpningen till programvarudiagnosdomänen diskuteras.
TREE* algoritmen är en annan sådan trädnedbrytningsalgoritm, ursprungligen föreslås endast för trädstrukturerade system REF.
Diagnosing Tree Structured Systems
{'venue': 'Artificial Intelligence', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}