Intelligent analysis support for linear programs

Abstract This illustrates a software module, ANALYZE, which is part of a project to develop an intelligent mathematical programming system . Its function is to provide intelligent analysis support for conventional questions of What if …? , Why …? and Why not …? ; for diagnosis of infeasible, or anomalous solutions; and, for questions pertinent to model management, such as reasoning about redundancy. The intelligence is distinguished by explanatory functions, including translation into English, and by rule-based reasoning to direct the search for the relevant information to organize the response. These functions are illustrated with instances of a refinery blending model.