Making use of contradictory behavior information in qualitative reasoning

We present a technique for automatically determining certain pairs of qualitative simulation predictions to be mutually contradictory. This leads the simulator to produce more informative outputs, which results in improved performance in reasoning tasks like diagnosis, model revision, and deletion of spurious "timelines" containing the input state.