Heuristic techniques in computer-aided circuit analysis

A new kind of circuit analysis program, EL, is presented. Whereas other circuit analysis systems rely on classical, formal, analysis techniques, EL employs heuristic "inspection" methods to solve rather complex dc bias circuits. These techniques also give EL the ability to explain any result in terms of its own qualitative reasoning processes. EL\´s reasoning is based on the concept of a "local one-step deduction" augmented by various "teleological" principles and by the concept of a "macro-element." Several annotated examples of EL in operation and an explanation of how it works are presented. Also how EL can be extended in several directions, including sinusoidal steady-state analysis is shown. Finally, the possible implications of this work for engineering education and computer-aided design technology are discussed briefly. EL is significant not only as a novel approach to circuit analysis but also as an application of Artificial Intelligence techniques to a new and interesting domain.