Generation of problem solving cases
The elaboration of the derivational analogy model in terms of the appropriate data structures for the justifications underlying the decision making process in the problem solving episodes.
The extension of the base-level problem solver to compile justifications under a lazy evaluation approach. There is a negligible bookkeeping cost in the extension of the problem solver with the annotation capabilities.
The specification of a flexible and precise language to express the justifications at the decision nodes.
The generation of a case as a search tree compacted into the decision nodes in the successful solution path. These nodes are annotated with the justifications that resulted in the sequence of correct and failed decisions that lead to a solution to the problem.
Unable to display preview. Download preview PDF.