Logic-Based Decision Support —— Mixed Integer Model Formulation

----- 基于逻辑的决策支持：混合整数模型表示

ISBN: 9780444871190 出版年：1989 页码：239 Jeroslow, R G North Holland_RM

This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University. It emphasizes connections between the representational aspects of mixed integer programming and applied logic, as well as discussing logic-based approaches to decision support which help to create more `intelligent' systems. Dividing naturally into two parts, the first four chapters are an overview of mixed-integer programming representability techniques. This is followed by five chapters on applied logic, expert systems, logic and databases, and complexity theory. It concludes with a summary of open research issues and an attempt to extrapolate trends in this rapidly developing area.