Method for Designing Decision Support Systems for Operational Planning

摘要

The research described in the thesis constitutes the first phase of a projectthat is concerned with decision support systems (DSS) for operational planning. The goal of the project is to develop generally applicable software tools to facilitate decision support system design. It develops a formal model of operational planning problems where time is explicitly involved and distinguishes static and dynamic cases depending on the role of time. It briefly discusses three global problem solving paradigms: search, automated reasoning, and mathematical programming. It then develops a model of search that incorporates space search, graph search and local search explaining their relationship. The final chapter outlines a generic software tool facilitating DSS development relying on the previously given models.