Organizing rules production in qualitative modeling of electric circuits

The prototype of a knowledge base (KB) for qualitative analysis and a method to create the set of rules necessary to examine an electrical circuit, starting with its topological description, are presented. Rules are grouped in functional blocks and two aggregation criteria allow one to automatically extract and manage suitable blocks. In this way a detailed proper KB is created for qualitatively analyzing any considered circuit when submitted to a backward chaining inference engine