Diagnostic
Reasoner based on constraint propagation
Design:
structural description
Observations
Domain
Knowledge: Component Constraint
Models
Diagnoses
M
M
M
A
A
X
Y
Z
F
G
A
B
D
E
C
A
Compositional
NFIS