QUALITATIVE SIMULATION AND CONSTRAINT LOGIC PROGRAMMING

The authors of this paper have investigated the potential of using the recently developed constraint logic programming (CLP) languages as an implementation engine for qualitative simulation. This was initiated by the recognition that both utilize constraints as a basic representa tional formalism and constraint propagation as the inference mechanism . The focus of the work was on an advanced qualitative simulation syst em that uses fuzzy sets to describe the values of the system variables (FuSim). This led to a number of technical innovations that allows th e semi-quantitative quantity space to be represented on a finite compu tational domain, and an incremental algorithm that makes active (const ructive) use of the constraints rather than the passive use for consis tency checking employed in conventional qualitative simulation algorit hms. However, the approach described is applicable to any semi-quantit ative simulation system. The system, called CLP-FuSim, is implemented in the CLP language CHIP and has been tested and validated on a number of benchmark examples. The resulting performance is as least as good as the Lisp counterpart; however, the CLP version has the distinct adv antage of declarative semantics and non-determinism.