Automatic Refinement of Expert System Knowledge Bases