The qualitative reasoning community has studied and modeled electrical circuits since early 80's [13,3,14,4,9]. Also, the diagnosis community, has devleoped several techniques for diagnosis of electrical circuits, of different sorts and under different conditions [2,12,1,5,6,10]. The system I am presenting in this paper performs diagnosis and design of linear circuits in sinusoidal steady state.
展开▼