Rule-based intelligence to support linear programming analysis

摘要

Increased size and complexity of linear programs make it difficult to understand results and manage the model. This difficulty is overcome, at least partially, with new advances in computing environments and techniques from artificial intelligence and operations research. A software system, called ANALYZE, is presented within the larger context of developing an artificially intelligent environment for mathematical programming modeling and analysis. With heuristics governed by rule-based reasoning and with syntax-driven translations into English, the ANALYZE system enables a form of intelligence to support analysis. Particular problems that illustrate this capability are explanations of dual prices, diagnoses of infeasibilities, and reasoning about redundancy.