Building system specifications using explanation-based learning with an incomplete theory