Title: Automatic Refinement of Expert System Knowledge Bases