Evaluation of JTMS
JTMS is adequate whenever only one single solution to the problem of consistency management is needed.
With JTMS only a set of beliefs may be explored at the time. Changing the set of beliefs (an therefore assumptions) is performed only upon detection of a contradiction, and requires a lot of bookkeeping (TM procedure, DDB, labelling, ...)
With JTMS it is impossible to compare two sets of beliefs simultaneously.
Assumptions responsible for contradictions are identified through resource-consuming procedures (e.g., DDB or the identificationof well-founded support).