Evaluating expert systems by formal metrics | IEEE Conference Publication | IEEE Xplore