Authors: Ramayya KRISHNAN
Tags: 1990, conceptual modeling
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 Programruing 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 framework.