Using Belief Theory to Diagnose Control Knowledge Quality. Application to cartographic generalisation