The qualitative process engine
Readings in qualitative reasoning about physical systems
Compositional modeling: finding the right model for the job
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Dynamic across-time measurement interpretation
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation
Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative system identification: deriving structure from behavior
Artificial Intelligence
Proving properties of continuous systems: qualitative simulation and temporal logic
Artificial Intelligence
Improved Filtering for the QSIM Algorithm
IEEE Transactions on Pattern Analysis and Machine Intelligence
Static and dynamic abstraction solves the problem of chatter in qualitative simulation
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Postdiction using reverse qualitative simulation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.15 |
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.