Knowledge revision in systems based on an informed tree search strategy : application to cartographic generalisation