These techniques solve problems by analyzing the structure and function of a system, as described by a symbolic model (Kunz, 1987). Unlike rule-based expert systems, which reason from ‘canned’ rule-based associations (IF-THEN rules), systems employing model-based reasoning contain a model simulating the structure and function of a system.