Automated model construction: A logic based approach

Attempts to integrate Artificial Intelligence (AI) techniques into Decision Support Systems (DSS) have received much attention in recent years. Significant among these has been the application of knowledge-based techniques to support various phases of the modeling process. This paper describes a logic based approach to mechanically construct Linear Programming (LP) models from qualitative problem specifications and illustrates it in the context of production, distribution and inventory planning problems. Specifically, it describes the features of a first-order logic based formal language called PM which is at the heart of an implemented knowledge-based tool for model construction. Problems specified in PM define a logic model which is then used to generate problem-specific inferences, and as input to a set of logic programming procedures that perform model construction.