A method for improving the induction of computer programs from human problem solving protocols begins with four steps. The first step requires dividing the protocol into phrases that represent the performer's single assertions about the task or a single act of task oriented behavior. Second, the operators and information constituting single states…

Discusses a study which investigated whether a computer simulation model could suggest subroutines that were instructable and whether instruction on these subroutines could facilitate subjects' solutions to the problem task. (JM)

The SPADE theory, which uses linguistic formalisms to model the planning and debugging processes of computer programming, was simultaneously developed and tested in three separate contexts--computer uses in education, automatic programming (a traditional artificial intelligence arena), and protocol analysis (the domain of information processing…

Progress is reported on four research tasks. An experiment tested the effectiveness of a computer-based phonology instructional system for second-language learning. In research on models of human-computer interactions, experiments were performed demonstrating that the provision of certain incentives to the users of a time-sharing system can have…

The work of a three-year series of experimental studies of human cognition is summarized in this report. Proglem solving and learning in man-machine interaction was investigated, as well as relevant variables and processes. The work included four separate projects: (1) computer-aided problem solving, (2) computer-aided instruction techniques, (3)…