Formal metrics for quantitative assessment of the quality of expert systems