Constraint logic programming framework for integrated decision supports

摘要

Decision support systems provide decision-makers with an interactive environment for analyses of information with various models to help solve unstructured problems. Constraint logic programming as an improvement of logic programming can be used as a tool for the development of such decision support systems. Constraint logic programming is an integrated paradigm of logic modelling and mathematical programming. It has a modelling and analysis capacity for problems containing both qualitative and quantitative constraints; it has well-established declarative and procedural semantics, which reduce the model builder's burden to specify problem solving procedures as a part of a model. In this paper, we demonstrate the use of constraint logic programming as a potential decision support system tool, focusing on the model representation and analysis aspects.