Automatic model building and solving for optimization problems

摘要

Automatic modelling is one of the key topics in model base management in DSS. We consider the design and implementation of a system which automatically specifies an optimization model from an abstract form with a given set of data specified by a user and solves it by calling an appropriate solver. We implement our idea as a prototype in Prolog and illustrate its validity by simple examples.