An Evaluation of UM-Tool/2
good modularity of the architecture, where a single module deals with the belief revision problem;
the selection of the most plausible model is explicit, under the control of the developer;
the knowledge utilized is more declarative, not intermixed with procedural knowledge about consistency restoration;
the old de-istanciation procedures are fully avoided;
it is much easier to develop the stereotype knowledge base;
the ATMS is perfectly general;
ATMS mechanism may be very demanding;
selecting the most plausible model is not at all trivial;
not extensively validated.