A framework for semiqualitative reasoning in engineering applications

In most cases the models for experimentation, analysis, or design in engineering applications take into account only quantitative knowledge. Sometimes there is a qualitative knowledge that is convenient to consider in order to obtain better conclusions. These qualitative concepts can be labels such as ''high,'' ''very negative,'' ''little acid,'' ''monotonically increasing'' or symbols such as >>, , , etc… Engineers have already used this type of knowledge implicitly in many activities. The framework that we present here lets us express explicitly this knowledge. This work makes the following contributions. First, we identify the most important classes of qualitative concepts in engineering activities. Second, we present a novel methodology to integrate both qualitative and quantitative knowledge. Third, we obtain significant conclusions automatically. It is named semiqualitative reasoning. Qualitative concepts are represented by means of closed real intervals. This approximation is accepted in the area of Artificial Intelligence. A modeling language is specified to represent qualitative and quantitative knowledge of the model. A numeric constraint satisfaction problem is obtained by means of corresponding rules of transformation of the semantics of this language. In order to obtain conclusions, we have developed algorithms that treat the problem in a symbolic and numeric way. The interval conclusions obtained are transformed into qualitative labels through a linguistic interpretation. Finally, the capabilities of this methodology are illustrated on different problems.