This paper describes a problem solver called PLANET that has been developed incollaboration with a large computer manufacturing company to assist planningmanagers with the formulation and maintenance of planning models for resourceallocation. PLANET is equipped with the primitives that enable it to preservemuch of the richness of the process of the planning activity, namely, thegeneration of symbolic alternatives, and for the expression of domain specificknowledge which enables it to synthesize these alternatives into an overallplanning model. This knowledge is maintained in a A¢Â¬ÂSmeta-model.A¢Â¬Â? In contrast tomodeling systems which allow for parametric perturbations of an algebraic model,PLANET's meta-model provides it with the capability for systematic variations inthe symbolic model assumptions, with concomitant structural variations induced inthe algebraic model that reflect the interdependencies of those assumptions.Whenever previously held assumptions change, PLANET uses the existing model as apoint of departure in formulating the revised plan. In this way, the program isable to take cognizance of the ongoing nature of organizational problem solving,and can serve an important decision support function in maintaining and reasoningabout evolving plans.
[1]
Jon Doyle,et al.
AMORD explicit control of reasoning
,
1977,
Artificial Intelligence and Programming Languages.
[2]
Carl Hewitt,et al.
Viewing Control Structures as Patterns of Passing Messages
,
1977,
Artif. Intell..
[3]
Gerald J. Sussman,et al.
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis
,
1976,
Artif. Intell..
[4]
H. Simon,et al.
Selective perception: A note on the departmental identifications of executives.
,
1958
.
[5]
Jon Doyle,et al.
A Truth Maintenance System
,
1979,
Artif. Intell..
[6]
Randall Davis,et al.
Interactive Transfer of Expertise: Acquisition of New Inference Rules
,
1993,
IJCAI.
[7]
Vasant Dhar,et al.
Planet : an intelligent decision support system for the formulation and investigation of formal planning models
,
1984
.