... Rules for diagnosing problems in the circuit | IND led-2 COND[ STATE on [ FORM <sta~(O IND FORM), (t STATE FORM))> CNCL [ DEV tr~i,~torol7 t FORM <s~u.¢((, DEV), fa~ed)> t FORM ... separated, with only the former being performed by a trained knowledge engineer. The problem of building a large collec- tion of knowledge-based troubleshooters for electronic instru- meats ... machine-readable equivalent. Even in such a rudimentary form, the exercise is useful, because it provides a conveniently formal documenta- tion for the knowledge representation decisions that have...