A logic modeling language for automated model construction

摘要

This paper describes PM∗ (read PM-star) a first-order logic based language, that is the basis of a knowledge based system designed to help non-expert users construct Linear Programming models in the Production, Distribution and Inventory planning domain. Problems specified in PM∗ define a logic model which is used to generate problem-specific inferences and inferences required to automate model construction. PM∗ extends previous work on the PM language (Krishnan, 1988) through the integration of problem representation and model construction within a uniform predicate logic frame.