A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The role of frame-based representation in reasoning
Communications of the ACM
Artificial Intelligence
Qualitative reasoning: modeling and simulation with incomplete knowledge
Automatica (Journal of IFAC)
An OPS5 implementation of qualitative reasoning about physical systems
Applied Artificial Intelligence
Artificial Intelligence in Medicine
Hi-index | 0.00 |
In this work we present a new method for qualitative simulation of dynamical systems. The method can be used to describe the possible time evolutions of different models, starting from a qualitative description of the main relationships among quantities. The status of each quantity in the model, at any instant, is synthesized using two main attributes, i.e. magnitude and rate.of.change; both can assume one of three possible qualitative values. The inference engine is based both on lisp programs and on different classes of production rules. Among others, the 'certainty.rules' have the task of recognizing all facts which can be asserted with certainty within the present context, whereas the 'hypothesis.rules' generate alternative contexts (or worlds) in which reasoning can continue independently of the others. Some examples of qualitative simulations obtained on simple models of the cardiovascular system are presented, and the main advantages and limitations of the method are discussed.