Causes of Ineradicable Spurious Predictions in Qualitative Simulation

Ö. Yılmaz, A. C. C. Say

It was recently proved that a sound and complete qualitative simulator does not exist, that is, as long as the input-output vocabulary of the state-of-the-art QSIM algorithm is use…