A theory of the planning and debugging of computer programs is formalized as a context free grammar, which is used to reveal the constituent structure of problem solving episodes by parsing protocols in which programs are written, tested, and debugged. This is illustrated by the detailed analysis of an actual session with a beginning student…

A unified theory of planning and debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network (ATN) to represent a broad range of planning techniques, including identification, decomposition, and reformulation. (The ATN is a simple yet powerful formalism which has been effectively utilized in…

In the training of maintenance and operations technicians, three enhancements to a basic, straightforward, fixed-sequence simulation system can be useful. The primary advantage of the resultant system is that the principal object of simulation is the task to be performed, which includes both the planning knowledge and the equipment actions…