Main Functionality of JTMS
Maintaining consistency of beliefs.
JTMS operates on a set of nodes (representing beliefs) and justifications (information supporting the beliefs).
Justifications of a generic node X are represented by specifying the nodes which imply X.
During the activity, PS provides the JTMS with information allowing:
2. update (add or remove) of justifications
3. identification of contradictions
Contradictions are handled by means of dependency-directed backtracking.