Using constraint programming framework for Semiqualitative Reasoning

Abstract

A semiqualitative model is the representation of the world by means of qualitative and quantitative knowledge. It is motivated by the lack of quantitative knowledge in determined parameters or variables of the model. We wish to obtain conclusions and generalization derived from these specific models .. In this work, we show as semiqualitative models may be transformed to interval constraint satisfaction problems(ICSP). The inference process in an ICSP is based in combining constraint propagation and bronch and bound algorithms. The interval domains of the variables are to propagate through the constraints. A defined operator must exist for every qualitative knowledge. lt transforms this knowledge to an interval constraint. The application of the constraint programming framework to a ICSP allows the obtaining of conclusions in a automatic way.