Issue No. 08 - August (1999 vol. 21)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/34.784292
<p><b>Abstract</b>—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.</p>
Qualitative reasoning, qualitative simulation, QSIM, automated modeling, diagnosis.
A.c. Cem Say, "Making Use of Contradictory Behavior Information in Qualitative Reasoning", IEEE Transactions on Pattern Analysis & Machine Intelligence, vol. 21, no. , pp. 781-786, August 1999, doi:10.1109/34.784292