Knowledge-based decision support in business: Issues and a solution

The authors describe an implemented system supporting the maintenance of evolving symbolic models and the spreadsheet-like algebraic models based on them. The system's primitives are knowledge fragments that are instantiated into symbolic models; these fragments can be modified in response to changes in the task environment, and appropriate changes induced in the algebraic model to reflect changes in the symbolic model. They analyze model features for problem-solving in domains with three levels of structuredness: highly formalized problems. The authors define data structures used for representing choice sets and constraints and describe the system's procedural knowledge component, which allows knowledge represented in the structures to be used in an integrated way.<
>