Using the LTMS in MI and MR
LTMS database ? contains clauses describing component behavior in each mode
MI searches for component mode assignments that are consistent with the observations
MR searches for component mode assignments that entail the goal
MI and MR add and delete clauses corresponding to assumptions that a component is in a particular mode
Justification structure is used to generate conflicts from an inconsistent ?